Semantika ja analüütiline filosoofia: erinevus redaktsioonide vahel
Resümee puudub |
|||
| 6. rida: | 6. rida: | ||
<td> | <td> | ||
Code: ITV9070<br> | Code: ITV9070<br> | ||
Link: http:// | 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> | ||
Archive: [[ITV9070_2021|year 2021 archive]]<br> | Archive: [[ITV9070_2021|year 2021 archive]]<br> | ||
Redaktsioon: 13. september 2022, kell 13:13
 |
Code: ITV9070 "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! 15 sept lecture: online only
Time, place, credits
Credits: 6
- Thursdays odd weeks (starting 1. Sept, then 15, 29 Sept etc):
- A lecture at 10:00-11:30: 1. Sept in the room ICO-217, starting from 15 Sept on Teams only.
- Thursdays even weeks: (starting 8. Sept, then 22 Sept etc) on site (not Teams):
- A lecture at 10:00-11:30 in the room ICO-217
- A practice session at 12:00-13:30 in the room ICO-217
The contents of practice sessions are presentatins by students and their discussion. For all students, presence in the practice sessions is important and is accounted for in the final grade.
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, 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..
Intro, semiotics, philosophy
- Esimese loengu salvestus: 1. september
- Teise loengu salvestus: 8. september
- Seminari salvestus: 8. september
- Source for the first round of presentations: Tähendus, tõde, meetod.. Separate original articles can be found by googling.
Main materials:
- Semiotics for beginners. first half is obligatory. E
- Quine: Two Dogmas of Empiricism. E
- what is analytic philosophy.
- analytic/synthetic. E
- logical positivism.
- Problem of universals nominalism/realism. L
- functionalism. E
- phenomenology.
- Propp.
Useful to read/listen:
- philosophy bites podcasts. Start with this strongly recommended episode.
- Sam Harris with David Chalmers
- L Philosophy of Metzinger: background reading Self models and look, for example: Metzinger video
- Tractatus andTractatus: structured full text. L. Wittgenstein. Read a bit, along with a commentary
- Philosophical investigations: read the 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
- comparison ja wiki and unicode
- http://en.wikipedia.org/wiki/Phoenician_alphabet
- http://en.wikipedia.org/wiki/Egyptian_uniliteral_signs
- http://en.wikipedia.org/wiki/Cumae_alphabet
Notes on structuralism, deconstruction and friends:
- structuralism L, dekonstruktivism, dekonstrueerimise kiirõpetus, Derrida section, hermeneutics
- insheeption
- sympathetic magic: wiki, Frazer
Notes on Propp:
Notes on the Vienna circle and logical positivism:
- Main ideas: "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
- classical positivism as the background: more here
- a small lecture about the Vienna cicle
- Vienna circle: good short overview ja a longish paper from the Stanfordi encyclopedia of philosohy and Vienna circle manifesto
- Logical positivism: good overview
- wiki logical positivism
Evolution of brain, intelligence and society
Sociobiology, evolutionary psychology and memetics.
Main material:
- Evolution: intro lecture. 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
Additional notes and recommendations, not obligatory:
- 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:
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:
Ja tehnilisemalt lisaks Graziano neuroteaduse-hüpoteesiga teadvuse osas:
Eelpool igal pool viidatud/arutletud hiina toa kohta saab lugeda detailsemat argumentatsiooni ja vastuväiteid päris heast wikiartiklist:
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 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
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:
Presentations
Schedule
- 8 sept:
- Quine two dogmas of empiricism: Kalev
- Theories of Vladimir Propp, see also this and this and this etc : Villem
- Putnam: meaning and reference : Norman
- 22 sept:
- Dennett Quining qualia: Bahdan
- Frege function and concept: Andra
- Chomsky keeleteooria põhipunktid (guugelda, vaata vikipeediast, vbl ka uuri omal valikul mõnda artiklit): Tiia
- 6 okt:
- Ramsey subjektiivne tõenäosusteooria: Kajar
- Chalmers Hard problem of consciousness: Rene
- Strawson: Meaning and Truth: Karmo
- 20 okt:
- Overview of pragmatism as a philosophical school: main ideas, development et: 20 Karmo
Some 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