Semantika ja analüütiline filosoofia: erinevus redaktsioonide vahel

Allikas: Lambda
Mine navigeerimisribale Mine otsikasti
 
(ei näidata sama kasutaja 53 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>
26. rida: 26. rida:




== <font color="red">NB!</font> Lambda server hardware has been fixed ==


= <font color="red">NB!</font> =
Last week: sometimes the page did not open, sometimes it did.


24 oktoober loengut/seminari ei toimu: selle asemel igaühele lugemis-kuulamis-ülesandena tutvuda Chollet filosoofia ja ARC-AGI ülesandega.
Now the server is fixed.


Kindlasti loe ja kuula:


* [https://en.wikipedia.org/wiki/Fran%C3%A7ois_Chollet Francois Chollet]
<!--
* [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.
= <font color="red">NB!</font> The seminar on 18. September is on Teams =
* [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.
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.


<!--
Use the [https://teams.microsoft.com/meet/335965570900661?p=3GhUvqU8vCQGO8pYfo link to the teams meeting].
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.
-->
 
= Language: English and Estonian  =
 
The current plan is teach the course in English in 2026, unless everybody understands Estonian.


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  
83. 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.
95. 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 =
107. 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>
153. 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.
466. 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.
 
* 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) ==
 
* '''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>
* '''Bauka''': Dennett: quining qualia <small>[https://web-archive.southampton.ac.uk/cogprints.org/254/ text]</small>
* '''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>
* '''Teele''': Frege: sense and reference <small>[https://en.wikipedia.org/wiki/Sense_and_reference wiki], [https://plato.stanford.edu/entries/frege/ SEP]</small>
* '''Pavel''': Pragmatism <small>[https://plato.stanford.edu/entries/pragmatism/ SEP]</small>
 
== 25. September (done) ==
 
* '''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>
* '''Annika''': Anil Seth on consciousness <small>[https://www.preposterousuniverse.com/podcast/2021/10/11/168-anil-seth-on-emergence-information-and-consciousness/ podcast]</small>
* '''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>
* '''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>
* '''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>
 
== 2. October (done) ==
 
* '''Alex''': Philosophy of mathematics: infinity and logic <small>[[Media:infinity.pdf|notes]]</small>
* '''Kristel''': Randy Gallistel on memory <small>[https://braininspired.co/podcast/126/ podcast]</small>
* '''Erik''': How bacteria communicate <small>[https://www.ted.com/talks/bonnie_bassler_how_bacteria_talk TED]</small>
 
== 9. October ==
 
* '''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>
* '''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>
* '''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>
* '''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>
* '''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>
* '''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>
* '''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>
 
== 16. October ==
 
* '''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>
* 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>
* '''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>
* 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>
 
== 23. October: classical philosophy and semiotics, evolution, ideas about the world ==
 
* '''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>
* '''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>
* '''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>
* '''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>
* '''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>
 
== 30. October: logic and philosophy of mathematics ==
 
* '''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>
* '''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>
* '''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>
 
== 6. November: brain science and evolution ==
 
* '''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>
* '''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>
* '''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>
* '''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 ==
 
* '''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>
 
== 20. November: thinking and AI: current AI ==
 
* '''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>


* Jaanus R: Kant's theory of judgement.
== 11. December: uncertain knowledge, causation, complexity ==
* Andreas: Wittgenstein's Tractatus Logico-Philosophicus vs Philosophical Investigations.
* Siim L: Putnam: tähendus ja osutus.
* Indrek: Quine: empirismi kaks dogmat.
* varu: Jane-Ly: Frege: Frege tähendusest ja osutusest


19. september: kõik teemad allpool valikteemadest, lisaviited leiad sealt
* '''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''


* Aleksander: Tarski: semantiline tõekontseptsioon (ei osale, teema jagame teistele)
== 18. December: AI and the world, wrap-up ==
* Uku: Strawson: tähendus ja tõde (meaning and truth).
* Kaspar: Dennett: kvaalide kvainimine (quining qualia).
* Artem: Neurons are more complex than we thought,  
* Varu: Kerli: Mirror Neurons (toimus)


26. september: kõik teemad allpool valikteemadest, lisaviited leiad sealt
* '''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


* Jaanus R: Pragmatism
* Liis: Confirmation bias
* Robin: Karl Friston and the free energy principle
* Kerttu: Anil Seth on consciousness
* Siim S: Antonio Damasio and the origin of important stuff in homeostasis.


3. oktoober:
<!--


* Kerli: Randy Gallistel on memory
time for 4 30-min presentation slots
* Uku: Main points from Clark in the Andy Clark episode
* Andreas: Donald D. Hoffman and the user interface (MUI) theory of mind.
* 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):
18 Sept
-------


* Tanel: Formal semantics of classical propositional logic and predicate logic: models. Specifically:
Erik: Putnam
** [https://stanford-cs221.github.io/autumn2020-extra/modules/logic/propositional-logic-semantics.pdf semantics of prop logic]
Bauka: Dennet
** [https://homepage.cs.uiowa.edu/~tinelli/classes/4350/Spring22/Notes/04-derivation-systems.pdf prop logic semantics and derivations]
Juhan: Wittgenstein
** [https://en.wikipedia.org/wiki/Sequent_calculus sequent calculus]: an important derivation system
Teele: Frege
** [https://cs.uwaterloo.ca/~plragde/cs245old/07-predsem.pdf semantics of predicate calculus]
Pavel: Pragmatism
** [https://logictools.org logictools] for experimenting.
** [http://lambda.ee/w/images/6/6b/Loogikaopik.pdf loogikaõpik] for details.
* Siim L: Kripke semantics of modal logic
* Kerli: Intuitionistic logic
* Siim S: Infinity: ordinals and cardinals


17. oktoober
25 Sept
-------
4+2 pres:


* Robin: Functionalism and AI
Ulrich: Tarski
* Siim S: Frame problem (see below for details): a classic issue
Wessel: Quine
* Liis: https://en.wikipedia.org/wiki/Chinese_room and different thought lines around that, including intentionality, consciousness, parallels with LLMs etc
Elina: Strawson
* Uku: Arguments for the dangers of AI (doomers) and arguments for the techno-optimism, incl e/acc.
Dmitri: Paul Grice
Huzeifa: Homeostasis and brain science
Annika: Anil Seth consciousness


31. oktoober
2. Oct
------
4+1 pres:


* Ühine arutelu Chollet materjalide põhjal (vaata lehe ülaltosast lugemis/kuulamisülesandeid)
Alex: Philosophy of math
* 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]
Roman: altruism and evolution of morals
* 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.
Kristel: Randy Gallistel memory
* Jaanus 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].
Erik: Bacteria communicate
* 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]
Hanna: Neurons are more complex...


9. Oct
------
4+1 pres:


7. november
Parviz: Early language
Andreas: Hoffman user interface theory
Timofei: Andi Clark
Henri: Chomsky's theories of language.  
Pavel: Solipsism


* Tanel räägib lisaks mitteklassikalistest loogikatest
 
* Siim L: Kripke semantics of modal logic
16. Oct
* Main points of Chomsky's theories of language.
---------
...
 
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