Semantika ja analüütiline filosoofia

märgid

Ainekood: ITV0071 (magistrivariant), ITV9070 (doktorantuurivariant) Link: http://www.lambda.ee/index/Semantika_ja_analüütiline_filosoofia ehk http://www.lambda.ee/index/itv0071 Võid vaadata ka 2014 arhiivi, 2012 arhiivi, 2010 arhiivi ja 2007 arhiivi. Lektor: Tanel Tammet Kontakt: tammet@staff.ttu.ee, 6203457, TTÜ AK223 Ainet loetakse üle aasta. "A sign is anything that can be used to tell a lie." --Umberto Eco “I’m writing a book on magic,” I explain, and I’m asked, “Real magic?” By real magic people mean miracles, thaumaturgical acts, and supernatural powers. “No,” I answer: “Conjuring tricks, not real magic.” Real magic, in other words, refers to the magic that is not real, while the magic that is real, that can actually be done, is not real magic. --Lee Siegel

Maht, aeg, tulemus

Punkte: 5 EAP.

Loengud toimuvad esmaspäeviti kell 16:00-17:45 ruumis ICT-A2 ja seejärel paaritutel nädalatel (1 veebruar, 15 veebruar jne) sealsamas kell 17:45-19:15 seminar tudengite ettekannetega.

Kursus lõpeb kirjaliku eksamiga. Tulemuse juures arvestatakse olulisel määral (a) ettekannete tegemist (b) seminaridel kohalolekut.

Praktilised tööd koosnevadki seminariettekannetest etteantud teemal, iga tudeng kaks-viis ettekannet semestris.

Vajadusel kasutame loenguaegu täiendavalt ettekannete jaoks.

Loengute esialgne plaan, teemad ja materjalid

Kursus jaguneb mitmeks omavahel seotud allteemaks, järjekorras üldisematelt tehnilisematele.

Loengute põhieesmärk on anda ülevaade mõistetest, ideedest jms: kõik selleks, et paremini viidatud tekste lugeda ja neist aru saada.

Järgmised materjalid on tutvumiseks, nende kõigi süstemaatiline läbilugemine ei ole kohustuslik. Kohustuslikud materjalid on eraldi märgitud.

Põhiõpikud ja soovitavad taustamaterjalid

Kohustuslik:

• D. Chandler. Semiotics for beginners. Võrguraamat, loe läbi esimene pool / first half is obligatory. E. Väike tähelepanujuhtimine: semiootika on pigem nn kontinentaalse filosoofia kui analüütilise filosoofia osa.
• Tähendus, tõde, meetod. Ettekandeteemade esimeste ringide allikas.

Kasulik taust/lisa:

• brain science podcastid. Eriti soovitavad:

*, *, *, *, *, *, *, *, *, *, *, *, *, *.

• analüütilise filosoofia seminar
• Cohnitzi kursus keelefilosoofiast ja analüütilise filosoofia ajaloost
• Endel Tulving. Mälu.
• Juhatus semiootikasse

Sissejuhatus, semiootika, filosoofia

Põhimaterjal:

• Semiotics for beginners. Sellest tuleb läbi lugeda esimene pool / first half is obligatory. E
• Quine: Two Dogmas of Empiricism. Lugeda. E
• mis on analüütiline filosoofia. Lugeda.
• analytic/synthetic. Lugeda. E
• logical positivism. Lugeda.
• Problem of universals nominalism/realism. Lugeda. L
• functionalism. Lugeda. E

• fenomenoloogia. Tutvuda.
• Propp. Tutvuda.

Lisaks oluline lugemine/kuulamine:

• L Philosophy of Metzinger: kindlasti kuula loenguna Metzingeri podcasti, taustaks tasub lugeda Self models ja lisaks tasub vaadata ka Metzingeri videoloengut
• Tractatus ja Tractatus: struktureeritud täistekst. L. Wittgenstein. Veidi lugeda. Loe lisaks väikest kommentaari
• Philosophical Investigations koos kommentaaridega: kindlasti lugeda esimesed 100 aforismi, terve raamatu saab osta poest eestikeelsena. Lisaks väike kokkuvõte varasest vs hilisest Wittgensteinist

Märkmeid tähestikust:

• http://en.wikipedia.org/wiki/Egyptian_hieroglyphs
• http://en.wikipedia.org/wiki/Written_Chinese
• võrlduspilt ja wiki ja unicode
• http://en.wikipedia.org/wiki/Phoenician_alphabet
• http://en.wikipedia.org/wiki/Egyptian_uniliteral_signs
• http://en.wikipedia.org/wiki/Cumae_alphabet

Märkmeid strukturalismist, dekonstruktsioonist ja muust:

• strukturalism, dekonstruktivism, dekonstrueerimise kiirõpetus, Derrida lõik, hermeneutika
• insheeption
• sympathetic magic: wiki, Frazer

Märkmeid Proppi teooriast:

• muinasjutugeneraator
• narrateemid
• pftml
• valik muinasjutte pftml-s välja toodud struktuuriga

Märkmeid Viini ringist ja loogilisest positivismist:

• Põhiseisukohad: "First, experience is the only source of knowledge; second, logical analysis performed with the help of symbolic logic is the preferred method for solving philosophical problems."
• taust: analüütiline/sünteetiline, apriori/aposteriori
• Klassikaline positivism kui taust: pikemalt siit
• väike ülevaateloeng Viini ringist
• Vienna circle: good short overview ja põhjalik artikkel Stanfordi filosoofiaentsüklopeediast ning Viini ringi manifest
• Logical positivism: good overview
• wiki logical positivism

Aju, mõistuse ja kultuuri areng

Sotsiobioloogia, evolutsioonipsühholoogia ja memeetika.

Põhimaterjal:

• Evolutsioon: loengumaterjal sissejuhatuseks. E
• Sotsiobioloogia wikis. Lugeda.
• Evolutsioonipsühholoogia wikis. E. Lugeda. Samal teemal loe huvi korral põhjalikumalt primer ja conceptual grounds
• Memeetika wikis. Lugeda. E

Olulisi artikleid: lugeda.

• BRAIN EVOLUTION AND NEUROLINGUISTIC PRECONDITIONS L
• CO-EVOLUTION OF NEOCORTEX SIZE, GROUP SIZE AND LANGUAGE IN HUMANS L
• Precis of Origins of the Modern Mind: Three Stages in the Evolution of Culture and Cognition L
• DNA seen through the eyes of a coder

Märkmeid: artiklid, kogumikud ja muud. Ei ole kohustuslik lugemine.

• natural language and natural selection
• Language as an Adaptation to the Cognitive Niche
• Faculty of Language: What Is It, Who Has It, and How Did It Evolve?
• Agner Fog: cultural selection
• Buss lab publications
• Changizi publications: vt allpool peatükk ARTICLES AND BOOKS ntx Economically organized hierarchies in WordNet and the Oxford English Dictionary, citybrain, colorface, xray vision
• the brain from 25000 feet
• John Eccles: Evolution of consciousness

Mõtlemine ja tehismõtlemine, lõpmatus ja piiratus.

Loengumaterjal:

• tehismõistuse filosoofia E

Mõtlemine ja tehismõtlemine üldpildina:

• http://en.wikipedia.org/wiki/Philosophy_of_artificial_intelligence L
• http://en.wikipedia.org/wiki/List_of_artificial_intelligence_projects
• http://www.reddit.com/r/PhilosophyOfCS
• http://plato.stanford.edu/entries/computer-science/

Mõtlemine ja tehismõtlemine: konkreetsemad küsimused

• Functionalism E
• Putnam: is semiotics possible?
• chinese room L
• Freimiprobleem E
• symbol grounding
• C elegans ja tema aju
• Wolpert: aju on liikumiseks
• comic

Lõpmatus ja lahenduvus:

• lõpmatus, lahenduvus ja mittelahenduvus E either this or read details about infinity and undecidability from other sources
• tehnilist wikipediast L

Semantika ja loogika.

Teemad:

• modal logics L either read this material or read a short intro to modal logics from other sources.
• noclassical logics. L either read this material or read a short intro to non-classical logics from other sources.

Lugeda:

• sissejuhatus wikipedias L

Materjale klassikalise loogika kohta:

• Geoffi kursuse materjale

Materjale mitteklassikaliste loogikate kohta:

• loengus tehtud ülevaade,
• Modaalse loogika filosoofilised põhiideed
• Katie Atkinsioni modaalse loogika materjalid
• Intuitsionistliku loogika filosoofilised põhiideed L

Semantika semantilises veebis

• XML ja semantika suhted
• Namespaced, URI-d, URN-d jms
• RDF(S) ja OWL
• ontoloogiad

Hakatuseks baasmaterjale XML-st

• XML 1.0 standard.
• XML namespaces
• XML õpetus (w3schools)

URI, URN, URL. Loe selles järjekorras:

• url tähenduse probleem E
• ametlik dokument uride kohta: vaata algust ja viska korraks järgnevale pilk peale
• ideid probleemi leevendamiseks, eeskätt topic maps kontekstis
• [1]

Tutorialid:

• Detailne RDF tutorial
• Detailne RDFS tutorial
• Detailne OWL tutorial

Loomulik keel reaalsetes süsteemides

Dialoog ja pragmaatika:

• ülevaade E
• Grice dialoogimaksiimid L
• Inform 7 mängunäide
• Amzi tutorial

Olulised probleemid:

• Some Philosophical Problems from the Standpoint of Artificial Intelligence, McCarthy and Hayes.
• The Problem with Solutions to the Frame Problem. L. Morgenstein
• Frame problem 2
• Dennetti artiklid. Võrgus (osaliselt) vabalt.
• Semiootika ja intelligentsed süsteemid

Huvitavaid dialoogsüsteeme:

• CommandTalk
• Kopteri juhtimine: googelda WITAS Multi-Modal Dialogue System

Ettekanded

Esimene ring:

15. veebruar

• Putnam: tähendus ja osutus. Asko Oruste.
• Dummett: Tõde. Liisi Mõtshärg.
• Quine: empirismi kaks dogmat. Stefan Jaanus Rüstern.
• Tarski: semantiline tõekontseptsioon. Margus Sibrits.

29 veebruar:

• Davidson: Tõde ja tähendus. Liis Harjo.
• Strawson: Tähendus ja tõde. Artur Vainola.
• Grice: tähendus. Villem Mesila.
• Frege: Frege tähendusest ja osutusest. Janne Raudsepp.

14 märts:

• Kripke. Reegleist ja privaatkeelest. Raigo Aljand.
• Dennett. Keele ja intelligentsuse seostest. The role of language in intelligence. Maarja Lutsar.
• Ramsey subjektiivne tõenäosusteooria. Marina Nekrassova.
• Dennett: kvaalide kvainimine (quining qualia). Taavi Tali.

28 märts:

• Anthropic principle and the Boltzmann brain Katre Metsvahi
• ...

Variante edaspidiseks:

• ...
  • Mirror Neurons mh alustuseks brain science podcast 35 Mirror Neurons ja podcast 39 (Discusses the role of mirror neurons in imitation and language) pluss googelda veidi juurde.
  • Frame problem in AI. Start with http://en.wikipedia.org/wiki/Frame_problem and continue to find additional materials and examples. Blumbergs.
  • Abduction.
  • Ordinaalid.

• ...
  • Dennett: The Cultural Evolution of Words and Other Thinking Tools. symposium.cshlp.org/content/74/435.full.pdf
  • Donald: Precis of Origins of the Modern Mind: Three Stages in the Evolution of Culture and Cognition. http://dl.dropboxusercontent.com/u/11794296/bbs.donald.html
  • Intuitsionistlik loogika: näited teoreemidest, mis kehtivad klassikaliselt, kuid mitte intuitsionistlikult. Näiteid tõestustest, millel lihtne klassikaline, kuid keeruline intuitsionistlik tõestus.
  • Modaalse loogika põhimõtted: miks on olemas erinevad modaalsed loogikad, mis on S4 ja S5 ja mis on Kripke võimalike maailmate semantika.

• ...
  • http://www.epjournal.net/ Bilingual brain.
  • Modaalse loogika põhimõtted: miks on olemas erinevad modaalsed loogikad, mis on S4 ja S5 ja mis on Kripke võimalike maailmate semantika.
  • Brain Rules.

• ...
  • Anthropic principle and the Boltzmann brain
  • Philosophy of Metzinger: first, buy the Metzinger podcast, read background Self models and also look at video lecture
  • Nick Boström "are we living in simulation". http://www.simulation-argument.com/ and http://www.nickbostrom.com/
  • Kurzweil's singularity. The core idea and critical comments/observations about the singularity concept.
  • Singulaarsus.

• ...
  • Hilbert program and finitism.
  • Overview of pragmatism as a philosophical school: main ideas, development etc-
  • Dialog systems in the Army: look at http://www.ai.sri.com/natural-language/projects/arpa-sls/commandtalk.html

• ...
  • How do bacteria and simple organisms communicate. Start with this TED lecture
  • Neuroimaging, auditory hallucinations, and the bicameral mind.pdf start here and download pdf
  • Research and give an overview of the state of the art in machine translation: top systems, their capacity and the main principles of how they work.
  • Statistical principles in machine translation a la Google.
  • Did Morality Evolve?

• ...
  • Confirmation bias.
  • Searle.

Candidates to pick for presentation

• Background and life of Ludwig Wittgenstein
• Searle: philosophical and linguistic views

• Confirmation bias, start with this article
• Evolution of morals. Start with Wilson interview and then search more yourself
• Loomuliku keele dialoogisüsteem kopteri juhtimiseks: googelda WITAS Multi-Modal Dialogue System

Ideid lugemiseks

• http://www.epjournal.net/
• http://www.reddit.com/r/PhilosophyOfCS
• http://philsci-archive.pitt.edu/2542/
• https://en.wikipedia.org/wiki/Boltzmann_brain
• http://www.huffingtonpost.com/dan-dennett/cute-funny-sexy-cognitive-science_b_3692072.html?utm_hp_ref=tedweekends&ir=TED+Weekends
• http://www.nytimes.com/2008/01/15/science/15brain.html?pagewanted=all&_r=1&
• http://www.reddit.com/r/Neuropsychology/comments/myznt/neuroimaging_auditory_hallucinations_and_the/
• http://www.spiegel.de/international/spiegel/spiegel-interview-with-edward-wilson-on-the-formation-of-morals-a-884767.html
• http://www.reddit.com/r/philosophy/comments/14wk1j/do_we_act_as_individual_components_of_a_larger/
• http://www.newscientist.com/article/mg21428661.200-the-argumentative-ape-why-were-wired-to-persuade.html?full=true
• http://www.npr.org/2013/06/14/191614360/decoding-the-most-complex-object-in-the-universe?ft=1&f=1007
• http://aeon.co/magazine/living-together/morality-may-have-evolved-but-it-isnt-fixed/
• http://gazehawk.com//blog/what-everyone-should-know-about-the-human-eye/
• http://www.thewire.com/entertainment/2010/11/smart-people-do-more-drugs-because-of-evolution/18539/
• http://www.samharris.org/blog/item/the-mystery-of-consciousness/
• http://www.ted.com/talks/bonnie_bassler_on_how_bacteria_communicate
• http://www.worldchanging.com/archives//002651.html