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 A: Mi 10:15 – 11:45 Gebäude C7 2 / Seminarraum -1.05
Group B: Do 14:15 – 15:45 Gebäude C7 2 / Seminarraum -1.05
Group C: Do 16:15 – 17:45 Gebäude C7 2 / Seminarraum -1.05

Instructors: Dr Volha Petukhova

***ANNOUNCEMENTS***

Veranstaltungsnr. in LSF 155251 

Please join the course MS Team

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 (120 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-5)

4. Function Application

Lecture (12.05.2025)
Tutorial Group A (14.05.2025) EXERCISE SHEET Nr3 (deadline 13.05.2025)
Tutorial Group B (15.05.2025) EXERCISE SHEET Nr3 (deadline 13.05.2025)
Tutorial Group C (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 A (21.05.2025) EXERCISE SHEET Nr4 (deadline 20.05.2025)
Tutorial Group B (22.05.2024) EXERCISE SHEET Nr4 (deadline 20.05.2025)
Tutorial Group C (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 A (28.05.2025) EXERCISE SHEET Nr 5 (deadline 27.05.2025)
Tutorial Group B & C (29.06.2024) no class; EXERCISE SHEET Nr 5 (deadline 27.05.2025)

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 A (04.06.2025) EXERCISE SHEET Nr 6 (deadline 03.06.2025)
Tutorial Group B (05.06.2025) EXERCISE SHEET Nr 6 (deadline 03.06.2025)
Tutorial Group C (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 A (18.06.2025) EXERCISE SHEET Nr 7 (deadline 17.06.2025)
Tutorial Group B & C (19.06.2024) no class; EXERCISE SHEET Nr 7 (deadline 17.06.2025)

Reading:
TBA

9. Distributional semantics

Lecture (23.06.2025)
Tutorial Group A (25.06.2025) EXERCISE SHEET Nr 8 (deadline 24.06.2025)
Tutorial Group B (26.06.2025) EXERCISE SHEET Nr 8 (deadline 24.06.2025)
Tutorial Group C (26.06.2025) EXERCISE SHEET Nr 8 (deadline 24.06.2025)

Reading:
TBA

10. Language models

Lecture (30.06.2025)
Tutorial Group A (02.07.2025) EXERCISE SHEET Nr 9 (deadline 01.07.2025)
Tutorial Group B (02.07.2025) EXERCISE SHEET Nr 9 (deadline 01.07.2025)
Tutorial Group C (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) EXERCISE SHEET Nr 10 (deadline 06.07.2025) & Exam preparation (Probeklausur)

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