Semantika ja analüütiline filosoofia

Allikas: Lambda
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
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

Eksamitulemused

Eksamitulemused leiab selle lingi alt.

NB! NB! Järeleksamile pääsemiseks peab ennast ÕIS-s eelnevalt eksamile registreerima. Mine ÕIS-s http://ois.ttu.ee "sooritused" -> "teadmiste kontrollidele registreerimine", otsi selle aine 22.01.2010 eksam ja registreeri ennast sellele. Probleemide korral otsi abi dekanaadist.

R. Metsvahi: ole hea, registreeri ennast järeleksamile, sinna reaalselt minna ei ole vaja, saadud tulemus kehtib, kuid nime ei olnud esialgsel eksamilehel.

Eelnädala järeleksam toimub 29 jaanuaril (reede) kell 11.00 auditooriumis VI-201.

Eksam

Eksamiks kohustuslikud materjalid on järgmised:

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

Evolutsioonipsühholoogia sissejuhatus: http://en.wikipedia.org/wiki/Evolutionary_psychology

Memeetika sissejuhatus: http://en.wikipedia.org/wiki/Memetics

Üldpilt artiklist artiklist Precis of Origins of the Modern Mind: Three Stages in the Evolution of Culture and Cognition: http://www.bbsonline.org/Preprints/OldArchive/bbs.donald.html

Üldpilt artiklist CO-EVOLUTION OF NEOCORTEX SIZE, GROUP SIZE AND LANGUAGE IN HUMANS http://www.bbsonline.org/documents/a/00/00/05/65/bbs00000565-00/bbs.dunbar.html

Funktsionalism ja temaga seotud põhiküsimused/tuntud mõtteksperimendid: http://en.wikipedia.org/wiki/Functionalism_%28philosophy_of_mind%29

Putnam: is semantics possible? http://books.google.com/books?hl=en&lr=&id=sj1gczQ-7K8C&oi=fnd&pg=PA177&dq=h+putnam&ots=NnodzjuQ0z&sig=UtnKA7ojLOwv1mJbos3FQBS2rVE#v=onepage&q=h%20putnam&f=false

Quine: Two Dogmas of Empiricism http://www.ditext.com/quine/quine.html

Lõpmatuse ja lahendatavuse põhialused, teoreemid siit: http://www.lambda.ee/images/f/fa/Itsissejuhatus13o.PPT

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

Intuitsionistliku loogika filosoofilised põhiideed: http://plato.stanford.edu/entries/logic-intuitionistic/

Intuitsionistlik loogika ja Curry-Howardi vastavuse põhiideed selle materjali põhjal: http://en.wikipedia.org/wiki/Curry-Howard_correspondence

Modaalse loogika põhiideed selle materjali põhjal: http://plato.stanford.edu/entries/logic-modal/

XML põhiasjadest arusaamine, sh namespacede teema.

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

URL-i tähendused: http://www.w3.org/2002/11/dbooth-names/dbooth-names_clean.htm

Ettekanded

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

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

  • Hilary Putnam: reeglitest & privaatkeeltest. Raido Paaslepp. Tehtud.
  • Michael Dummett: Tõde. Kenno Parm. Tehtud.
  • Tarski. Semantiline tõekontseptsioon ja ... Kairi Kask. Tehtud.

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

  • Dennett teadvusest artiklite 1 ja 2 põhjal. Anto Kallas. NB! Viimase artikli ettekanne vaja uuesti teha!
  • Jevgeni Shumik. Aprioorsus (Ayer). Vaja uuesti ja selgemalt teha, presentatsioon ka!

Ettekanded ette valmistada loenguks 22 oktoobril kell 12 ruumis IT-140 iga ettekanne 30 minutit.

  • Märten Ester. Tõde ja tähendus (Davidson) ja seostada veidi tähendus ja tõde (Strawson)
  • Jevgeni Shumik. Aprioorsus (Ayer). Vaja uuesti ja selgemalt teha, presentatsioon ka!
  • Aivar Naaber. Tähendus ja tõde (Strawson) ja sesotada veidi Tõde ja tähendus (Davidson).
  • Nikolai Tshihhatshov. Nick Boströmi simulatsioonis-elamise artikkel ja vastuväited ja lisamaterjale

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

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

  • Ludmila Karu. Paul Grice. Tähendus. 1957.
  • Verrev: imidzhi semantiline mõõtmine


  • Järgmine ring LOENGUS 19 november: pragmatism üldfilosoofiana ja semantikas.
    • Pragmatism üldfilosoofiana. Anto Kallas.
    • Grice. Paaslepp.


  • Loengus või praktikumis 26 november:
    • Rainer: Hilberti programm ja finitism
    • Searle. Silver juurik.
    • Soar süsteem. Jevgeni.
  • 10 detsember:


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

Aju, mõistuse ja kultuuri areng

Sotsiobioloogia ning evolutsioonipsühholoogia.

Sissejuhatus:


Olulisi artikleid:

Lisaks artiklikogumikke ja muud:

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

Mõtlemine ja tehismõtlemine.


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

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


Lisaks:


Tutorialid:



Õpikud ja materjalid (see on esialgne list!)

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.


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