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

Time & Location:

Lecture/Vorlesung: Mo 10:15 – 11:45 Gebäude B3 2 / HÖRSAAL 0.03

Exercises/Übung
Group 1: Mi 10:15 – 11:45 Gebäude C7 2 / Seminarraum -1.05
Group 2: Do 14:15 – 15:45 Gebäude C7 2 / Seminarraum -1.05
Group 3: TBA

Instructors: Dr Volha Petukhova

***ANNOUNCEMENTS***

Veranstaltungsnr. in LSF 155251 

Please join the course MS Team (in preparation)

All class material will be published in Teams!

Study Program: Bachelor CoLi and BA Language Science (WP2)

Description:
This course introduces the basic concepts and formal tools to compute the meaning of natural language expressions. In particular the topics include

• first order predicate logic (review)
• modal and temporal logic
• event semantics
• lambda abstraction and lambda conversion
• type theory
• the relationship between syntactic and semantic structure
• distributional semantics
• language models

Prerequisites:

Mathematical Foundations: Logic or good working knowledge of first order predicate logic

Organisation:

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 TBA

Basic reading:

Coppock, E., and Champollion, L. (2021). Invitation to formal semantics. Manuscript, Boston University and New York University
Jurafsky & Martin (2024, draft). Speech and Language Processing (3rd edition). Stanford 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.

Exercise tool: Lambda Calculator

Detailed Plan of Lectures and Tutorials

1. Meaning and Form

Reading:
Winter, Y. (2016). Elements of formal semantics: An introduction to the mathematical theory of meaning in natural language. Edinburgh University Press. (Ch. 1-2)
Coppock, E., and Champollion, L. (2021). Invitation to formal semantics. Manuscript, Boston University and New York University (Ch.1)

No Lecture (21.04.2025) Easter

2. Inference

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

3. Predication and Typed Lambda

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

4. Function Application

Lecture (12.05.2025)
Tutorial Group 1 (14.05.2025) EXERCISE SHEET Nr3 (deadline 13.05.2025)
Tutorial Group 2 (15.05.2025) EXERCISE SHEET Nr3 (deadline 13.05.2025)

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

5. Beyond Function Application

Lecture (19.05.2025)
Tutorial Group 1 (21.05.2025) EXERCISE SHEET Nr4 (deadline 20.05.2025)
Tutorial Group 2 (22.05.2024) EXERCISE SHEET Nr4 (deadline 20.05.2025)

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

6. Aspect

Lecture (26.05.2025)
Tutorial Group 1 (28.05.2025) EXERCISE SHEET Nr 5 (deadline 27.05.2025)
Tutorial Group 2 (29.06.2024) no class

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

7. Tense

Lecture (02.06.2025)
Tutorial Group 1 (04.06.2025) EXERCISE SHEET Nr 6 (deadline 03.06.2025)
Tutorial Group 2 (05.06.2025) EXERCISE SHEET Nr 6 (deadline 03.06.2025)

Handouts

No Lecture (09.06.2025) Pfingsten

8. Event Semantics

Lecture (16.06.2025)
Tutorial Group 1 (18.06.2025) EXERCISE SHEET Nr 7 (deadline 17.06.2025)
Tutorial Group 2 (19.06.2024) no clas

Reading:
TBA

10. Distributional semantics

Lecture (23.06.2025)
Tutorial Group 1 (25.06.2025) EXERCISE SHEET Nr 8 (deadline 24.06.2025)
Tutorial Group 2 (26.06.2025) EXERCISE SHEET Nr 8 (deadline 24.06.2025)

Reading:
TBA

11. Language models

Lecture (30.06.2025)
Tutorial Group 1 (02.07.2025) EXERCISE SHEET Nr 9 (deadline 01.07.2025)
Tutorial Group 2 (02.07.2025) EXERCISE SHEET Nr 9 (deadline 01.07.2025)

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

RECAP

Lecture (07.07.2025) Exam preparation (Probeklausur)

Tutorial Group 1+ 2 (10.07.2025) Exam preparation (Probeklausur)

For any questions, please send an email to:
v.petukhova@lsv.uni-saarland.de
Use subject tag: [IFS_25]