Einführung in die formale Semantik/ Introduction to formal semantics (Summer 2022)

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, Nicolaie Dominik Dascalu


Registration OPEN

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.

Basic reading:

Coppock, E., and Champollion, L. (2021). Invitation to formal semantics. Manuscript, Boston University and New York University

Additional reading:

Winter, Y. (2016). Elements of formal semantics: An introduction to the mathematical theory of meaning in natural language. Edinburgh University Press.
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: [IFS_22]