Time & Location:
Lecture/Vorlesung: Monday 10:15 – 11:45 in C7.3 Seminarraum 1.12
Exercises/Übung: Wednesday 10:15 – 11:45 in C7.3 Seminarraum 1.12
Instructors: Dr Volha Petukhova, TBA
Study Program: Bachelor CoLi and BA Language Science (WP2)
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: Logic or good working knowledge of first order predicate logic
The course carries 6 credits. To get these credits you have to pass a written exam (90 min).
There is a deadline for registering for the written exam. The exact date for registering will be announced.
L.T.F. Gamut, Logic, Language, and Meaning, Vol. 2: Intensional Logic and Logical Grammar. U of Chicago Press, 1991.
Detailed Plan of Lectures
For any questions, please send an email to:
Use subject tag: [ICS_22]