ITV0070 2020

Code: ITV9070 Link: http://www.lambda.ee/index/Semantika_ja_analüütiline_filosoofia ehk http://www.lambda.ee/index/itv0071 Archive: 2018 arhiivi 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

Eksamid

Eksamid toimuvad sel aastal ainult kaugtööna: eksami algusajaks paneb õppejõud küsimused/ülesanded siia wikilehele ning kolme tunni jooksul tuleb saata emailiga vastused. Eksamile registeeruda ei ole vaja. Ajad on:

• 19 mai : kell 10: Semantika eksamitulemused 19 mai 2020
• 26 mai : kell 10 Semantika eksamitulemused 26 mai 2020
• 2 juuni : kell 10 Semantika eksamitulemused 2 juuni 2020

Eksamil on kaks osa:

• Kirjalik: veebis antakse ülesanded ja nende vastused ja lahendused tuleb saata kirjalikult emailiga 3 tunni jooksul.
• Suuline: iga tudengiga tehakse kohe peale kirjalikku osa kiire skype-vestlus lühikese suulise eksamina.

Materjalid, millest tuleb eksamil küsimusi, on siin lehel allpool märgitud punase tagiga:

• E tähendab, et see on üks põhimaterjalidest, lugeda suurema süvenemisega
• L tähendab, et siit võib samuti küsimusi tulla, aga väiksema tõenäosuse/keerukusega, võib lugeda väiksema süvenemisega

Time, place, credits

Credits: 6

Lectures: Thursdays at 12:00-13:30 in the room ICT-A1 (no lectures during the quarantine era, just materials of different kinds).

Practice sessions: every second Friday starting from 7. Feb at 08:15-09:45 in the room ICT-315 (during the quarantine era, at Skype)

The contents of practice sessions are presentatins by students and their discussion. Presence in the practice sessions is accounted for in the final grade.

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, each student should give at least four presentations. Presentations are not graded, but when they are determined not to be satfisfactory, they should be re-done.

Some of the later lecture times will be used as additional practice sessions.

Initial course plan, materials and topics

We consider several topics, starting from general ones and moving to more specific.

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

Main and recommended materials

Obligatory:

• D. Chandler. Semiotics for beginners. first half is obligatory. E. Observe that semiotics is more part of the so called continental philosophy, not so much the

analytic philosophy.

• Tähendus, tõde, meetod. Source for the first round of presentations.

Useful readings:

• philosophy bites podcasts. Start with this episode.
• Sam Harris with David Chalmers
• brain science podcasts. Especially recommended:

*, *, *, *, *, *, *, *, *, *, *, *, *, *.

• seminar of analytic philosophy
• Endel Tulving. Memory.
• Intro to semiotics

Intro, semiotics, philosophy

Main materials:

• Semiotics for beginners. first half is obligatory. E
• Quine: Two Dogmas of Empiricism. E
• mis on analüütiline filosoofia.
• analytic/synthetic. E
• logical positivism.
• Problem of universals nominalism/realism. L
• functionalism. E
• fenomenoloogia.
• Propp.

Useful to read/listen:

• L Philosophy of Metzinger: listen as a lecture Metzingeri podcasti, background reading Self models ja lisaks tasub vaadata ka Metzinger video
• Tractatus ja Tractatus: struktureeritud täistekst. L. Wittgenstein. Read a bit, along with a commentary
• Philosophical Investigations koos kommentaaridega: read first 100.A A small summary of early vs late Wittgenstein

About the alphabet:

• http://en.wikipedia.org/wiki/Egyptian_hieroglyphs
• http://en.wikipedia.org/wiki/Written_Chinese
• võrlduspilt ja wiki ja unicode
• http://en.wikipedia.org/wiki/Phoenician_alphabet
• http://en.wikipedia.org/wiki/Egyptian_uniliteral_signs
• http://en.wikipedia.org/wiki/Cumae_alphabet

Märkmeid strukturalismist, dekonstruktsioonist ja muust:

• strukturalism L, dekonstruktivism, dekonstrueerimise kiirõpetus, Derrida lõik, hermeneutika
• insheeption
• sympathetic magic: wiki, Frazer

Märkmeid Proppi teooriast:

• muinasjutugeneraator
• narrateemid
• pftml
• valik muinasjutte pftml-s välja toodud struktuuriga

Märkmeid Viini ringist ja loogilisest positivismist:

• Põhiseisukohad: "First, experience is the only source of knowledge; second, logical analysis performed with the help of symbolic logic is the preferred method for solving philosophical problems."
• taust: analüütiline/sünteetiline, apriori/aposteriori
• Klassikaline positivism kui taust: pikemalt siit
• väike ülevaateloeng Viini ringist
• Vienna circle: good short overview ja põhjalik artikkel Stanfordi filosoofiaentsüklopeediast ning Viini ringi manifest
• Logical positivism: good overview
• wiki logical positivism

Evolution of brain, intelligence and society

Sociobiology, evolutionary psychology and memetics.

Main material:

• Evolution: loengumaterjal sissejuhatuseks. L
• Sociobiology in wikipedia. E.
• Evolutionary psychology in wikipedia. E. You may also want to read more details in primer ja conceptual grounds
• Memetics in wikipedia. E
• Universal grammar L theory of Chomsky

Recommended overviews:

• wiki on the theories of origin of language
• overview of Chomsky theories of language evolution
• wiki on horizontal gene transfer

Recommended books:

• The Selfish Gene
• Guns, Germs and Steel
• Sapiens: A Brief History of Humankind
• Homo Deus: A Brief History of Tomorrow

Important papers:

• BRAIN EVOLUTION AND NEUROLINGUISTIC PRECONDITIONS L
• CO-EVOLUTION OF NEOCORTEX SIZE, GROUP SIZE AND LANGUAGE IN HUMANS L
• Precis of Origins of the Modern Mind: Three Stages in the Evolution of Culture and Cognition L
• DNA seen through the eyes of a coder
• Epigenetics vt ka seda artiklit

Märkmeid: artiklid, kogumikud ja muud. Ei ole kohustuslik lugemine.

• natural language and natural selection
• Language as an Adaptation to the Cognitive Niche
• Faculty of Language: What Is It, Who Has It, and How Did It Evolve?
• Agner Fog: cultural selection
• Buss lab publications
• Changizi publications: vt allpool peatükk ARTICLES AND BOOKS ntx Economically organized hierarchies in WordNet and the Oxford English Dictionary, citybrain, colorface, xray vision
• the brain from 25000 feet
• John Eccles: Evolution of consciousness

Brain science

For exam:

• https://en.wikipedia.org/wiki/Cognitive_neuroscience L
• https://en.wikibooks.org/wiki/Cognitive_Psychology_and_Cognitive_Neuroscience/Memory L
• https://en.wikipedia.org/wiki/Computational_theory_of_mind E

Good general overviews:

• background reading for further reading or listening about brain
• https://grey.colorado.edu/CompCogNeuro/index.php/CCNBook/Main
• https://en.wikibooks.org/wiki/Cognitive_Psychology_and_Cognitive_Neuroscience

Read also:

• nootropics
• phantom limbs

Important:

• look at the recommended podcasts, youtube lectures and background for these
• see also http://brainsciencepodcast.com/episodes-page

General notes

• https://en.wikipedia.org/wiki/Cognitive_neuroscience
• https://en.wikipedia.org/wiki/Computational_theory_of_mind
• https://en.wikipedia.org/wiki/Global_Workspace_Theory
• https://en.wikipedia.org/wiki/Grandmother_cell

Infinity, logic and philosophy of mathematics

Esimeseks teemaks on sissejuhatus matemaatika filosoofiasse, eeskätt lõpmatuse ja lahendamatuse küsimused.

Alustuseks loe läbi eksamil kohustuslik sissejuhatav presentatsioon

• infinity, limits of computation and undecidability E
• ja paralleelselt samu teemasid toetav jutt, mille õppejõud kirjutas Gödeli teoreeme käsitleva raamatu järelsõnana.

Kui lõpmatus/Cantori teoreem jäävad segaseks, siis on abiks lugeda cardinality wikipedias. Gödeli mittetäielikkuse kohta tasub veidi täiendavalt tutvuda Gödeli mittetäielikkuse teoreemide filosoofiliste järeldustega Stanfordi filosoofia-entsüklopeediast: see on osa pikemast mittetäielikkuse-artiklist, mille esimeses pooles räägitakse pikemalt kummastki Gödeli mittetäielikkuse teoreemist: veendu, et saad enamvähem aru, mida kumbki teoreem ütleb.

Seejärel loe läbi pikem jutt: matemaatika filosoofia Stanfordi filosoofia-entsüklopeediast.

Järgmisena on teemaks mitteklassikaliste loogikatega matemaatika filosoofia taustal:

• mitteklassikalised loogikad. Siin on pealeloetud jutuga variant: E downloadi ja vaata normaalses täisekraan-vaatamisreziimis, siis kuuled slaidide juures minu juttu. Täiendavalt võib lugeda SEP intuitsionislikku loogika peatükki, aga see on väga tehniline.
• modaalsed loogikad L ja sellega paralleelselt vaata kahte pooletunnist videot: modaalsete loogikate aksioomid ja kripke semantika ehk võimalikud maailmad. Filosoofia-spetsiifilisemaid aspekte sellest vaatleb suur sari (playlist) samalt autorilt, aga seda ei jõu tervikuna keegi vaadata. Päris soovitav on vaadata täiendavalt presentatsiooni, kus filosoofilisemaid aspekte on kenasti välja toodud. SEP-s on asjakohased modaalloogika-peatükk ja SEP filosoofia sinna juurde, aga kumbki on väga tehniline.

More on nonclassical logics:

• modaalsete loogikate ülevaade wikipedias
• Modaalse loogika filosoofilised põhiideed
• Intuitsionistliku loogika filosoofilised põhiideed L

Thinking and AI

Esiteks, tehisintellekti filosoofia põhiküsimused (väga lähedased funktsionalismi küsimustele).

Alustuseks palun kuula või vaata läbi

• Steven Pinkeri episood väga heast ja populaarsest ai podcastist.

Seejärel loe läbi wikiülevaated põhiküsimustest:

• http://en.wikipedia.org/wiki/Philosophy_of_artificial_intelligence L
• Functionalism E

Ja tehnilisemalt lisaks Graziano neuroteaduse-hüpoteesiga teadvuse osas:

• Graziano on consciousness and neuroscience

Eelpool igal pool viidatud/arutletud hiina toa kohta saab lugeda detailsemat argumentatsiooni ja vastuväiteid päris heast wikiartiklist:

• chinese room L

Järgmisena olulist lugemist ja kuulamist:

• Alustuseks Rodney Brooksi väike tehisintellekti-sari osa 1 L, osa 2 L, osa 3 L, osa 4 Lja veidi tasub lugeda ennustustest scorecard 2020

• Kuula Stuart Russell AI ohtudest ja vastupidi lugemiseks kindlasti miks mitte karta tehisintellekti

• Neurorehkenduste ja sümbolrehkenduste vaidluse teemal vaata Yoshua Bengio ja Gary Marcuse diskussiooni ja detailsemalt hübriididest Gary Marcuse episoodi AI podcastist ja vastupidi, õppimisest David Silveri episoodi Alphago, Alphazero jms teemadel.

• Praktilise AI ehitamise teemal kuula David Ferrucci ibm watsoni episoodi ja veel praktilisemalt protsessoritest Jim Kelleri episoodi "Moore’s Law, Microprocessors, Abstractions, and First Principles"

Täiendavalt kuula paari-kolme (ideaalis kõiki) järmistest suuremate klassikute episoodidest omal valikul:

• https://lexfridman.com/tomaso-poggio/
• https://lexfridman.com/richard-dawkins/
• https://lexfridman.com/noam-chomsky/
• https://lexfridman.com/nick-bostrom/
• https://lexfridman.com/jeff-hawkins/
• https://lexfridman.com/judea-pearl

Semantics in the semantic web

Selle nädala fookus on suhteliselt spetsiifilisel ja praktilist laadi küsimusel, mida URI tähendab ja kuidas nendega toimetada, mis on veidi sarnane klassikalise semiootika-kolmnurgaga, aga praktilises/tehnilises kontekstis.

• Sissejuhatuseks loe URI wikipedias ja sellega paralleelselt
  • URI alamvariant URN L ja
  • namespace ja konkreetselt XML namespace: URI-de namespacede süsteem on ehitatud koos viimasega

• Seejärel loe David Boothi juttu uride tähenduse probleemist E. Booth on samal teemal veel hulgem kirjutanud, näiteks siin, siin ja siin.

• Siis H. Halpini Identity, Reference, and Meaning on the Web sarnastel teemadel, kui eelmine artikkel. Halpin on samuti palju kirjutanud, vaata näiteks tema kirjutist anonüümsusest.

• Seejärel loe omal valikul mõni artikkel workshopist Identity, Reference, and the Web. Eelmine Halpini artikkel on selle sissejuhatus.

• Lõpuks loe omal valikul mõni artikkel kogumikust "Toward a Philosophy of the Web" (tasuta download, regada pole vaja) 4. Suhteliselt hea artikkel sealt on Chapter 3. The Web as Ontology. Web architecture between REST Resources and Rules

Dialoog, pragmaatika, ebakindlad teadmised

Esimeseks teemaks on pragmaatika dialoogis. Siin on mitu omavahel seotud haru (vaata korra neile artiklitele peale, aga ära väga põhjalikult loe, kui sügavamat huvi ei teki):

• Speech acts L ehk laused, mis teevad midagi, mitte ei kanna ainult lihtsalt informatsiooni
• Implicature L mille põhiosa on Grice maksiimid, nende järgimine ja eiramine: ehk, mida loetakse välja dialoogi käigus
• Relevance theory ehk Grice maksiimide edasiarendused

Alustuseks kindlasti vaata/kuula hoopis neid lühiloenguid

• Jutu pragmaatika ja speech acts 11 minutit sissejuhatust kogu teemasse
• Grice's Maxims, Implicature, Presupposition: eriti tore 12 minutine detailsem loeng Grice maksiimide teemal
• Deceiving with words kui sa kursuse algul seda juba ei kuulanud, tee seda nüüd

Kui sul on huvi Grice originaali vaadata (ei ole kohustuslik), siis

• Logic and conversation: Grice originaal-põhiartikkel maksiimidest
• täiendavaid näiteid, mis põhjalikult analüüsitud

Kindlasti vaata seejärel läbi

• presentatsioon kogu teemast E (loe aeglaselt) teatud fookusega automatiseerimisele
• Relevance theory ehk edasiarendus: 32 lehekülge selle alamvaldkonna põhiautoritelt, päris süvenemisega ei jõua
• Jurafsky & Martin chapter 26 Dialogue Systems and Chatbots praktiliste süsteemide peatükk nende silmapaistavast NLP õpikust: sirvi läbi ja vali ise kohad, mida süvenemisega lugeda.

Täiendavalt head vabatahtlikku kuulamist ja lugemist:

• NLP podcasti episood 89 dialoogsüsteemidest
• Implicature Calculation, Pragmatics or Syntax, or both: täpsem implikatuuri analüüs
• Implikatuur eksperimentidega
• Väga põhjalik jutt teatud fookusega automatiseerimisele
• Dialoogipragmaatika Stanfordi filosoofia-entsüklopeedias
• Implikatuur Stanfordi filosoofia-entsüklopeedias

Järgmine teema on ebakindlad teadmised ja tõenäosus: kuidas sellest aru saada, kirja panna ja järeldusi teha.

Sissejuhatus teemasse on ühine sama nädala materjalides teadmiste formaliseerimise kursuses.

Loe hoolega detailset sissejuhatust teemasse: Numeric uncertainty (L järgneva esimese punkti suuniste järgi):

• Kindlasti loe kuni peatükini "Different ways to encode confidences in logic"ja vaata kiirelt peale kõigi viidatud wikilehtedele.
• Vaata lühidalt läbi järgmised peatükid ja süvene ainult siis, kui asi paistab huvi pakkuvat.

Seejärel loe algusotsad ja sirvi veidi edasi neid pikemaid Stanfordi filosoofia-entsüklopeedia artikleid:

• Interpretations of Probability
• Logic and Probability
• Probabilistic Causation

Presentations

Schedule

7. veebruar kell 8:15

• Urmas - Putnam: tähendus ja osutus. (Meaning and reference). Tehtud.
• Johannes - Quine: empirismi kaks dogmat. (Two dogmas of empiricism). Tehtud.

21. veebruar kell 8:15

• Allan - Dummett: Truth.
• Rauno - Tarski: semantiline tõekontseptsioon.
• Anu - Strawson: Tähendus ja tõde. Tehtud.

6. märts kell 8:15

• Anu: Dennett: kvaalide kvainimine (quining qualia). Tehtud.
• Urmas: Nick Boströmi simulatsiooniargument. Tehtud.
• Allan: Frege tähendusest ja osutusest.
• Siim-Erik: Evolution of Morals. Pool tehtud.

20. märts 8:15

• Urmas: Searle
• Radu: Ramsey subjektiivne tõenäosusteooria.
• Anu: frame problem
• Siim-Erik

3. aprill 8:15

• Radu:
• Allan: Dummett: Truth
• Urmas: neurons are more complex than we thought, Randy Gallistel?
• Johannes:  ?

17. aprill 8:15

• Radu: Boltzmanni aju
• Siim: poolelijäänud evolution of morals lõpuni.
• Allan: Frege tähendusest ja osutusest

7. mail (neljap) 12:00

• Allan 1
• Allan 2

8. mail (reede) kell 8:15

• Radu: lõpmatus, eriti fookus ordinaalidele ja alephite rea lõpu järel tulevale
• Anu: confirmation bias ja Kahneman-Tverski seos
• Radu: teine ettekanne oma valikul

15. mail (reede) kell 8:15

• Radu
• Allan

Themes for selection

Ideas for the first rounds from this book (search originals from the web):

• Putnam: tähendus ja osutus. (Meaning and reference)
• Quine: empirismi kaks dogmat. (Two dogmas of empiricism)
• Dummett: Truth.
• Tarski: semantiline tõekontseptsioon.
• Strawson: Tähendus ja tõde.
• Ramsey subjektiivne tõenäosusteooria.

Further:

• Nick Boström "are we living in simulation". http://www.simulation-argument.com/ and http://www.nickbostrom.com/
• Paul Grice: "meaning" and overview of other important parts of Grice claims and theory.
• Evolution of morals. alusta siit ja otsi ise edasi.
• Frege: Frege tähendusest ja osutusest.
• Dennett: kvaalide kvainimine (quining qualia).
• Chomsky keeleteooria põhipunktid
• Mirror Neurons mh alustuseks brain science podcast 35 Mirror Neurons ja podcast 39 (Discusses the role of mirror neurons in imitation and language) pluss googelda veidi juurde.
• Frame problem in AI. Start with http://en.wikipedia.org/wiki/Frame_problem and continue to find additional materials and examples.
• How do bacteria and simple organisms communicate. Start with this TED lecture.
• infinity: cardinals and ordinals.
• Overview of pragmatism as a philosophical school: main ideas, development etc.
• example of a proof which is classically easy but intuitionistically hard: irrationality around square root of two.
• Anthropic principle and the Boltzmann brain.
• modal logics S4 ja S5 and possible worlds (Kripke semantics).
• neurons.
• Research and give an overview of the state of the art in machine translation: top systems, their capacity and the main principles of how they work.
• Statistical principles in machine translation a la Google
• Confirmation bias, start with this article
• How do bacteria and simple organisms communicate. Start with this TED lecture
• Evolution of morals. alusta siit
• How do bacteria and simple organisms communicate. Start with this TED lecture
• Frame problem in AI. Start with http://en.wikipedia.org/wiki/Frame_problem and continue to find additional materials and examples.
• Intuitsionistlik loogika: näited teoreemidest, mis kehtivad klassikaliselt, kuid mitte intuitsionistlikult. Näiteid tõestustest, millel lihtne klassikaline, kuid keeruline intuitsionistlik tõestus.
• Ordinaalid ja kardinaalid.
• Neuroimaging, auditory hallucinations, and the bicameral mind.pdf start here and download pdf
• Neurons are more complex than we thought, see here and here for starters.
• Could a Neuroscientist Understand a Microprocessor?
• The Hyperbolic Geometry of DMT Experiences and see this for some background.
• Perception Without Representation
• Brain Computation Is Organized via Power-of-Two-Based Permutation Logic