Semantika ja analüütiline filosoofia

Allikas: Lambda
Redaktsioon seisuga 19. november 2007, kell 18:41 kasutajalt Tammet (arutelu | kaastöö) (→Ettekanded)
Mine navigeerimisribale Mine otsikasti
märgid
märgid

Ainekood: ITV0070
Link: http://www.lambda.ee/index/Semantika_ja_analüütiline_filosoofia ehk http://www.lambda.ee/index/itv0070
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


Uudised

Kolmapäeval, 3. oktoobril jääb praktikum (sh ettekanded ära): õppejõud on NATO RTO IST koosolekul. Planeeritud ettekanded tulevad 17 oktoobril.

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 emaspäeviti kell 14.00-15.30 ruumis IT-137a. Harjutused: paaritutel nädalatel kolmapäeviti kell 16.00 ruumis IT137a. 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

Aju, mõistuse ja kultuuri areng

Sotsiobioloogia ning evolutsioonipsühholoogia.

Sissejuhatus:

Artikleid:

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

Lõpmatus ja lahenduvus: sissejuhatus

itsissejuhatus13o.PPT,

Loomulik keel reaalsetes süsteemides:

Olulised probleemid:

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:

Materjale mitteklassikaliste loogikate kohta:

Semantika semantilises veebis

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

Hakatuseks baasmaterjale XML-st

Lisaks:


Tutorialid:


Ettekanded

Esimene ring:

Teine ring (kolmapäev, 19 sept kell 16.00):

  • Valeri Sokolov: Frege: Mõte: üks loogiline uurimus.
  • Kristel Goldshmidt: Quine: empirismi kaks dogmat.


Kolmapäeval, 3. oktoobril jääb praktikum (sh ettekanded ära): õppejõud on NATO RTO IST koosolekul. Planeeritud ettekanded tulevad 17 oktoobril:

Kolmas ring (17 oktoober kell 16.00):

  • Siim Talvik (D.Davidson: Tõde ja tähendus)
  • Sergei Mironenko (P. Strawson: Tähendus ja tõde)

Neljas ring (14 november):

  • Inform 7 ülevaade: näited, seletused, võimalused, piirid. Siim Talvik.
  • John McCarthy circumscription: seletused ja näited. Enar.

Viies ring: (28 november):

  • Montague grammatikad (Kristjan)
  • Dialoogis ilmete/intonatsiooni tuvastamine kaameraga/mikriga ja kuvamine multikafiguuril (Sergei).



Õ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.

vt ka http://www.tud.ttu.ee/~t020502/public/

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 kursusest http://www.cs.miami.edu/%7Egeoff/Courses/CSC648-F04/Content/index.html

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/

Pärit leheküljelt "http://www.lambda.ee/w/index.php?title=Semantika_ja_analüütiline_filosoofia&oldid=2023"