Time & Location:
Lecture/Vorlesung: Monday 10:15 – 11:45 Gebäude B3 2 / HÖRSAAL 0.03
Exercises/Übung
Group 1: Wednesday 10:15 – 11:45 Gebäude C7 2 / Seminarraum -1.05
Group 2: Thursday 14:15 – 15:45 Gebäude C7 2 / Seminarraum -1.05
Instructors: Dr Volha Petukhova, Nicolaie Dominik Dascalu, Florian Kandra
***ANNOUNCEMENTS***
Registration in LSF; Veranstaltungsnr. 141338
Please join the course MS Team (will be up soon)
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
- type theory, extensional as well as intensional
- lambda abstraction and lambda conversion
- the relationship between syntactic and semantic structure
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
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
Lecture (17.04.2023): SLIDES HANDOUTS
Tutorial Group 1 (19.04) FRESH/WARM UP CLASS
Tutorial Group 2 (20.04) FRESH/WARM UP CLASS
Reading:
Winter, Y. (2016). Elements of formal semantics: An introduction to the mathematical theory of meaning in natural language. Edinburgh University Press. (Ch. 1)
Coppock, E., and Champollion, L. (2021). Invitation to formal semantics. Manuscript, Boston University and New York University (Ch.1)
2. Inference
Lecture (24.04.2023) SLIDES
Tutorial Group 1 (26.04) EXERCISE SHEET Nr1 (deadline 25.04)
Tutorial Group 2 (27.04) EXERCISE SHEET Nr1 (deadline 25.04)
Reading:
Coppock, E., and Champollion, L. (2021). Invitation to formal semantics. Manuscript, Boston University and New York University (Ch.1)
3. Predication and Argumentation
Lecture (01.05.2023) no class due to Labor Day
Tutorial Group 1 (03.05) FRESH/WARM UP CLASS (cont.) EXERCISE SHEET Nr2 (deadline 02.05)
Tutorial Group 2 (04.05) FRESH/WARM UP CLASS (cont.) EXERCISE SHEET Nr2 (deadline 02.05)
Reading:
Coppock, E., and Champollion, L. (2021). Invitation to formal semantics. Manuscript, Boston University and New
York University (Ch.4)
4. Typed Lambda
Lecture (08.05.2023) SLIDES
Tutorial Group 1 (10.05) EXERCISE SHEET Nr3 (deadline 09.05)
Tutorial Group 2 (11.05) EXERCISE SHEET Nr3 (deadline 09.05)
Reading: Coppock, E., and Champollion, L. (2021). Invitation to formal semantics. Manuscript, Boston University and New York University (Ch.5)
5. Function Application
Lecture (15.05.2023) SLIDES
Tutorial Group 1 (17.05) EXERCISE SHEET Nr 4 (deadline 16.05)
Tutorial Group 2 (18.05) no class
Reading: Coppock, E., and Champollion, L. (2021). Invitation to formal semantics. Manuscript, Boston University and New York University (Ch.6)
6. Beyond Function Application
Lecture (22.05.2023) SLIDES
Tutorial Group 1 (24.05) EXERCISE SHEET Nr 5 (deadline 23.05)
Tutorial Group 2 (25.05) EXERCISE SHEET Nr 5 (deadline 23.05)
Reading: Coppock, E., and Champollion, L. (2021). Invitation to formal semantics. Manuscript, Boston University and New York University (Ch.7)
7. Presupposition
Lecture (29.05.2023) no lecture due to Whit Monday
Tutorial Group 1 (31.05) EXERCISE SHEET Nr 6 (deadline 30.05)
Tutorial Group 2 (01.06) EXERCISE SHEET Nr 6 (deadline 30.05)
Reading: Coppock, E., and Champollion, L. (2021). Invitation to formal semantics. Manuscript, Boston University and New York University (Ch.10)
8. Modal & Intensional Logic
Lecture (05.06.2023) SLIDES
Tutorial Group 1 (07.06) EXERCISE SHEET Nr 7 (deadline 06.06)
Tutorial Group 2 (08.06) no class due to Corpus Christi
Reading: Coppock, E., and Champollion, L. (2021). Invitation to formal semantics. Manuscript, Boston University and New York University (Ch.13) Von Fintel, K., & Heim, I. (2011). Intensional semantics. Unpublished Lecture Notes.
9. Aspect
Lecture (12.06.2023) SLIDES
HANDOUTS
Tutorial Group 1 (14.06) EXERCISE SHEET Nr 8 (deadline 11.06)
Tutorial Group 2 (15.06) EXERCISE SHEET Nr 8 (deadline 11.06)
10. Tense
Lecture (19.06.2023) SLIDES
HANDOUTS
Tutorial Group 1 (21.06) EXERCISE SHEET Nr 9 (deadline 20.06)
Tutorial Group 2 (22.06) EXERCISE SHEET Nr 9 (deadline 20.06)
Reading: Coppock, E., and Champollion, L. (2021). Invitation to formal semantics. Manuscript, Boston University and New York University (Ch.12.4-12.6)
11. Event semantics
Lecture (26.06.2023) SLIDES
HANDOUTS
Tutorial Group 1 (28.06) EXERCISE SHEET Nr 10 (deadline 27.06)
Tutorial Group 2 (29.06) EXERCISE SHEET Nr 10 (deadline 27.06)
Reading: Coppock, E., and Champollion, L. (2021). Invitation to formal semantics. Manuscript, Boston University and New York University (Ch.11)
RECAP
Lecture (03.07.2023) SLIDES
Tutorial Group 1 (05.07) Exam preparation (Probeklausur)
Tutorial Group 2 (06.07) Exam preparation (Probeklausur)
HILFEBLATT
For any questions, please send an email to:
v.petukhova@lsv.uni-saarland.de
Use subject tag: [IFS_23]