Semantika ja analüütiline filosoofia

märgid

Ainekood: ITV0070 Link: http://www.lambda.ee/index/Semantika_ja_analüütiline_filosoofia ehk http://www.lambda.ee/index/itv0070 Võid vaadata ka 2007 arhiivi. Lektor: Tanel Tammet blog 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

Ettekanded

Ettekanded ette valmistada praktikumiks 17 sept kell 14 ruumis IT-213-H, iga ettekanne 30 minutit.

• Frege Silver Juurik. Tehtud.
• Quine või alternatiiv või alternatiiv Rainer Metsvahi. Tehtud.
• Putnam Martin Verrev. Tehtud.

Ettekanded ette valmistada praktikumiks 1 oktoobril kell 14 ruumis IT-213-H, iga ettekanne 30 minutit.

• Putnam: is semantics possible? Rein Remmel.
• Dennett teadvusest artiklite 1 ja 2 põhjal. Anto Kallas.
• Hilary Putnam: reeglitest & privaatkeeltest. Raido Paaslepp.
• Michael Dummett: Tõde. Kenno Parm.
• Tarski. Semantiline tõekontseptsioon ja ... Kairi.

Maht, aeg, tulemus

Punkte: 2.5
Loenguid nädalas: 1 kord a 2 tundi pluss 1 tund harjutust. Kui pole teisiti märgitud, toimuvad kõik loengud teisipäeviti kell 12.00-13.30 ruumis IT-137a. Harjutused: paaritutel nädalatel teisipäeviti kell 10.00 ruumis IT-213c(i). Ettekannete aeg!

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

Loengute esialgne plaan, teemad ja materjalid

Kursus jaguneb mitmeks omavahel seotud allteemaks, järjekorras üldisematelt tehnilisematele. Teemasid läbitakse üldiselt järjest, kuid ekskurssidega eelmistesse/järgmistesse teemadesse. Seni läbimata teemade materjalid on lehel puudu või lünklikud.

Loengute põhieesmärk on anda ülevaade mõistetest, ideedest jms: kõik selleks, et paremini viidatud tekste lugeda ja neist aru saada (Punamütsike: vanaema, miks on sul ....? Hunt: selleks, et ...).

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

Sissejuhatus, semiootika, filosoofia

• Semiotics for beginners. D. Chandler. Võrguraamat. KOHUSTUSLIK LUGEMINE.
• An Introduction to Algebraic Semiotics, with Applications to User Interface Design. J. Goguen. VEIDI LUGEDA.
• Algebraic semiotic. Portaal. J .Goguen.
• Semiootikaportaal. OTSIDA ISE NATUKE HUVITAVAT LUGEMIST.
• Tractatus ja Tractatus: struktureeritud täistekst. L. Wittgenstein. VEIDI LUGEDA.
• Philosophical Investigations koos kommentaaridega: kndlasti lugeda esimesed 100 aforismi, terve raamatu saab osta poest eestikeelsena.

Aju, mõistuse ja kultuuri areng

Sotsiobioloogia ning evolutsioonipsühholoogia.

Sissejuhatus:

• Evolutsioon.PPT ja teises formaadis Evolutsioon.pdf
• http://en.wikipedia.org/wiki/Sociobiology
• http://en.wikipedia.org/wiki/Evolutionary_psychology ja primer ja conceptual grounds
• http://en.wikipedia.org/wiki/Memetics

Artikleid:

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

Lisaks artiklikogumikke:

• http://homepage.psy.utexas.edu/homepage/Group/BussLAB/publications.htm

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

Mõtlemine ja tehismõtlemine.

• Functionalism
• chinese room
• symbol grounding

Lõpmatus ja lahenduvus: sissejuhatus

itsissejuhatus13o.PPT,

Loomulik keel reaalsetes süsteemides:

• 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

Semantika ja loogika.

• Klassikalise loogika klassikaline semantika: domeenid, funktsioonid jms.
• Klassikalise loogika semantika blocks worldi näitel
• Mitteklassikaliste loogikate semantika - blocks world ja seosed loomuliku keele ja mõtlemisega.

Materjale klassikalise loogika kohta:

• Geoffi kursuse materjale

Materjale mitteklassikaliste loogikate kohta:

• loengus tehtud ülevaade,
• Katie Atkinsioni modaalse loogika materjalid:
  • http://www.csc.liv.ac.uk/~katie/304-Lecture7.ppt (sissejuhatus: süntaks)
  • http://www.csc.liv.ac.uk/~katie/304-Lecture8.ppt (Kripke semantika: possible worlds)
  • http://www.csc.liv.ac.uk/~katie/304-Lecture12.ppt (aksioom K, deduktsioon)
  • http://www.csc.liv.ac.uk/~katie/304-Lecture13.ppt (eri sorti modaalsed loogikad)
  • http://www.csc.liv.ac.uk/~katie/304-Lecture14.ppt (eri sorti modaalsed loogikad)

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:

• mõistlik sissejuhatus sem web teemasse: loe juhul, kui sa ei ole kursis
• ametlik dokument uride kohta: vaata algust ja viska korraks järgnevale pilk peale
• URL: four uses and identity crisis. Parim artikkel probleemi kohta.
• Pikk presentatsioon eri liiki identifikaatori-skeemidest
• idee ja ettepanek kahte liiki uri-nimeruumideks
• ideid probleemi leevendamiseks, eeskätt topic maps kontekstis
• [1]
• [2]

Lisaks:

• http://www.somebits.com/weblog/tech/bad/whySoapSucks.html
• http://wanderingbarque.com/nonintersecting/2006/11/15/the-s-stands-for-simple/

Tutorialid:

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

Ettekanded

Esimene ring:

• 16 september kell 10.00. Raamatust "Tähendus, tõde, meetod: tekste analüütilisest filosoofiast. Koostanud ja toimetanud J. Kangilaski ja M.Laasberg.Tartu Ülikooli Kirjastus 1999."
  • Tatjana Totskaya. Quine: empirismi kaks dogmat. Tehtud, vaja täiendada verifikatsionismi ja reduktsionismi põjalike seletuste ja näidetega.
  • Janne Monso. Frege tähendusest ja osutusest. Tehtud.

Teine ring:

• 28 oktoober. Hilary Putnam: tähendus ja osutus. Merlin. Tehtud.
• Frank Ramsey: tõsiasjad ja propositsioonid. Tõnis. Tehtud, vaja teha uus ettekanne Tarski semantilisest tõekontseptsioonist ja siduda see võrdlusega Ramseyga.

Kolmas ring:

• 4 november kell 10.00. P. Grice: tähendus. Julia Bondar.
• Tarski: semantiline tõekontseptsioon ja semantika alused. Avar Pentel.
• Ette valmistada Tatjana ja Tõnise ettekanded.

Neljas ring:

• 11 nov kell 10.00
• Julia Bondar: eelmine kord ärajäänud
• Dennet teadvusest, artiklite http://ase.tufts.edu/cogstud/papers/explainingmagic.pdf ja http://ase.tufts.edu/cogstud/papers/SelfasaResponding.pdf põhjal. Merlin.
• Tõnis: Inform 7
• Tatjana: varuettekanne.

Viies ring:

• 18 nov kell 10.00
• Rainer: Ordinaalid (lõpmatud numbrid)
• Avar: Attempto loomulik keel (restricted english), ace system
• Tatjana ettekanne (kui ei lähe käiku varu)

kuues ring esialgne (osaline) kava:

• 25 nov kell 10.00
  • Janne Monso: Relevance theory. Kasuta eeskätt http://people.bu.edu/bfraser/Relevance%20Theory%20Oriented/Sperber%20&%20Wilson%20-%20RT%20Revisited.pdf

ja http://www.phon.ucl.ac.uk/publications/WPL/06papers/sperber&wilson.pdf

seitsmes ring esialgne (osaline) kava:

• 2 detsember kell 10.00
  • Julia: http://www.cimec.unitn.it/events/decalog/pdf/decalog_denis.pdf
  • Tatjana: http://www.cimec.unitn.it/events/decalog/pdf/decalog_buckley.pdf
  • Risto: http://www.cimec.unitn.it/events/decalog/pdf/decalog_quarteroni.pdf

viimased ettekanded viimase loengu ajal:

• 16 detsember, Tanel Lauringson
  • Chinese room: ülevaade ja kategoriseering argumentidest ja vastuargumentidest
  • RDF kohta: reificationi, vajaduse ja probleemide ülevaade

Õpikud ja materjalid

Kursusel on üks põhiõpik, üks lisaõpik ja hulk kohustuslikke ja soovitavaid lisamaterjale.

NB! Osa materjale (esmajoones lingid) on viidatud eelmises lõigus vastavate teemade all, mitte aga allpool.

Põhiõpik ja lisaõpik. Põhiõpiku läbilugemine kohustuslik, samuti kui lisaõpiku viidatud peatüki läbilugemine.

• Tähendus, tõde, meetod: tekste analüütilisest filosoofiast. Koostanud ja toimetanud J. Kangilaski ja M.Laasberg.Tartu Ülikooli Kirjastus 1999.
• Peatükk III "mitteklassikaline loogika" raamatust Loogika: mõtlemisest tõestamiseni. T.Tammet, T.Tammet, R.Prank, Tartu Ülikooli Kirjastus 1997.

Soovitav, sh eriti soovitavad esimesed kaks raamatut

• Juhatus semiootikasse. P.Gobley, L.Jansz.Tõlkeraamat, kirjastus "Koge" 2002.
• Mälu. Endel Tulving. Tartu Ülikooli kirjastus 2002.
• Uurimus tähendusest ja tõest. B. Russell. Tõlkinud T. Hallap, Hortus Litterarum 1995.
• Oxfordi filosoofialeksikon. S. Blackburn. Tõlkinud M. Väljataga ja B.Mölder. Vagabund 2002.

Soovitavad autorid lugemiseks

• Dennett
• Putnam
• Wittgenstein
• Borges (kirjanik, mitte filosoof), eesti keeles mitu tõlkeraamatut.

Mis eksamil oodata on

Materjalid õpikust http://www.aber.ac.uk/media/Documents/S4B/semiotic.html

Materjale artiklist http://www.bbsonline.org/Preprints/OldArchive/bbs.donald.html

Artikkel http://en.wikipedia.org/wiki/Evolutionary_psychology

Artikkel http://en.wikipedia.org/wiki/Memetics

Materjale artiklist http://www-formal.stanford.edu/leora/fp.ps

Esimest järku loogika semantika materjale Geoffi kursusest Geoff reasoning course notes

Modaalse loogika materjal http://www.csc.liv.ac.uk/~katie/304-Lecture8.ppt

Intuitsionistliku ja (Reiteri) default loogikate põhiideed.

XML põhiasjadest arusaamine, sh namespacede teema.

Rdf primer: http://www.w3.org/TR/rdf-primer/