Semantic Theory 2020


01.04.2020: The course website is now online! For details about the digital course format and the registration, see the Course Overview below. See the Schedule for a sneak-peek of the weekly course contents.

Course Overview

Semantic Theory is a core course of the Master of Science programme in Language Science and Technology (LST), taught at the department of Language Science and Technology (formerly: Computational Linguistics and Phonetics) at Saarland University.

Course content: This course focuses on the theoretical study of natural language meaning, but will also address practical applications. In the first part of the course, we will study sentence-level (Montague) semantics: starting out from first-order predicate logic, moving to (typed) lambda calculus. In the second part of the course, we zoom in to the level of lexical semantics, in particular focusing on verbs (event semantics) and quantified noun phrases (generalized quantifiers). In the third part of the course, we move to discourse-level semantics: we use the framework of Discourse Representation Theory to study discourse-level phenomena such as anaphora and presupposition. In the final part of the course, we discuss recent advances in semantic theory. In particular, we will look at Distributional Formal Semantics, which extends formal semantics with a distributional component, providing compositional and probabilistic meaning representations that are also suitable for use in contemporary deep learning approaches.

Noortje Venhuizen (email: noortjev at coli.uni-saarland dot de) and
Harm Brouwer (email: brouwer at coli.uni-saarland dot de)

Course format: For the Summer Semester 2020, this course will be offered digitally, with a strong focus on self-study. Due to child-care responsibilities, we will not be able to offer weekly online lectures. Instead, we plan to provide reading material as well as annotated lecture slides for each topic (see the schedule below). We will also plan a weekly online Q&A session, in which you can ask any questions about the course materials, and discuss the weekly exercises. In addition, we will be available for questions asked through email.

Prerequisites: Familiarity with first-order predicate logic. Specifically, we expect you to be familiar with the content described in the first two sections of this chapter (Section 4.1 & 4.2).

Registration: Please make sure you register for this course through LSF and send an email (noortjev at coli.uni-saarland dot de) to keep up with all information about this course.

Literature: We will provide weekly reading material for each topic, which will be updated throughout the semester. Some important online resources:

Exercises and Exam: There will be an exam at the end of the semester (details TBA). Your grade for this exam will be your grade for the course. In the course of the semester, there will be weekly exercises that must be submitted electronically (through email). These exercises are meant to optimally prepare you for the final exam; they can be considered of the same difficulty level. To be admitted to the final exam, you may skip or fail at most one weekly exercise.


Note that this is a preliminary schedule, which may change during the course of the semester. All course materials (slides, reading material, exercises) will be made available before the beginning of each week.

Week 1 (May 4 - 8): Predicate Logic

Week 2 (May 11 - 15): Type Theory

Week 3 (May 18 - 22): Lambda Calculus

Week 4 (May 25 - 29): Event Semantics

  • TBA

Week 5 (June 1 - 5): Generalized Quantifies

  • TBA

Week 6 (June 8 - 12): Dynamic Semantics

  • TBA

Week 7 (June 15 - 19): Discourse Representation Theory

  • TBA

Week 8 (June 22 - 26): Presupposition

  • TBA

Week 9 (June 29 - 3): Distributional Formal Semantics

  • TBA

Week 10 (July 6 - 10): Current Issues in Semantic Theory

  • TBA

Exam Week (July 13 - 17)

  • details TBA