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

Eksam

Ajad:

• 25 mai (kolmapaev): kell 9 auditoorium VII-131
• 3 juuni (reede): kell 9 auditoorium VI-121

Eksamiküsimusteks on miniesseed neljal-kuuel teemal ja paar lugemiskontrolli. Materjalid, mille osas küsimusi esitatakse, on all märgitud kas punase E või punase L tähega materjali järel: E tähendab võimet sellel teemal (mitte tingimata otse materjali kohta) miniesseed kirjutada, L tähendab võimalikku lugemiskontrolli.

Maht, aeg, tulemus

Punkte: 5 EAP.

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

Loengud toimuvad kolmapäeviti kell 9.00-10.30 ruumis IT-140. Kohe peale loengut kuni 11.30 toimub samas ruumis seminar: tudengite ettekanded.

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, taustaks tasub lugeda Self models ja lisaks tasub vaadata ka Metzingeri videoloengut L
• 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

• 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

9 veebruar

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

Tanel Tenso. Frege: Frege tähendusest ja osutusest. OK.

Joel Timmermann. Hilary Putnam: tähendus ja osutus. OK.

Kristjan Liiva. Quine: empirismi kaks dogmat. OK.

16 veebruar

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

Danel Ahman. Frank Ramsey: tõsiasjad ja propositsioonid. OK

Asko Ristolainen. P. Grice: tähendus. OK.

Taavi Salumäe. Tarski: semantiline tõekontseptsioon. OK.

23 veebruar

Gert Toming. Davidson: Tõde ja tähendus. OK

Merike Sell. Strawson: Tähendus ja tõde. OK

Vadim Trihonov. Michael Dummett: Tõde.

Elmo Todurov. Hilary Putnam: reeglitest & privaatkeeltest.

2 märts

Sven Pärand. Ayer: Aprioorsus.

Hendrik Pärna. Dennett: teadvusest artiklite 1 ja 2 põhjal.

Mihhail Lapushkin. Dennett: kvaalide kvainimine.

Marek Rist. Ramsey subjektiivne tõenäosusteooria

9 märts

• Pirjo Elbrecht: Precis of Origins of the Modern Mind: Three Stages in the Evolution of Culture and Cognition

16 märts

• Vahur: The Role of Language in Intelligence - http://ase.tufts.edu/cogstud/papers/rolelang.htm

• Ago: The Cultural Evolution of Words and Other Thinking Tools - http://ase.tufts.edu/cogstud/papers/coldspring.pdf

23 märts

• Vahur: BRAIN EVOLUTION AND NEUROLINGUISTIC PRECONDITIONS
• Tanel Tenso: CO-EVOLUTION OF NEOCORTEX SIZE, GROUP SIZE AND LANGUAGE IN HUMANS
• Hendrik: 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.
• Danel Ahman. Freimiprobleem.
• Elmo. IBM Watson.

30 märts

• Kristjan Liiva. Ordinaalid.

6 aprill

• Hendrik: Teadvusest kahe artikli põhjal: OK.

• Marek Rist. Chinese room. Mh kasuta plato entsüklopeediat, wiki artiklit, Dennetti repliiki, John Mooney artiklit.

20 aprill

• Asko. Symbol grounding.
• Ago: Hawkinsi aju/intelligentsifilosoofia

• Merike: Metzingeri aju/intelligentsifilosoofia (vt viidad ülalt)

Aprilli lõpp / Mai

• Valdo Purde. Intuitsionistlik loogika: näited teoreemidest, mis kehtivad klassikaliselt, kuid mitte intuitsionistlikult. Näiteid tõestustest, millel lihtne klassikaline, kuid keeruline intuitsionistlik tõestus.

• Mihhail: URI tähenduse probleem, vt ülalt.

• Sven: dialoogipragmaatika ja Grice dialoogimaksiimid.

Ettevalmistamisel ettekanded

• Võetud: Dennett, Faith in the Truth - http://ase.tufts.edu/cogstud/papers/faithint.htm

• Sven: Dennett, Verbal Language as a Communicative System - http://ase.tufts.edu/cogstud/papers/verblang.htm

• Vadim Trifonov: Masintõlke state of the art. Alustuseks vaata http://en.wikipedia.org/wiki/Machine_translation ja otsi edasi.

• Valdo: singularity: idee tuum ja kriitika. Vt Kurzweil, singularity.

• Joel: nö üldiste (entsüklopeedia-tüüpi) (tekstiliste) dialoogsüsteemide state of art näide (näited) seletuse ja teooriaga jne, mis on leitav.

• Vahur: McCarthy ja Hayes http://www-formal.stanford.edu/jmc/mcchay69.pdf

• Tanel: Funktsionalismi ülevaade

• Marek: Pragmatism üldfilosoofiana.

• Ago: ?

• Taavi: Inform 7 ülevaade ja mängunäide

• Hendrik: Mirror Neurons http://docartemis.com/brainsciencepodcast/2008/04/18/bs35-mirrorneurons/ ja Jaak Panksepp http://docartemis.com/brainsciencepodcast/2010/01/bsp-65-panksepp/

• Asko: Searle - vali mõni endale olulisem suurem Searle teema ja fokuseeru sellele.

• Pirjo: 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 Tehtud.

• Ago. Dialoogiga autopiloteeritava kopteri juhtimise süsteem: leida materjalid ja teha ettekanne.

• Merike. Practical information extraction.

• Pirjo. Riidemoodide olemasolu ja arengute põhjused: miks ja kuidas? Teemakse EI ole konstanteeriv moeajalugu. Otsi fashion clothes evolutionary psychology memetics.

• Kert: Nick Boström "are we living in simulation". Vt http://www.simulation-argument.com/ ja http://www.nickbostrom.com/

• Kert: witas UAV dialogue system

Soovitavad autorid täiendavaks lugemiseks

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