Kursen, som vid behov ges på engelska, ger en introduktion till konsten att göra formell semantik, också kallad modellteoretisk semantik, för naturliga språk, dvs. hur man med utgångspunkt från en syntaktisk analys av satsers struktur på ett systematiskt (kompositionellt) sätt kan komma fram till deras sanningsvillkor.
The course, which can be given in English, gives an introduction to the art of doing formal semantics, also called model-theoretic semantics, for natural languages. That is, how one can use a syntactic analysis of the structure of sentences to derive their truth conditions in a systematic (compositional) way.
☞ Introduktion till formell semantik höstterminen 2020
Kursplan:
Introduktion till formell semantik FIFS10 (197 Kb)
Lärare: Dag Westerståhl
Schema: Introduktion till formell semantik ht 2019
Kursbeskrivning (detaljerad):
Examination: Skriftliga hemuppgifter.
Närvarokontroll: Närvaro på minst 50% av lektionstillfällena obligatorisk.
