Diese Seite gibt es auch auf Deutsch.
This course introduces the basic concepts and formal tools used in the
model-theoretic paradigm of the semantics for natural languages.
In particular the topics include
- first order predicate logic (review)
- modal and temporal logic
- possible worlds semantics
- type theory, extensional as well as intensional
- lambda abstraction and lambda conversion
- the relationship between syntactic and semantic structure
Mathematical Foundations I or good working knowledge of first order
B.Sc. in Computational Linguistics: obligatory
MA students with a minor in Computational Linguistics: The course is an elective in the second stage (after the Intermediate Exam - "Zwischenprüfung");
Computer scientists with a minor in Computational Linguistics: The course is optional.
L.T.F. Gamut, Logic, Language, and Meaning, Vol. 2: Intensional
and Logical Grammar. U of Chicago Press, 1991.
The course carries 6 credits. To get these credits you have to pass a
written exam (90 min). (Here is a sample
There is a deadline for registering for the written exam. For the exact date for registering and how to register, refer to the German version of this description.
Wed 10-12, Building C 72, seminar room, first meeting: Wednesday of the
3rd week; for the exact date refer to German version.
Introduction to model-theoretic semantics (First Order Predicate Logic (FOL); syntax and formalization).
Semantics of FOL: model structure, truth definition, semantic properties and relations.
Proof theory; lexical semantics: meaning postulates.
Equivalence transformations, normal forms, resolution; problems of FOL as a tool for semantic representation.
The theory of types: Motivation and introduction.
The theory of types (continued).
Type theory with the lambda operator.
Intensional logic (intensional theory of types): Motivation and introduction.
Intensional logic (continued).
Intensional logic and Montague Grammar.
Montague Grammar (continued).
Written exam: for the exact date see German version. (sample