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.
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.
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:
- Logic in Action (Ch. 4), Johan van Benthem, Hans van Ditmarsch, Jan van Eijck and Jan Jaspars, 2016.
- Elements of Formal Semantics (Ch. 2 & 3), Yoad Winter, Edinburgh University Press, 2016
- Stanford Encyclopedia of Philosophy, Edward N. Zalta (princial editor).
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
- Slides: Coming soon
- Exercises: Coming soon
- Reading material: Logic in Action (Ch. 4: Section 4.5 & 4.6)
- Additional reading material (optional): Elements of Formal Semantics (Ch. 2)
Week 2 (May 11 - 15): Type Theory
- Reading material: Elements of Formal Semantics (Ch. 3: Part 1 & 2)
Week 3 (May 18 - 22): Lambda Calculus
- Reading material: Elements of Formal Semantics (Ch. 3: Part 3 & 4)
Week 4 (May 25 - 29): Event Semantics
Week 5 (June 1 - 5): Generalized Quantifies
Week 6 (June 8 - 12): Dynamic Semantics
Week 7 (June 15 - 19): Discourse Representation Theory
Week 8 (June 22 - 26): Presupposition
Week 9 (June 29 - 3): Distributional Formal Semantics
Week 10 (July 6 - 10): Current Issues in Semantic Theory
Exam Week (July 13 - 17)
- details TBA