Semantika ja analüütiline filosoofia: erinevus redaktsioonide vahel

Allikas: Lambda
Mine navigeerimisribale Mine otsikasti
 
(ei näidata sama kasutaja 28 vahepealset redaktsiooni)
7. rida: 7. rida:
Code:  ITV9070<br>
Code:  ITV9070<br>
Link: http://lambda.ee/wiki/Semantika_ja_anal%C3%BC%C3%BCtiline_filosoofia<br>
Link: http://lambda.ee/wiki/Semantika_ja_anal%C3%BC%C3%BCtiline_filosoofia<br>
Title: <b>Semantics and Analytical Philosophy</b>
Title: <b>Semantics and Analytical Philosophy</b><br>
Archive: [[ITV9070_2024|year 2024 archive]]<br>
Archive: [[ITV9070_2025|year 2025 archive]]<br>
Lecturer: [http://www.facebook.com/tanel.tammet Tanel Tammet]<br>
Lecturer: [http://www.facebook.com/tanel.tammet Tanel Tammet]<br>
Contact: tanel.tammet@ttu.ee, 6203457, ICT 426<br>
Contact: tanel.tammet@ttu.ee, 6203457, ICT 426<br>
25. rida: 25. rida:
</table>
</table>


= <font color="red">Eksamitulemused</font>  =


* Esimese, 6. jaanuari eksamitulemused (eesnime esitäht ja hinne): K 5, J 4, R 4, S 3.
== <font color="red">NB!</font> Lambda server hardware has been fixed ==


= Eksamite ajaplaan =
Last week: sometimes the page did not open, sometimes it did.


Eksam on samas ruumis/ajal koos IT sissejuhatuse eksamiga.  
Now the server is fixed.
 
Eksamiajad ja kohad on järgmised:
 
* 6. jaanuar (teisipäev) ruumis NRG-226: kell 12:15
 
* 13. jaanuar (teisipäev) ruumis U06A-229: kell 13:15
 
* 20. jaanuar (teisipäev) ruumis U06A-201: kell 11
 
Pane tähele, et kõigil päevadel toimub eksam eri ruumis, samuti ei alga eksam alati täistunnil.
 
Eksamiks registreerida ei ole vaja.
 
Reeglite järgi võib iga tudeng teha omal valikul eksami ühel või kahel pakutud päevadest.
Kolmandat võimalust ja hilisemaid eksameid ei ole.
 
= Ülesanne saabuvaks nädalaks ja edasi!  =
 
Palun täida [http://turing.cs.ttu.ee/~tanel.tammet/agentsus.html küsimustik] (võib ka inglisekeelne). Selle küsimustiku erinevaid tulemusi (erinevate kursuste/inimgruppide antuid) hakkame kursuse lõpuosas analüüsima.
 
Kui oled küsimustiku täitnud (mitte enne!), siis uuri [http://turing.cs.ttu.ee/~tanel.tammet/agency_res_2025_11_14.csv seniseid vastuseid] (semikoolonitega eraldatud csv fail), kust nii vastajat tuvastada võimaldavad väljad kui Taneli salvestatud read on eemaldatud. Selleks
* Vaata [http://turing.cs.ttu.ee/~tanel.tammet/agentsus.html küsimustiku lähtekoodi]: küsimuse identifikaatorid (näiteks a6) leiad htmli tagidest a la 'select name="a6"'.
* Vastuste andmebaasist on csv moodustatud järgmise käsuga: sqlite3 --separator ";" agency_2025_11_14.db "select id,etime,lang,a0,a1,a2,a3,a5,a6,a7,a8,a9,a10,a11,a12,a13,a14,a15,a16,a17,a18,a19,a20,a21,a22,a23,a24,a25,a26,a27,a28,a29,a30,a31,a3,a33,a34,a35,a36,a37 from ans where a4 not like '%tanel%';" > ajut.csv. See käsk ütleb sisuliselt, mis väli csv failis vastab millisele aX numbriga küsimusele lähtekoodis.
 
Hea mõte oleks teha põhjalik analüüs vastustest. Näiteks mh, mis paistavad olema põhikategooriaid vastajatest (st sarnased vastusekomplektid), mis vastused omavahel tugevamini korreleeruvad jne. Jällegi, hea mõte oleks seda mitte üksi teha, vaid moodustada paar väikest töögruppi, kes ülesanded ära jagaks ja koos analüüsiks.
 
Eriti tore oleks, kui keegi teeks vastuste statistika ja filtreerimise veebilehe!
 
<font color="red">NB!</font>Siin on õppejõu tulemuste analüüsimise veebileht: [http://turing.cs.ttu.ee/~tanel.tammet/agency_analyze.html http://turing.cs.ttu.ee/~tanel.tammet/agency_analyze.html]




<!--
<!--
= <font color="red">NB!</font> =
= <font color="red">NB!</font> The seminar on 18. September is on Teams =


24 oktoober loengut/seminari ei toimu: selle asemel igaühele lugemis-kuulamis-ülesandena tutvuda Chollet filosoofia ja ARC-AGI ülesandega.
Tanel travels to U.S.A. on 13. September, hence the 18. September lecture/seminar is on Teams only. See below for the teams group.


Kindlasti loe ja kuula:
Use the [https://teams.microsoft.com/meet/335965570900661?p=3GhUvqU8vCQGO8pYfo link to the teams meeting].
-->


* [https://en.wikipedia.org/wiki/Fran%C3%A7ois_Chollet Francois Chollet]
= Language: English and Estonian  =
* [https://arcprize.org/arc-agi ARC-AGI]: loe ja saa aru ja otsi juurde. Mh [https://liusida.github.io/ARC/ katseta ise lahendada] ja ntx loe ARCi lehelt [https://arcprize.org/blog blogi] ja vaata kolmanda ARCi põlvkonna [https://three.arcprize.org/ eeldemo]. Väga hea mõte on lugeda 2024 ühe hea tulemuse meetodi [https://www.lesswrong.com/posts/Rdwui3wHxCeKb7feK/getting-50-sota-on-arc-agi-with-gpt-4o pikemat seletust]: seal seletatakse ka lihtsalt lahti, et milles ARC ülesanne seisneb.
* [https://lexfridman.com/francois-chollet-2 Francois Chollet in Lex Fridman interview]
* [https://fchollet.com/ Chollet oma lehelt] mõni vestlus, soovitavalt [https://www.youtube.com/watch?v=rTh3UcPj_7o Mindscape podcasti episood] või siis [https://www.dwarkesh.com/p/francois-chollet Dwarkeshiga]
* [https://open.spotify.com/episode/5f3bFen98gEQkb0J5CCjEt MLST 29.4% ARC-AGI-2 interview (not Chollet himself)] or [https://www.youtube.com/watch?v=FcnLiPyfRZM&pp=0gcJCfwJAYcqIYzv on youtube]


Nende materjalide põhjal teeme 32. oktoobri seminaril arutelu kõigi lühikeste sõnavõttudega: et mis oli sinu jaoks rohkem uus ja/või huvitav. Igati teretulnud on ka teiste Chollet arvamuste uurimine ja ARC-AGI lahendusmeetoditest lugemine/kuulamine.
The current plan is teach the course in English in 2026, unless everybody understands Estonian.
-->
<!--
10. oktoobril on seminar <b>ainult teamsis</b>, mitte kohapeal: [https://teams.microsoft.com/l/message/19:8m1vKS_af7g_iP3TPTdMbkMCRBsPunMxhulLF7yJ_fU1@thread.tacv2/1759731843111?tenantId=3efd4d88-9b88-4fc9-b6c0-c7ca50f1db57&groupId=9f3ee7b9-757d-4582-8b89-9c1c50de019a&parentMessageId=1759731843111&teamName=Semantika%20ja%20anal%C3%BC%C3%BCtiline%20filosoofia%202025&channelName=General&createdTime=1759731843111 Teamsi-telco link]. Telcoga peaks saama igaüks ühineda, aga igaks juhuks link kursuse teamsile (seda kasutame eeskätt telcodeks, kui vaja) [https://teams.microsoft.com/l/channel/19%3A8m1vKS_af7g_iP3TPTdMbkMCRBsPunMxhulLF7yJ_fU1%40thread.tacv2/General?groupId=9f3ee7b9-757d-4582-8b89-9c1c50de019a&tenantId=3efd4d88-9b88-4fc9-b6c0-c7ca50f1db57 siin] ja ühinemiskood eq27d3b.


NB! Alustame veidi hiljem: kell <b>13:30</b>.
It is OK for students to give presentations, ask questions etc in Estonian as well.


Telcovariandi põhjus on samal ajal toimuv [https://taltech.ee/en/events/taltech-ai-autumn-seminar-2025 taltech AI seminar].
The materials / information is currently a mix of English and Estonian: we will move towards mostly English information in case we will keep English as the main language of the course.
-->
<!--
26. septembril veab seminari doktorand Otto Mättas, kes on ise varem kursuse läbinud. Seminar toimub harilikul ajal ja kohas.


10 oktoobri ja edasi ettekannete plaani ettepanekud paneb Tanel siia alla nädalavahetusel.
= Teams and Recordings =
-->


= Recordings =
Some recordings will be available, but we do not plan to record most lectures/seminars.


Several recordings will be available, but we do not plan to record most lectures/seminars.
The teams group for the course is [https://teams.cloud.microsoft/l/channel/19%3AIzu1OVQf63SOfUs5g0zLk-exFhIVEkxMxBvAZQ2tW4Y1%40thread.tacv2/General?groupId=69f16074-ac3d-432f-9681-06225bd2b68e&tenantId=3efd4d88-9b88-4fc9-b6c0-c7ca50f1db57 Semantika ja analüütiline filosoofia 2026]. In rare cases when the seminar is on teams (first case: 18. September), not in the lecture room, we will use this. Please register, the team code is: cpjionc .


Use the [https://teams.microsoft.com/meet/335965570900661?p=3GhUvqU8vCQGO8pYfo link to the teams meeting] on 18. Sept.


= Time, place, credits =
= Time, place, credits =


Time: Every Friday 13:00 - 15:15
Time: Every Friday 09:30 - 11:45


Normally we will have student presentations during the lecture time, along with planning following presentations and brief intros by the lecturer.  
Normally we will have student presentations during the lecture time, along with planning following presentations and brief intros by the lecturer.  
Location:  
Location:  
* Normally: SOC-314
 
* Sometimes: telco over teams (these will be announced a week earlier)
* Normally: ICT-507 A/B
* Sometimes: teams (these will be announced a week earlier)


Credits: 6  
Credits: 6  
120. rida: 82. rida:
less important. Materials without such marks will not be used for the exam questions.
less important. Materials without such marks will not be used for the exam questions.


In order to be allowed to take the exam,  
In order to be allowed to take the exam, the initial plan is as follows (we may need to tune it):
* each Ph.D student should give at least four presentations.  
* each Ph.D student should give at least four presentations.  
* each master student should give at least two presentations. In case it turns out we will have enough time, an additional third short presentation might be asked for.
* each master student should give at least two presentations. In case it turns out we will have enough time, an additional third short presentation might be asked for.
132. rida: 94. rida:


NB! Presence at student presentations will be registered: failing to participate at many presentations will have a negative effect on the final grade.
NB! Presence at student presentations will be registered: failing to participate at many presentations will have a negative effect on the final grade.


= Initial course plan, materials and topics =
= Initial course plan, materials and topics =
144. rida: 107. rida:
* Source for the first round of presentations: [https://www.goodreads.com/book/show/25130154-t-hendus-t-de-meetod Tähendus, tõde, meetod.]. Separate original articles can be found by googling.
* Source for the first round of presentations: [https://www.goodreads.com/book/show/25130154-t-hendus-t-de-meetod Tähendus, tõde, meetod.]. Separate original articles can be found by googling.


Main materials:
Core materials:


* [http://visual-memory.co.uk/daniel/Documents/S4B/ Semiotics for beginners]. first half is obligatory. <font color="red">E</font>
* [http://visual-memory.co.uk/daniel/Documents/S4B/ Semiotics for beginners]. first half is obligatory. <font color="red">E</font>
190. rida: 153. rida:


== Evolution of brain, intelligence and society  ==
== Evolution of brain, intelligence and society  ==
A highly recommended book: [https://mitpressbookstore.mit.edu/book/9780063286351 A Brief History of Intelligence: Evolution, AI, and the Five Breakthroughs That Made Our Brains]


Sociobiology, evolutionary psychology and memetics.
Sociobiology, evolutionary psychology and memetics.
503. rida: 468. rida:
= Presentation schedule =
= Presentation schedule =


12 september: kõik teemad allpool valikteemadest, lisaviited leiad sealt
Time for each seminar: 09:30 - 11:45.


* Jaanus R: Kant's theory of judgement.
* Until 9. October: normal-length talks, ca 25 min each.
* Andreas: Wittgenstein's Tractatus Logico-Philosophicus vs Philosophical Investigations.
* From 16. October: short talks, 15 min each: 10 min talk and 5 min questions.
* Siim L: Putnam: tähendus ja osutus.
* The seminars are overbooked, since some presenters cannot attend. If we run out of time, the remaining talks go first at the next seminar.
* Indrek: Quine: empirismi kaks dogmat.
* If you cannot attend, write to Tanel: your talk moves to a later seminar.
* varu: Jane-Ly: Frege: Frege tähendusest ja osutusest
* ''(P)'' marks a proposed theme. You may propose a different theme for the same date: write to Tanel.
* The links after each talk are starting points. Search for more material yourself.


19. september: kõik teemad allpool valikteemadest, lisaviited leiad sealt
== 18. September (done) ==


* Aleksander: Tarski: semantiline tõekontseptsioon (ei osale, teema jagame teistele)
* '''Erik''': Putnam: meaning and reference <small>[http://web.archive.org/web/20240412001306/https://danielwharris.com/teaching/364online/weeks/3/Putnam.pdf paper], [https://faculty.washington.edu/smcohen/453/PutnamDisplay.pdf overview]</small>
* Uku: Strawson: tähendus ja tõde (meaning and truth).
* '''Bauka''': Dennett: quining qualia <small>[https://web-archive.southampton.ac.uk/cogprints.org/254/ text]</small>
* Kaspar: Dennett: kvaalide kvainimine (quining qualia).  
* '''Juhan''': Wittgenstein: Tractatus vs Philosophical Investigations <small>[https://www.gutenberg.org/ebooks/5740 Tractatus], [https://sophoslogos.wordpress.com/2014/08/17/the-early-and-later-philosophy-of-wittgenstein/ early vs late]</small>
* Artem: Neurons are more complex than we thought,  
* '''Teele''': Frege: sense and reference <small>[https://en.wikipedia.org/wiki/Sense_and_reference wiki], [https://plato.stanford.edu/entries/frege/ SEP]</small>
* Varu: Kerli: Mirror Neurons (toimus)
* '''Pavel''': Pragmatism <small>[https://plato.stanford.edu/entries/pragmatism/ SEP]</small>


26. september: kõik teemad allpool valikteemadest, lisaviited leiad sealt
== 25. September (done) ==


* Jaanus R: Pragmatism
* '''Wessel''': Quine: two dogmas of empiricism <small>[http://www.ditext.com/quine/quine.html text], [https://en.wikipedia.org/wiki/Two_Dogmas_of_Empiricism wiki]</small>
* Liis: Confirmation bias
* '''Annika''': Anil Seth on consciousness <small>[https://www.preposterousuniverse.com/podcast/2021/10/11/168-anil-seth-on-emergence-information-and-consciousness/ podcast]</small>
* Robin: Karl Friston and the free energy principle
* '''Ulrik''': Tarski: the semantic conception of truth <small>[https://sites.ualberta.ca/~francisp/Phil426/TarskiTruth1944.pdf paper], [https://plato.stanford.edu/entries/tarski-truth/ SEP]</small>
* Kerttu: Anil Seth on consciousness
* '''Huzaifa''': Homeostasis and brain science (Damasio) <small>[https://www.preposterousuniverse.com/podcast/2019/04/29/episode-44-antonio-damasio-on-feelings-thoughts-and-the-evolution-of-humanity/ podcast]</small>
* Siim S: Antonio Damasio and the origin of important stuff in homeostasis.
* '''Dmitri''': Paul Grice: meaning and implicature <small>[https://plato.stanford.edu/entries/grice/ SEP], [https://www.ucl.ac.uk/ls/studypacks/Grice-Logic.pdf Grice]</small>


3. oktoober:
== 2. October (done) ==


* Kerli: Randy Gallistel on memory  
* '''Alex''': Philosophy of mathematics: infinity and logic <small>[[Media:infinity.pdf|notes]]</small>
* Uku: Main points from Clark in the Andy Clark episode
* '''Kristel''': Randy Gallistel on memory <small>[https://braininspired.co/podcast/126/ podcast]</small>
* Andreas: Donald D. Hoffman and the user interface (MUI) theory of mind.
* '''Erik''': How bacteria communicate <small>[https://www.ted.com/talks/bonnie_bassler_how_bacteria_talk TED]</small>
* Indrek: Main points of Chomsky's theories of language.


10. oktoober teamsis 13:30, link tuleb lehe algusse (see below for details, except for the first one):
== 9. October ==


* Tanel: Formal semantics of classical propositional logic and predicate logic: models. Specifically:
* '''Huzaifa''': Kripke: rigid designators and gender terms (first, since travelling next week) <small>[https://plato.stanford.edu/entries/rigid-designators/ SEP], [https://en.wikipedia.org/wiki/Naming_and_Necessity Naming and Necessity], [https://philarchive.org/rec/DEMRTO-2 Dembroff]</small>
** [https://stanford-cs221.github.io/autumn2020-extra/modules/logic/propositional-logic-semantics.pdf semantics of prop logic]
* '''Hanna''': Neurons are more complex than we thought (moved from 2. Oct) <small>[https://www.quantamagazine.org/neural-dendrites-reveal-their-computational-power-20200114/ Quanta], [https://medium.com/intuitionmachine/neurons-are-more-complex-than-what-we-have-imagined-b3dd00a1dcd3 blog]</small>
** [https://homepage.cs.uiowa.edu/~tinelli/classes/4350/Spring22/Notes/04-derivation-systems.pdf prop logic semantics and derivations]
* '''Parviz''': Mike Frank: early language and cognition <small>[https://braininspired.co/podcast/171/ podcast], [https://langcog.stanford.edu/papers_new/goodman-2016-tics.pdf paper 1], [https://osf.io/preprints/psyarxiv/yhrb4 paper 2]</small>
** [https://en.wikipedia.org/wiki/Sequent_calculus sequent calculus]: an important derivation system
* '''Andreas''': Donald Hoffman: the interface theory of perception <small>[https://podbay.fm/p/robinsons-podcast/e/1692547200 podcast], [https://doi.org/10.3758/s13423-015-0890-8 paper]</small>
** [https://cs.uwaterloo.ca/~plragde/cs245old/07-predsem.pdf semantics of predicate calculus]
* '''Timofei''': Andy Clark: predictive brain, embodied cognition, extended mind <small>[https://samharris.org/episode/SEF4786499D podcast], [https://www.samharris.org/podcasts/making-sense-episodes/322-predicting-reality short version]</small>
** [https://logictools.org logictools] for experimenting.
* '''Henry''': Chomsky's theories of language <small>[https://podbay.fm/p/robinsons-podcast/e/1679583620 Robinson], [https://lexfridman.com/noam-chomsky Fridman], [https://lexfridman.com/edward-gibson critique]</small>
** [http://lambda.ee/w/images/6/6b/Loogikaopik.pdf loogikaõpik] for details.
* '''Pavel''': Solipsism <small>[https://en.wikipedia.org/wiki/Solipsism wiki], [https://en.wikipedia.org/wiki/Methodological_solipsism methodological], [https://en.wikipedia.org/wiki/Externalism externalism]</small>
* Siim L: Kripke semantics of modal logic
* Kerli: Intuitionistic logic
* Siim S: Infinity: ordinals and cardinals


17. oktoober
== 16. October ==


* Robin: Functionalism and AI
* '''Roman S.''': Altruism and the evolution of morals (moved from 2. Oct) <small>[http://www.spiegel.de/international/spiegel/spiegel-interview-with-edward-wilson-on-the-formation-of-morals-a-884767.html Wilson], [https://en.wikipedia.org/wiki/Evolution_of_morality wiki], [https://en.wikipedia.org/wiki/Altruism_(biology) altruism]</small>
* Siim S: Frame problem (see below for details): a classic issue
* Drops out: '''Annabel''': Nelson Goodman <small>[https://plato.stanford.edu/entries/goodman/ SEP], [https://en.wikipedia.org/wiki/New_riddle_of_induction new riddle of induction]</small>
* Liis: https://en.wikipedia.org/wiki/Chinese_room and different thought lines around that, including intentionality, consciousness, parallels with LLMs etc
* '''Bauka''': Kahneman: system 1 and system 2 <small>[https://en.wikipedia.org/wiki/Thinking,_Fast_and_Slow book], [https://www.nobelprize.org/uploads/2018/06/kahnemann-lecture.pdf Nobel lecture], [https://en.wikipedia.org/wiki/Prospect_theory prospect theory]</small>
* Uku: Arguments for the dangers of AI (doomers) and arguments for the techno-optimism, incl e/acc.
* Moved to 23 Oct: '''Hanna''': Are we living in a simulation? (Bostrom) <small>[https://simulation-argument.com/ site], [https://en.wikipedia.org/wiki/Simulation_hypothesis wiki]</small>
* '''Elina''': Neuroimaging, auditory hallucinations and the bicameral mind <small>[http://www.reddit.com/r/Neuropsychology/comments/myznt/neuroimaging_auditory_hallucinations_and_the/ reddit], [https://en.wikipedia.org/wiki/Bicameral_mentality wiki]</small>
* Moved to 23 Oct: '''Dmitri''': Confirmation bias <small>[https://www.newscientist.com/article/mg21428661-200-the-argumentative-ape-why-were-wired-to-persuade/ New Scientist], [https://en.wikipedia.org/wiki/Confirmation_bias wiki], [https://www.dan.sperber.fr/wp-content/uploads/2009/10/MercierSperberWhydohumansreason.pdf Mercier, Sperber]</small>
* Moved to 23 Oct: '''Viktoria''': Mirror neurons <small>[https://en.wikipedia.org/wiki/Mirror_neuron wiki], [https://doi.org/10.1146/annurev.neuro.27.070203.144230 review], [https://doi.org/10.1162/jocn.2009.21189 critique]</small>
* Moved to 23 Oct:  '''Kati''': Frame problem <small>[https://plato.stanford.edu/entries/frame-problem/ SEP], [https://folk.idi.ntnu.no/gamback/teaching/TDT4138/dennett84.pdf Dennett], [http://www-formal.stanford.edu/leora/fp.pdf Morgenstern]</small>


31. oktoober
== 23. October: classical philosophy and semiotics, evolution, ideas about the world ==


* Ühine arutelu Chollet materjalide põhjal (vaata lehe ülaltosast lugemis/kuulamisülesandeid)
* '''Elina''': Strawson: meaning and truth (moved from 25. Sept) <small>[https://www.scribd.com/doc/101020068/Strawson-Meaning-and-Truth text], [https://plato.stanford.edu/entries/strawson/ SEP], [https://www.youtube.com/watch?v=1XJ5k4GY83E video]</small>
* Kerttu [https://en.wikipedia.org/wiki/Sociobiology sociobiology]. See also [https://plato.stanford.edu/entries/sociobiology/ the sep article] and [https://en.wikipedia.org/wiki/E._O._Wilson wilson] and the [https://en.wikipedia.org/wiki/Sociobiology:_The_New_Synthesis the book page]  
* '''Valdur''': From Propp's morphology of the folktale to Lotman's semiosphere <small>[http://changingminds.org/disciplines/storytelling/plots/propp/propp.htm Propp], [https://doi.org/10.12697/SSS.2005.33.1.09 Lotman], [https://en.wikipedia.org/wiki/Semiosphere semiosphere]</small>
* Jaanus R Evolution of morals: Alusta [http://www.spiegel.de/international/spiegel/spiegel-interview-with-edward-wilson-on-the-formation-of-morals-a-884767.html siit] ja otsi ise edasi. Vaata ka [https://en.wikipedia.org/wiki/Evolution_of_morality wiki põhiartiklit] ja [https://en.wikipedia.org/wiki/Altruism_(biology) lähedalt seotud altruismi teemat].  
* '''Denis''': Kant's theory of judgement <small>[https://plato.stanford.edu/entries/kant-judgment/ SEP], [https://en.wikipedia.org/wiki/Analytic%E2%80%93synthetic_distinction analytic/synthetic]</small>
* Kaspar: Mike Frank: Early Language and Cognition. [https://braininspired.co/podcast/171/ Interview] and perhaps a longer [https://langcog.stanford.edu/papers_new/goodman-2016-tics.pdf paper 1] and [https://osf.io/preprints/psyarxiv/yhrb4 paper 2]
* '''Kalev''': Memetics <small>[https://en.wikipedia.org/wiki/Memetics wiki], [http://www.agner.org/cultsel/toc.php Fog], [https://lexfridman.com/richard-dawkins/ Dawkins]</small>
* Kerli [https://en.wikipedia.org/wiki/Evolutionary_psychology evolutionary psychology]. See also [https://plato.stanford.edu/entries/evolutionary-psychology/ sep article] and [https://www.cep.ucsb.edu/ here] and search for more.
* '''Yuliia''': Judea Pearl on causality <small>[https://www.preposterousuniverse.com/podcast/2022/05/09/196-judea-pearl-on-cause-and-effect/ podcast], [https://lexfridman.com/judea-pearl Fridman], [http://bayes.cs.ucla.edu/jp_home.html homepage]</small>
* '''Eeva-Merike''': Anthropic principle <small>[https://en.wikipedia.org/wiki/Anthropic_principle wiki], [https://plato.stanford.edu/entries/cosmology/#AnthReasMult SEP], [https://sseh.uchicago.edu/doc/Carter_Phil_Trans_1983.pdf Carter]</small>
* Drops out: '''Juhan''': Chalmers: the hard problem of consciousness, and could a large language model be conscious? ''(P)'' <small>[https://www.samharris.org/podcasts/making-sense-episodes/the-light-of-the-mind Harris], [https://consc.net/papers/facing.pdf hard problem], [https://arxiv.org/abs/2303.07103 LLM]</small>
* '''Dimitrios''': Panpsychism and Philip Goff ''(P)'' <small>[https://www.preposterousuniverse.com/podcast/2019/11/04/71-philip-goff-on-consciousness-everywhere/ podcast], [https://plato.stanford.edu/entries/panpsychism/ SEP]</small>


7. november
== 30. October: logic and philosophy of mathematics ==


* Tanel räägib lisaks mitteklassikalistest loogikatest
* '''Wessel''': Intuitionism <small>[https://plato.stanford.edu/entries/intuitionism/ SEP], [https://plato.stanford.edu/entries/logic-intuitionistic/ SEP logic], [https://www.ams.org/journals/bull/2017-54-03/S0273-0979-2016-01556-4/ Bauer]</small>
* Siim L: Kripke semantics of modal logic
* '''Eeva-Merike''': Intuitionistic logic: theorems and proofs that differ from classical logic ''(P)'' <small>[https://en.wikipedia.org/wiki/Intuitionistic_logic wiki], [https://en.wikipedia.org/wiki/Constructive_proof constructive proof], [https://www.mathsisfun.com/numbers/square-root-2-irrational.html sqrt 2]</small>
* Siim S: Judea Pearl on causality. A useful [https://www.preposterousuniverse.com/podcast/2022/05/09/196-judea-pearl-on-cause-and-effect/ podcast episode] and [https://lexfridman.com/judea-pearl another] and [https://www.samharris.org/podcasts/making-sense-episodes/164-cause-effect yet another] and [http://bayes.cs.ucla.edu/jp_home.html homepage].
* '''Alex''': Kripke semantics of modal logics ''(P)'' <small>[https://www.youtube.com/watch?v=FacUHU_gjPw video 1], [https://www.youtube.com/watch?v=k3Jjw8oJqBk video 2], [https://plato.stanford.edu/entries/logic-modal/ SEP]</small>
* '''Viktoria''': Russell's paradox and the foundations of mathematics ''(P)'' <small>[https://en.wikipedia.org/wiki/Russell%27s_paradox wiki], [https://plato.stanford.edu/entries/russell-paradox/ SEP], [https://plato.stanford.edu/entries/philosophy-mathematics/ SEP phil. of math]</small>
* '''Bauka''': Where does mathematics come from? Lakoff and Núñez's embodied mathematics vs Wigner's "unreasonable effectiveness" ''(P)'' <small>[[Media:Arvud_lopmatus_metafoorid.pdf|Tanel's notes (in Estonian)]], [https://en.wikipedia.org/wiki/Where_Mathematics_Comes_From Lakoff, Núñez], [https://www.maths.ed.ac.uk/~v1ranick/papers/wigner.pdf Wigner]</small>
* '''Roman K.''': Undecidability: the halting problem and limits of computation ''(P)'' <small>[[Media:infinity.pdf|notes]], [https://en.wikipedia.org/wiki/Halting_problem wiki]</small>
* '''Ergo''': Max Tegmark and the mathematical universe ''(P)'' <small>[https://www.preposterousuniverse.com/podcast/2019/12/02/75-max-tegmark-on-reality-simulation-and-the-multiverse/ podcast], [https://arxiv.org/abs/0704.0646 paper], [https://en.wikipedia.org/wiki/Mathematical_universe_hypothesis wiki]</small>


14. november
== 6. November: brain science and evolution ==


* Taneli ettekanne (teema täpsustub).
* '''Kristel''': Karl Friston and the free energy principle ''(P)'' <small>[https://www.preposterousuniverse.com/podcast/2020/03/09/87-karl-friston-on-brains-predictions-and-free-energy/ podcast], [https://lexfridman.com/karl-friston/ Fridman], [https://en.wikipedia.org/wiki/Free_energy_principle wiki]</small>
* Artem: Ramsey subjektiivne tõenäosusteooria. [http://fitelson.org/probability/ramsey.pdf Full text] of his paper. Important background: [https://plato.stanford.edu/entries/probability-interpret/ interpretations of probability], esp "The Subjective Interpretation" and [https://plato.stanford.edu/entries/ramsey/#PartBeliSubjProb specifically about Ramsey's views].
* '''Ulrik''': Global workspace theory of consciousness ''(P)'' <small>[https://en.wikipedia.org/wiki/Global_workspace_theory wiki], [https://doi.org/10.1016/j.neuron.2020.01.026 review]</small>
* Jaanus R: Kahneman & Tversky: briefly about Prospect theory and more on System 1 and System 2 thinking
* '''Parviz''': Sociobiology and evolutionary psychology ''(P)'' <small>[https://en.wikipedia.org/wiki/Sociobiology sociobiology], [https://en.wikipedia.org/wiki/Evolutionary_psychology ev. psychology], [http://web.archive.org/web/20191221070954/https://www.cep.ucsb.edu/primer.html primer]</small>
* Uku: Paul Grice: "meaning" and overview of other important parts of Grice claims and theory. This is also so widely discussed that it is easy to google. Start with  [https://plato.stanford.edu/entries/grice/ SEP]. Some nice intros to implicatures: [https://www.bu.edu/linguistics/UG/course/lx502/_docs/lx502-implicatures.pdf here] and [https://en.wikipedia.org/wiki/Implicature this wikipage]. [https://www.ucl.ac.uk/ls/studypacks/Grice-Logic.pdf Grice himself about this stuff]. [http://lingphil.mit.edu/papers/fox/class_1.pdf More detailed] stuff. Check also [https://en.wikipedia.org/wiki/Relevance_theory the relevance theory]. Certainly look through a very nice [https://www.youtube.com/watch?v=CGJGIWqnSFY video] about flouting/violating the maxims in relation to irony, sarcasm and jokes.
* '''Teele''': Dawkins: The selfish gene ''(P)'' <small>[https://en.wikipedia.org/wiki/The_Selfish_Gene wiki], [https://lexfridman.com/richard-dawkins/ Fridman]</small>
* Drops out: '''Annabel''': Dunbar: co-evolution of neocortex size, group size and language in humans ''(P)'' <small>[https://pdodds.w3.uvm.edu/files/papers/others/1993/dunbar1993a.pdf paper], [https://en.wikipedia.org/wiki/Dunbar%27s_number Dunbar's number]</small>
* '''Ruslan''': Symbolic interactionism ''(P)'' <small>[https://en.wikipedia.org/wiki/Symbolic_interactionism wiki], [https://plato.stanford.edu/entries/mead/ SEP Mead]</small>
* '''Mansoor''': Computational theory of mind ''(P)'' <small>[https://en.wikipedia.org/wiki/Computational_theory_of_mind wiki], [https://plato.stanford.edu/entries/computational-mind/ SEP]</small>
* '''Roman K.''': Metzinger: the self-model theory ''(P)'' <small>[http://www.scholarpedia.org/article/Self_models Scholarpedia], [https://en.wikipedia.org/wiki/Thomas_Metzinger wiki]</small>


== 13. November: thinking and AI: classic arguments ==


Varuks:
* '''Parviz''': Turing's "Computing machinery and intelligence" and the Turing test after LLMs ''(P)'' <small>[https://academic.oup.com/mind/article/LIX/236/433/986238 Turing], [https://plato.stanford.edu/entries/turing-test/ SEP], [https://arxiv.org/abs/2503.23674 LLMs]</small>
* '''Dimitrios''': Functionalism ''(P)'' <small>[https://en.wikipedia.org/wiki/Functionalism_(philosophy_of_mind) wiki], [https://plato.stanford.edu/entries/functionalism/ SEP]</small>
* Drops out: '''Juhan''': Searle's Chinese room ''(P)'' <small>[https://en.wikipedia.org/wiki/Chinese_room wiki], [https://plato.stanford.edu/entries/chinese-room/ SEP]</small>
* '''Valdur''': Do LLMs have beliefs? Dennett's intentional stance vs probing models for "truth directions" ''(P)'' <small>[https://en.wikipedia.org/wiki/Intentional_stance intentional stance], [https://arxiv.org/abs/2404.18865 truth directions], [https://arxiv.org/abs/2310.06824 geometry of truth]</small>
* '''Timofei''': Hubert Dreyfus: what computers can't do ''(P)'' <small>[https://en.wikipedia.org/wiki/Hubert_Dreyfus%27s_views_on_artificial_intelligence wiki], [http://leidlmair.at/doc/WhyHeideggerianAIFailed.pdf Dreyfus 2007]</small>
* '''Alex''': Systematicity: Fodor and Pylyshyn vs the limits of transformers ''(P)'' <small>[https://plato.stanford.edu/entries/connectionism/ SEP], [https://arxiv.org/abs/2305.18654 Faith and Fate], [https://arxiv.org/abs/2510.00184 multiplication]</small>
* '''Ulrik''': Neurosymbolic AI after LLMs: LLMs with solvers and verifiers ''(P)'' <small>[https://arxiv.org/abs/2402.01817 LLM-Modulo], [https://www.nature.com/articles/s41586-023-06747-5 AlphaGeometry], [https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/ AlphaProof]</small>
* '''Ergo''': Alison Gopnik: LLMs as cultural technologies ''(P)'' <small>[https://simons.berkeley.edu/news/stone-soup-ai Stone soup AI], [https://doi.org/10.1126/science.adt9819 Science]</small>


* Evolution of life: ideas from Chris Kempes. See [https://www.youtube.com/watch?v=iwClZ-7OweY MLST episode with Chris Kempes] (or [https://open.spotify.com/episode/535FPhSDaMbgGLUfJkx6t9?si=WIr-aYeCQHaUVDPpD8mbgw spotify]) and/or [https://www.youtube.com/watch?v=MdKzywZrGCs earlier talk on youtube] and/or [https://www.youtube.com/watch?v=ykAYODSh_kc a mindscape episode]
== 20. November: thinking and AI: current AI ==
* [https://en.wikipedia.org/wiki/Assembly_theory Assembly Theory]. See also [https://www.nature.com/articles/s41586-023-06600-9 a Nature paper]. Recommended: especially, a good [https://www.samharris.org/podcasts/making-sense-episodes/388-what-is-life discussion] with [https://www.santafe.edu/people/profile/sara-walker Sara Walker], and [https://lexfridman.com/lee-cronin-3/ another] with [https://www.santafe.edu/people/profile/leroy-lee-cronin Lee Cronin].
 
* '''Viktoria''': Chollet: "On the measure of intelligence" and the ARC benchmark ''(P)'' <small>[https://arxiv.org/abs/1911.01547 paper], [https://lexfridman.com/francois-chollet-2 Fridman], [https://arcprize.org/arc-agi ARC]</small>
* '''Kristel''': Do LLMs build world models? LeCun vs the opposing claims ''(P)'' <small>[https://openreview.net/forum?id=BZ5a1r-kVsf LeCun], [https://lexfridman.com/yann-lecun-2 Fridman], [https://arxiv.org/abs/2210.13382 Othello-GPT]</small>
* '''Anton''': Rodney Brooks on what transformers / LLMs can and cannot do ''(P)'' <small>[https://rodneybrooks.com/what-will-transformers-transform/ essay 1], [https://rodneybrooks.com/three-things-that-llms-have-made-us-rethink/ essay 2], [https://rodneybrooks.com/predictions-scorecard-2026-january-01/ scorecard]</small>
* '''Yuliia''': Could a neuroscientist understand a microprocessor? <small>[https://journals.plos.org/ploscompbiol/article?id=10.1371/journal.pcbi.1005268 paper]</small>
* '''Annika''': Consciousness in AI: indicator properties (Butlin et al.) ''(P)'' <small>[https://arxiv.org/abs/2308.08708 paper]</small>
* '''Kati''': Computational irreducibility and compatibilism ''(P)'' <small>[https://arxiv.org/abs/2101.12033 paper], [https://en.wikipedia.org/wiki/Computational_irreducibility irreducibility], [https://plato.stanford.edu/entries/compatibilism/ SEP compatibilism]</small>
* '''Parviz''': AI existential risk: the main points of Yudkowsky and Soares, "If anyone builds it, everyone dies" (2025) ''(P)'' <small>[https://ifanyonebuildsit.com/ book], [https://en.wikipedia.org/wiki/If_Anyone_Builds_It,_Everyone_Dies wiki], [https://www.lesswrong.com/posts/uMQ3cqWDPHhjtiesc/agi-ruin-a-list-of-lethalities AGI Ruin]</small>
* '''Dimitrios''': Alignment faking and scheming in current LLMs: evidence for AI risk? ''(P)'' <small>[https://arxiv.org/abs/2412.14093 paper], [https://www.anthropic.com/research/alignment-faking summary], [https://arxiv.org/abs/2412.04984 scheming]</small>
 
== 27. November: semantics of natural language ==
 
* '''Henry''': Vector semantics and the distributional hypothesis ''(P)'' <small>[https://web.stanford.edu/~jurafsky/slp3/5.pdf Jurafsky-Martin], [https://p.migdal.pl/blog/2017/01/king-man-woman-queen-why/ king - man + woman], [https://en.wikipedia.org/wiki/Distributional_semantics wiki]</small>
* '''Kati''': Do LLMs understand meaning? Bender and Koller's octopus argument ''(P)'' <small>[https://aclanthology.org/2020.acl-main.463/ paper], [https://en.wikipedia.org/wiki/Stochastic_parrot stochastic parrot]</small>
* '''Ruslan''': "ChatGPT is bullshit": Frankfurt's concept of bullshit and LLM hallucinations ''(P)'' <small>[https://link.springer.com/article/10.1007/s10676-024-09775-5 paper], [https://en.wikipedia.org/wiki/On_Bullshit Frankfurt], [https://arxiv.org/abs/2507.07484 machine bullshit]</small>
* Drops out: '''Juhan''': Semantics based on a world model ''(P)'' <small>[https://en.wikipedia.org/wiki/Formal_semantics_(natural_language) wiki], [https://plato.stanford.edu/entries/model-theory/ SEP], [https://web.stanford.edu/~jurafsky/slp3/H.pdf Jurafsky-Martin]</small>
* '''Wessel''': Montague semantics ''(P)'' <small>[https://plato.stanford.edu/entries/montague-semantics/ SEP], [https://en.wikipedia.org/wiki/Montague_grammar wiki]</small>
* '''Bauka''': Chomsky vs LLMs: the poverty of the stimulus debate today ''(P)'' <small>[https://lingbuzz.net/lingbuzz/007180 Piantadosi], [https://en.wikipedia.org/wiki/Poverty_of_the_stimulus wiki], [https://lexfridman.com/edward-gibson Gibson]</small>
* '''Valdur''': Semiotics and intelligent systems ''(P)'' <small>[https://en.wikipedia.org/wiki/Computational_semiotics wiki]</small>
* '''Markus''': Statistical machine translation and the paradigms of machine translation ''(P)'' <small>[https://en.wikipedia.org/wiki/Statistical_machine_translation SMT], [https://en.wikipedia.org/wiki/History_of_machine_translation history], [https://web.stanford.edu/~jurafsky/slp3/13.pdf Jurafsky-Martin]</small>
 
== 4. December: dialog, pragmatics, uncertain knowledge ==
 
* '''Viktoria''': Speech acts: Austin and Searle ''(P)'' <small>[https://en.wikipedia.org/wiki/Speech_act wiki], [https://plato.stanford.edu/entries/speech-acts/ SEP], [https://www.coursera.org/lecture/human-language/pragmatics-E8VXH lecture]</small>
* '''Ulrik''': Relevance theory ''(P)'' <small>[https://en.wikipedia.org/wiki/Relevance_theory wiki], [https://www.phon.ucl.ac.uk/publications/WPL/02papers/wilson_sperber.pdf Wilson, Sperber]</small>
* '''Valdur''': Peirce's semiotics and pragmatics ''(P)'' <small>[https://plato.stanford.edu/entries/peirce-semiotics/ SEP], [http://visual-memory.co.uk/daniel/Documents/S4B/ Semiotics for beginners]</small>
* '''Yuliia''': Ramsey's subjective probability theory <small>[http://fitelson.org/probability/ramsey.pdf Ramsey], [https://plato.stanford.edu/entries/ramsey/#PartBeliSubjProb SEP]</small>
* '''Kalev''': Dialogue systems before LLMs ''(P)'' <small>[https://web.stanford.edu/~jurafsky/slp3/K.pdf Jurafsky-Martin], [https://soundcloud.com/nlp-highlights/89-dialog-systems-with-zhou-yu podcast]</small>
* '''Roman S.''': Deceiving with words: presupposition, lying and misleading ''(P)'' <small>[https://philosophybites.com/2015/03/jonathan-webber-on-deceiving-with-words/ podcast], [https://www.youtube.com/watch?v=CGJGIWqnSFY video], [https://plato.stanford.edu/entries/lying-definition/ SEP]</small>
* '''Mansoor''': LLM persuasion and manipulation ''(P)'' <small>[https://arxiv.org/abs/2505.09662 paper 1], [https://arxiv.org/abs/2403.14380 paper 2]</small>
* '''Kati''': Implicature experiments: do LLMs understand implicatures? ''(P)'' <small>[http://lingphil.mit.edu/papers/fox/class_1.pdf Fox], [https://arxiv.org/abs/2210.14986 paper], [https://plato.stanford.edu/entries/implicature/ SEP]</small>
 
== 11. December: uncertain knowledge, causation, complexity ==
 
* '''Yuliia''': Interpretations of probability ''(P)'' <small>[https://plato.stanford.edu/entries/probability-interpret/ SEP], [[Numeric uncertainty|intro]]</small>
* '''Wessel''': Logic and probability ''(P)'' <small>[https://plato.stanford.edu/entries/logic-probability/ SEP], [https://logictools.org/confer/ confidence]</small>
* '''Alex''': Probabilistic causation ''(P)'' <small>[https://plato.stanford.edu/entries/causation-probabilistic/ SEP]</small>
* '''Kristel''': David Krakauer about complex systems ''(P)'' <small>[https://www.preposterousuniverse.com/podcast/2023/07/10/242-david-krakauer-on-complexity-agency-and-information/ podcast], [https://davidckrakauer.com/ homepage]</small>
* '''Denis''': Assembly theory <small>[https://en.wikipedia.org/wiki/Assembly_theory wiki], [https://www.nature.com/articles/s41586-023-06600-9 Nature], [https://www.samharris.org/podcasts/making-sense-episodes/388-what-is-life podcast]</small>
* '''Roman K.''': Wolfram's theory of the world using hypergraphs ''(P)'' <small>[https://www.preposterousuniverse.com/podcast/2021/07/12/155-stephen-wolfram-on-computation-hypergraphs-and-fundamental-physics/ podcast], [https://writings.stephenwolfram.com/2020/04/finally-we-may-have-a-path-to-the-fundamental-theory-of-physics-and-its-beautiful/ Wolfram]</small>
* '''open theme''': Dummett: Truth <small>[https://www.andrew.cmu.edu/user/kk3n/epistclass/dummett.pdf text], [https://askaphilosopher.org/2017/03/04/michael-dummetts-truth/ comment]</small>
* '''open theme''': David Deutsch: explanation vs probability in scientific theories <small>[https://www.preposterousuniverse.com/podcast/2023/10/16/253-david-deutsch-on-science-complexity-and-explanation/ podcast], [https://www.daviddeutsch.org.uk/papersarticles/ homepage]</small>
* ''free slots for moved talks''
 
== 18. December: AI and the world, wrap-up ==
 
* '''Roman K.''': The Platonic representation hypothesis: do all large models converge to the same picture of the world? ''(P)'' <small>[https://arxiv.org/abs/2405.07987 paper], [https://blog.jxmo.io/p/there-is-only-one-model blog], [https://en.wikipedia.org/wiki/Problem_of_universals universals]</small>
* '''Dimitrios''': The technological singularity: Vinge (1993) and current views ''(P)'' <small>[https://mindstalk.net/vinge/vinge-sing.html Vinge], [https://ai-2027.com/ AI 2027], [https://knightcolumbia.org/content/ai-as-normal-technology normal technology]</small>
* '''Anton''': Blaise Agüera y Arcas: what is intelligence? ''(P)'' <small>[https://whatisintelligence.antikythera.org/ book], [https://www.preposterousuniverse.com/podcast/2024/08/19/286-blaise-aguera-y-arcas-on-the-emergence-of-replication-and-computation/ podcast]</small>
* '''Markus''': Peter Watts' "Blindsight": intelligence without consciousness ''(P)'' <small>[https://www.rifters.com/real/Blindsight.htm novel], [https://en.wikipedia.org/wiki/Blindsight_(Watts_novel) wiki]</small>
* '''Tanel''': wrap-up and exam overview
 
 
<!--
 
time for 4 30-min presentation slots
 
18 Sept
-------
 
Erik: Putnam
Bauka: Dennet
Juhan: Wittgenstein
Teele: Frege
Pavel: Pragmatism
 
25 Sept
-------
4+2 pres:
 
Ulrich: Tarski
Wessel: Quine
Elina: Strawson
Dmitri: Paul Grice
Huzeifa: Homeostasis and brain science
Annika: Anil Seth consciousness
 
2. Oct
------
4+1 pres:
 
Alex: Philosophy of math
Roman: altruism and evolution of morals
Kristel: Randy Gallistel memory
Erik: Bacteria communicate
Hanna: Neurons are more complex...
 
9. Oct
------
4+1 pres:
 
Parviz: Early language
Andreas: Hoffman user interface theory
Timofei: Andi Clark
Henri: Chomsky's theories of language.
Pavel: Solipsism
 
 
16. Oct
---------
 
Annabel: Nelson Goodman
Bauka: Kahneman system 1 and 2
Hanna: Are we living in a simulation (Bostrom)
Elina: Neuroimaging
Dmitri: Confirmation bias
Victoria: Mirror neurons
-->


= Some themes for selection =
= Some themes for selection =

Viimane redaktsioon: 27. oktoober 2026, kell 22:20

märgid
märgid

Code: ITV9070
Link: http://lambda.ee/wiki/Semantika_ja_anal%C3%BC%C3%BCtiline_filosoofia
Title: Semantics and Analytical Philosophy
Archive: year 2025 archive
Lecturer: Tanel Tammet
Contact: tanel.tammet@ttu.ee, 6203457, ICT 426

"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


NB! Lambda server hardware has been fixed

Last week: sometimes the page did not open, sometimes it did.

Now the server is fixed.


Language: English and Estonian

The current plan is teach the course in English in 2026, unless everybody understands Estonian.

It is OK for students to give presentations, ask questions etc in Estonian as well.

The materials / information is currently a mix of English and Estonian: we will move towards mostly English information in case we will keep English as the main language of the course.

Teams and Recordings

Some recordings will be available, but we do not plan to record most lectures/seminars.

The teams group for the course is Semantika ja analüütiline filosoofia 2026. In rare cases when the seminar is on teams (first case: 18. September), not in the lecture room, we will use this. Please register, the team code is: cpjionc .

Use the link to the teams meeting on 18. Sept.

Time, place, credits

Time: Every Friday 09:30 - 11:45

Normally we will have student presentations during the lecture time, along with planning following presentations and brief intros by the lecturer. Location:

  • Normally: ICT-507 A/B
  • Sometimes: teams (these will be announced a week earlier)

Credits: 6

The lectures will be in English, unless everybody understands Estonian, in which case they will be in Estonian.

The presentations in practice sessions can be given in English or Estonian, as you prefer.

The contents of practice sessions are presentations by students and their discussion. For all students, presence in the practice sessions is important and is accounted for in the final grade.

We will probably succeed with saving the videos of lectures: will check out during the first weeks.

The course will finish with a written exam. The materials below marked with a red E will be critical for studying for the exam, while the materials marked with blue L are also used but less important. Materials without such marks will not be used for the exam questions.

In order to be allowed to take the exam, the initial plan is as follows (we may need to tune it):

  • each Ph.D student should give at least four presentations.
  • each master student should give at least two presentations. In case it turns out we will have enough time, an additional third short presentation might be asked for.

Presentations are not graded, but when they are determined not to be satfisfactory, they should be re-done.

The lecture times will be used for both

  • Short intros to thematic blocks by Tanel
  • Student presentations

NB! Presence at student presentations will be registered: failing to participate at many presentations will have a negative effect on the final grade.


Initial course plan, materials and topics

We consider several topics in the wider fields of semantics and analytic philosophy, like philosophy of language, mind and A.I., starting from general and classical ones and moving to more specific and modern.

The main goal of the lectures is to make it easier to understand the concepts and ideas in the topics, in order to better understand the reading materials.

Intro, semiotics and classical analytic philosophy

Core materials:

Useful to read/listen:

About the alphabet:


Notes on structuralism, deconstruction and friends:

Notes on Propp:

Notes on the Vienna circle and logical positivism:

Evolution of brain, intelligence and society

A highly recommended book: A Brief History of Intelligence: Evolution, AI, and the Five Breakthroughs That Made Our Brains

Sociobiology, evolutionary psychology and memetics.

Main material:

Recommended overviews:

Recommended books:

Important papers:

Additional notes and recommendations, not obligatory:

Brain science

Intro material

For exam:

Good general overviews:

Important podcasts:


General notes:

Read also:

Infinity, logic and philosophy of mathematics

The first topic is intro to the philosophy of mathematics, mainly the questions of infinity and unsolvability.

Materials to read:

Videos have heads down:

More about infinity and computability:

Helpful read: cardinality wikipedias. Read more about Gödel's incompleteness theorem from SEP: a part of a larger incompleteness-article.

A longer story about the philosophy of mathematics from SEP.

Nonclassical logics, related to the philosophy of mathematics:


More on nonclassical logics:

Thinking and AI

Notes for the overview talk

Classic ideas about the main questions of AI philosophy (close to the questions about functionalism):

First, a somewhat old interview with a classic:

Read the wiki pages of main issues:

Technical stuff from Graziano about neuroscience related to consciousness:

Detailed arguments and counterarguments for the

Some good core stuff


Living classics from the lex fridman podcast:


Semantics of natural language

We will look into both

  • Vector semantics
  • Semantics based on world model

Details will be added when the block starts

Dialog, pragmatics, uncertain knowledge

The first subject is dialogue pragmatics. Several related branches (have a brief look, but no need to read deeply unless you become interested):

To start, certainly look/listen these short lectures:

In case you just want to read original Grice:

Have a look at

Additionally, nice to listen and :


The next theme is uncertain information and probabilities: how to understand, write down and make conjectures.


Read this intro: Numeric uncertainty (L as explained next):

  • Certainly up the the section "Different ways to encode confidences in logic", also looking at the wikipages pointed to
  • Briefly look into the following sections, but do not focus or spend much time on these. The Numeric uncertainty intro was originally made for this course.

Then read the first parts and have brief looks at the SEP articles:

Here are some of our papers on our system, about confidence and reasoning with exceptions.


Recommended podcasts

  • The Gradient: a good AI podcast, relatively deep, several philosophical themes / episodes. Discontinued, but archives present.
  • Brain Inspired: real neuroscience with focus on AI related themes.
  • Philosophy bites: real philosophers conveying ideas rather clearly in ca 15 minutes
  • Robinsons podcast: Really good stuff with famous philosophers and related thinkers. One example: Donald Hoffman.
  • Making sense by Sam Harris sometimes does deep interviews with philosophers, like the following highly recommended Andy Clark episode (predictive brain, embodied cognition, and the extended mind) full version. If that does not work for some reason, check out the shorter version here.
  • Highly popular Lex Fridman podcast has sometimes deep interviews with AI and comp sci peaople. Specifically about AI I'd recommend some widely different views from Francois Chollet, Yann LeCun, Gary Marcus, Demis Hassabis, Ilya Sutskever, Ben Goertzel.
  • The Mindscape podcast of an important physicist has often quite philosophically interesting or cognitive science and AI interviews. Some recommendations: Blaise Agüera y Arcas, David Krakauer, Christoph Adami, Peter Godfrey-Smith, Yejin Choi, Hugo Mercier, Andrew Pontzen.

Presentation schedule

Time for each seminar: 09:30 - 11:45.

  • Until 9. October: normal-length talks, ca 25 min each.
  • From 16. October: short talks, 15 min each: 10 min talk and 5 min questions.
  • The seminars are overbooked, since some presenters cannot attend. If we run out of time, the remaining talks go first at the next seminar.
  • If you cannot attend, write to Tanel: your talk moves to a later seminar.
  • (P) marks a proposed theme. You may propose a different theme for the same date: write to Tanel.
  • The links after each talk are starting points. Search for more material yourself.

18. September (done)

25. September (done)

  • Wessel: Quine: two dogmas of empiricism text, wiki
  • Annika: Anil Seth on consciousness podcast
  • Ulrik: Tarski: the semantic conception of truth paper, SEP
  • Huzaifa: Homeostasis and brain science (Damasio) podcast
  • Dmitri: Paul Grice: meaning and implicature SEP, Grice

2. October (done)

  • Alex: Philosophy of mathematics: infinity and logic notes
  • Kristel: Randy Gallistel on memory podcast
  • Erik: How bacteria communicate TED

9. October

16. October

23. October: classical philosophy and semiotics, evolution, ideas about the world

30. October: logic and philosophy of mathematics

6. November: brain science and evolution

13. November: thinking and AI: classic arguments

20. November: thinking and AI: current AI

  • Viktoria: Chollet: "On the measure of intelligence" and the ARC benchmark (P) paper, Fridman, ARC
  • Kristel: Do LLMs build world models? LeCun vs the opposing claims (P) LeCun, Fridman, Othello-GPT
  • Anton: Rodney Brooks on what transformers / LLMs can and cannot do (P) essay 1, essay 2, scorecard
  • Yuliia: Could a neuroscientist understand a microprocessor? paper
  • Annika: Consciousness in AI: indicator properties (Butlin et al.) (P) paper
  • Kati: Computational irreducibility and compatibilism (P) paper, irreducibility, SEP compatibilism
  • Parviz: AI existential risk: the main points of Yudkowsky and Soares, "If anyone builds it, everyone dies" (2025) (P) book, wiki, AGI Ruin
  • Dimitrios: Alignment faking and scheming in current LLMs: evidence for AI risk? (P) paper, summary, scheming

27. November: semantics of natural language

4. December: dialog, pragmatics, uncertain knowledge

11. December: uncertain knowledge, causation, complexity

  • Yuliia: Interpretations of probability (P) SEP, intro
  • Wessel: Logic and probability (P) SEP, confidence
  • Alex: Probabilistic causation (P) SEP
  • Kristel: David Krakauer about complex systems (P) podcast, homepage
  • Denis: Assembly theory wiki, Nature, podcast
  • Roman K.: Wolfram's theory of the world using hypergraphs (P) podcast, Wolfram
  • open theme: Dummett: Truth text, comment
  • open theme: David Deutsch: explanation vs probability in scientific theories podcast, homepage
  • free slots for moved talks

18. December: AI and the world, wrap-up

  • Roman K.: The Platonic representation hypothesis: do all large models converge to the same picture of the world? (P) paper, blog, universals
  • Dimitrios: The technological singularity: Vinge (1993) and current views (P) Vinge, AI 2027, normal technology
  • Anton: Blaise Agüera y Arcas: what is intelligence? (P) book, podcast
  • Markus: Peter Watts' "Blindsight": intelligence without consciousness (P) novel, wiki
  • Tanel: wrap-up and exam overview


Some themes for selection

Classical analytic philosophy

Brain science and evolution

Philosophy of math

  • Intuitsionistlik loogika: näited teoreemidest, mis kehtivad klassikaliselt, kuid mitte intuitsionistlikult. Näiteid tõestustest, millel lihtne klassikaline, kuid keeruline intuitsionistlik tõestus (standardnäide: ruutjuur kahest on irratsionaalne, vt näiteks siit ja googelda juurde). Vaata intuitsionisliku loogika kohta wikist ja SEPist. NB! Intuitsionistlik loogika on oluline teema matemaatika filosoofias: Tanel teeb sellele hilisemates loengutes eraldi sissejuhatuse.
  • Infinity: Ordinaalid ja kardinaalid. Maybe start with a good exposition at in this discussion. Continue with cardinals and ordinals in wiki, check out Russell's paradox, read about transfinite ordinals
  • Kripke semantics of modal logics. Also, check out the relevant materials from the section "Infinity, logic and philosophy of mathematics" above.

Specifically A.I.: in a narrow sense

  • Frame problem. Good stuff to read, maybe in that order SEP, Dennett, Blocks world example, Morgenstern. Beware that none of the various "solutions" are not really satisfactory: they should be considered as possible approaches, not solutions.
  • About the paper "Computational irreducibility and compatibilism: towards a formalization". Free will issues connected to computation.
  • Statistical machine translation, incl major waves/paradigms of machine translation.

Complexity, probabilities, motivation, causation and friends

Various ideas about the world