Semantika ja analüütiline filosoofia: erinevus redaktsioonide vahel
| 131. rida: | 131. rida: | ||
Lectures: Thursdays at 12:00-13:30 in the room ICT-A1. | Lectures: Thursdays at 12:00-13:30 in the room ICT-A1. | ||
Practice sessions: every second Friday starting from 7. Feb at 08:15-09:45 in the room ICT-315. Next session <b> | Practice sessions: every second Friday starting from 7. Feb at 08:15-09:45 in the room ICT-315. Next session <b>8. May</b>. | ||
The contents of practice sessions are presentatins by students and their discussion. Presence in the | The contents of practice sessions are presentatins by students and their discussion. Presence in the | ||
Redaktsioon: 22. aprill 2020, kell 23:36
 |
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 |
Loengud ja seminarid piiranguajal
Loengud
- Loenguajaks paneb õppejõud üles senisest detailsemad soovitused, et mida kuni järgmise loenguajani iseseisvalt lugeda.
- Lisaks teeb õppejõud kas väikese sissejuhatava video või jutu nende asjade kohta, mida lugeda antakse, ja see video/jutt läheb vastava loengu peatükki wikis.
Seminarid
Seminarid ettekannetega teeme Skypes: võtke kõik palun esimesel sobival hetkel Skypes ühendust õppejõuga (Skypes taneltammet) ja siis standardsel seminariajal (järgmine reede, 8. mai hommikul 8:15) püüab õppejõud kõiki ühte Skype videokõnesse panna, mille kaudu teemegi ettekanded ja arutame neid.
Loeng/tööd 19 märtsiga algaval nädalal
Selle nädala ülesanne on alustada tutvumist matemaatika filosoofiaga, eeskätt lõpmatuse ja lahendamatuse küsimustega. Mitteklassikaliste loogikatega seotud teemad võtame ette järgmisel nädalal.
Alustuseks loe läbi eksamil kohustuslik sissejuhatav presentatsioon
- infinity, limits of computation and undecidability
- 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.
Loeng/tööd 26 märtsiga algaval nädalal
Selle nädala ülesanne on tutvumine mitteklassikaliste loogikatega matemaatika filosoofia taustal:
- mitteklassikalised loogikad. Siin on pealeloetud jutuga variant: 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 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.
Loeng/tööd 2 aprilliga algaval nädalal
Selle nädala ülesanne on tutvumine tehisintellekti filosoofia põhiküsimustega, mis on 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:
Loeng/tööd 9 aprilliga algaval nädalal
- Alustuseks Rodney Brooksi väike tehisintellekti-sari osa 1, osa 2, osa 3, osa 4 ja 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"
Loeng/tööd 16 aprilliga algaval nädalal
See nädal on AI-filosoofia erinevate suuremate ideejuppide kuulamiseks ja eelmise nädala puhvriks: et kui sa ei jõudnud kuulata/vaadata kõiki eelmise nädala jutte, siis tee seda nüüd.
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
Kõrvalpõikena Radu "Boltzmanni aju" ettekandele viide minu vanale kirjutisele Akadeemias "Radikaalne skeptitsism kui antroopsusprintsiip mikrokosmoses" pdf lk 144.
Teise kõrvalpõikena Turing 1948 tehisintellektist
Kolmanda kõrvalpõikena superconnectedness idee.
Neljanda kõrvalpõikena https://www.biorxiv.org/content/10.1101/639724v1.full.pdf
Time, place, credits
Credits: 6
Lectures: Thursdays at 12:00-13:30 in the room ICT-A1.
Practice sessions: every second Friday starting from 7. Feb at 08:15-09:45 in the room ICT-315. Next session 8. May.
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 Harrise with David Chalmersiga
- 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 alphaber:
- 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, dekonstruktivism, dekonstrueerimise kiirõpetus, Derrida lõik, hermeneutika
- insheeption
- sympathetic magic: wiki, Frazer
Märkmeid Proppi teooriast:
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.
- 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:
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
On infinity:
- infinity, limits of computation and undecidability E either this or read details about infinity and undecidability from other sources
- cardinality in wikipedia L
Nonclassical logics:
- mitteklassikalised loogikad. L either read this material or read a short intro to non-classical logics from other sources.
- modaalsed loogikad L either read this material or read a short intro to modal logics from other sources.
Read:
More on nonclassical logics:
- modaalsete loogikate ülevaade wikipedias
- Modaalse loogika filosoofilised põhiideed
- Intuitsionistliku loogika filosoofilised põhiideed L
Thinking and AI
Mõtlemine ja tehismõtlemine üldpildina:
- http://en.wikipedia.org/wiki/Philosophy_of_artificial_intelligence L
- http://en.wikipedia.org/wiki/List_of_artificial_intelligence_projects
- http://www.reddit.com/r/PhilosophyOfCS
- http://plato.stanford.edu/entries/computer-science/
Mõtlemine ja tehismõtlemine: konkreetsemad küsimused
- Functionalism E
- Putnam: is semiotics possible?
- chinese room L
- Freimiprobleem E
- symbol grounding
- C elegans ja tema aju
- Wolpert: aju on liikumiseks
- comic
- simulating human brain is a waste of energy
Semantics in the semantic web
- XML ja semantika suhted
- Namespaced, URI-d, URN-d jms
- RDF(S) ja OWL
- ontoloogiad
Hakatuseks baasmaterjale XML-st
URI, URN, URL. Loe selles järjekorras:
- url tähenduse probleem E
- ametlik dokument uride kohta: vaata algust ja viska korraks järgnevale pilk peale
- ideid probleemi leevendamiseks, eeskätt topic maps kontekstis
- [1]
Tutorialid:
Loomulik keel reaalsetes süsteemides
Dialoog ja pragmaatika:
Olulised probleemid:
- Some Philosophical Problems from the Standpoint of Artificial Intelligence, McCarthy and Hayes.
- The Problem with Solutions to the Frame Problem. L. Morgenstein
- Frame problem 2
- Dennetti artiklid. Võrgus (osaliselt) vabalt.
- Semiootika ja intelligentsed süsteemid
Huvitavaid dialoogsüsteeme:
- CommandTalk
- Kopteri juhtimine: googelda WITAS Multi-Modal Dialogue System
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
24: aprillil 8:15
- Allan?? Kui Allan välja ilmub.
8. mail 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
Teadmata aeg:
Radu: Masintõlke statistiline
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