Semantika ja analüütiline filosoofia

Allikas: Lambda
Redaktsioon seisuga 30. jaanuar 2020, kell 13:40 kasutajalt Tammet (arutelu | kaastöö) (→Presentations)
Mine navigeerimisribale Mine otsikasti
märgid
märgid

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


Time, place, credits

Credits: 6

Lectures: Thursdays at 12:00-13:30 in the room ICT-A1.

Practice sessions: every second Friday starting from 6. Feb at 08:15-09:45 in the room ICT-A1

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:

analytic philosophy.

Useful readings:

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

Intro, semiotics, philosophy

Main materials:

Useful to read/listen:

About the alphaber:


Märkmeid strukturalismist, dekonstruktsioonist ja muust:

Märkmeid Proppi teooriast:

Märkmeid Viini ringist ja loogilisest positivismist:

Evolution of brain, intelligence and society

Sociobiology, evolutionary psychology and memetics.

Main material:

Recommended books:

Important papers:

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

Brain science

For exam:

Good general overviews:

Read also:

Important:


General notes

Infinity, logic and philosophy of mathematics

On infinity:

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:

Thinking and AI

Mõtlemine ja tehismõtlemine üldpildina:

Mõtlemine ja tehismõtlemine: konkreetsemad küsimused

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:

Tutorialid:

Loomulik keel reaalsetes süsteemides

Dialoog ja pragmaatika:

Olulised probleemid:

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)
  • hannes - Quine: empirismi kaks dogmat. (Two dogmas of empiricism)

14. veebruar kell 8:15

  • Allan - Dummett: Truth.
  • Rauno - Tarski: semantiline tõekontseptsioon.


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).
  • 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 Artur Vainola
  • 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