Semantika ja analüütiline filosoofia

märgid

Ainekood: ITV0071 Link: http://www.lambda.ee/index/Semantika_ja_analüütiline_filosoofia ehk http://www.lambda.ee/index/itv0071 Võid vaadata ka 2010 arhiivi ja 2007 arhiivi. Lektor: Tanel Tammet Kontakt: tammet@staff.ttu.ee, 6203457, TTÜ AK223 "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

Kursuse algus: 12 aprill

Kursus algab sel semestril neljapäeval, 12. aprilli. Esimene loeng ja ülesannete jagamine kell 14.00 - 17.15 ruumis IT 137a.

• ITV0071: magistrandid, 5 EAP
• ITV9070: doktorandid, 6 EAP

Maht, aeg, tulemus

Punkte: 5 EAP.

Loenguid nädalas: üks loeng poolteist tundi, pluss üks tund seminari.

Loengud ja seminarid toimuvad neljapäeviti kell 14.00-17.15 ruumis IT-137a ja seejärel kohe 17.30-19.00 hetkel kokkuleppimata ruumis.

Kursus lõpeb kirjaliku eksamiga, oluliselt arvestatakse sooritatud praktilisi töid (tehtud/ei). Praktilised tööd: ettekanded etteantud teemal, iga tudeng kaks/kolm ettekannet semestris.

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. E.
• Tähendus, tõde, meetod. Ettekandeteemade esimeste ringide allikas.

Kasulik taust/lisa:

• brain science podcastid
• 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. E
• Quine: Two Dogmas of Empiricism. Lugeda. E
• mis on analüütiline filosoofia. Lugeda.
• analytic/synthetic. Lugeda. E
• logical positivism. Lugeda.
• nominalism/realism. Lugeda. L
• functionalism. Lugeda. L

• fenomenoloogia. Tutvuda.
• Propp. Tutvuda.

Lisaks oluline lugemine/kuulamine:

• Metzinger: kindlasti kuula loenguna Metzingeri podcasti L, 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.
• 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.

Mõtlemine ja tehismõtlemine:

• Functionalism E
• Putnam: is semiotics possible?
• chinese room L
• Freimiprobleem E
• symbol grounding
• comic

Lõpmatus ja lahenduvus:

• sissejuhatus itsissejuhatus13o.PPT L
• tehnilist wikipediast L

Semantika ja loogika.

Teemad:

• Klassikalise loogika klassikaline semantika: domeenid, funktsioonid jms
• Mitteklassikaliste loogikate semantika ja seosed loomuliku keele ja mõtlemisega.

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

• Media:Xmlbaas1.PPT,Media:Xmlbaas2.PPT,Media:Xmlbaas3.PPT
• 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
• Pikk presentatsioon eri liiki identifikaatori-skeemidest
• 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

• Natural Language, semantic analysis and interactive fiction
• Inform 7 manuaal
• Inform 7 kasutaja kommentaare
• 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

Ettekanded

Mille seast valida:

Artiklikogumikust "Tähendus, tõde, meetod".

• Frege tähendusest ja osutusest.
• Hilary Putnam: tähendus ja osutus. Roger Kerse.
• Quine: empirismi kaks dogmat. Natalja Järv.
• Frank Ramsey: tõsiasjad ja propositsioonid.
• P. Grice: tähendus. Mihkel Saks.
• Tarski: semantiline tõekontseptsioon. Kuldar Isakannu.
• Davidson: Tõde ja tähendus. Juku Trump.
• Strawson: Tähendus ja tõde.
• Michael Dummett: Tõde.
• Kripke: reeglitest & privaatkeeltest. Ago Luberg. Ei ole järgmine nädal.
• Ayer: Aprioorsus. Taavi Salumäe.

Dennett:

• teadvusest artiklite 1 ja 2 põhjal.
• Dennett: kvaalide kvainimine.
• Verbal Language as a Communicative System - http://ase.tufts.edu/cogstud/papers/verblang.htm

Muud:

• Ramsey subjektiivne tõenäosusteooria
• Precis of Origins of the Modern Mind: Three Stages in the Evolution of Culture and Cognition
• The Role of Language in Intelligence - http://ase.tufts.edu/cogstud/papers/rolelang.htm
• The Cultural Evolution of Words and Other Thinking Tools - http://ase.tufts.edu/cogstud/papers/coldspring.pdf
• BRAIN EVOLUTION AND NEUROLINGUISTIC PRECONDITIONS
• CO-EVOLUTION OF NEOCORTEX SIZE, GROUP SIZE AND LANGUAGE IN HUMANS
• Teadvusest kahe artikli põhjal - http://ase.tufts.edu/cogstud/papers/explainingmagic.pdf ja http://ase.tufts.edu/cogstud/papers/SelfasaResponding.pdf. Veidi jätkata, eeskätt lisada esimese artikli materjale ja teise artikli järelduste juures detaile ja seletusi.
• Freimiprobleem.
• IBM Watson.
• Ordinaalid.
• Chinese room. Mh kasuta plato entsüklopeediat, wiki artiklit, Dennetti repliiki, John Mooney artiklit.
• Symbol grounding.
• Hawkinsi aju/intelligentsifilosoofia
• Metzingeri aju/intelligentsifilosoofia (vt viidad ülalt)
• Intuitsionistlik loogika: näited teoreemidest, mis kehtivad klassikaliselt, kuid mitte intuitsionistlikult. Näiteid tõestustest, millel lihtne klassikaline, kuid keeruline intuitsionistlik tõestus.
• URI tähenduse probleem, vt ülalt.
• dialoogipragmaatika ja Grice dialoogimaksiimid.
• Masintõlke state of the art. Alustuseks vaata http://en.wikipedia.org/wiki/Machine_translation ja otsi edasi.
• Dialoogiga autopiloteeritava kopteri juhtimise süsteem WITAS : leida materjalid ja teha ettekanne.
• McCarthy ja Hayes http://www-formal.stanford.edu/jmc/mcchay69.pdf
• Chris Firth http://docartemis.com/brainsciencepodcast/2009/05/bsp-57-frith ja Randy Gallistel http://www.brainsciencepodcast.com/bsp/2010/2/10/memory-challenging-current-theories-with-randy-gallistel-phd.html
• singularity: idee tuum ja kriitika. Vt Kurzweil, singularity.
• John Searle ja teadvuse probleem.
• Funktsionalismi ülevaade.
• Nick Boström "are we living in simulation". Vt http://www.simulation-argument.com/ ja http://www.nickbostrom.com/ .
• nö üldiste (entsüklopeedia-tüüpi) (tekstiliste) dialoogsüsteemide state of art näide (näited) seletuse ja teooriaga jne, mis on leitav.
• Pragmatism üldfilosoofiana.
• Inform 7 ülevaade ja mängunäide
• Practical information extraction.
• Faith in the Truth - http://ase.tufts.edu/cogstud/papers/faithint.htm
• Mirror Neurons http://docartemis.com/brainsciencepodcast/2008/04/18/bs35-mirrorneurons/ ja Jaak Panksepp http://docartemis.com/brainsciencepodcast/2010/01/bsp-65-panksepp/

Soovitavad autorid täiendavaks lugemiseks

• Dennett
• Putnam
• Wittgenstein (eesti keeles olemas Philosophical investigations)
• Borges (kirjanik, mitte filosoof, eesti keeles mitu novellikogumikku).