Time & Location:
Lecture/Vorlesung: TBA
Exercises/Übung
Group 1: TBA
Group 2: TBA
Instructors: Dr Volha Petukhova, Nicolaie Dominik Dascalu, Florian Kandra
***ANNOUNCEMENTS***
Veranstaltungsnr. in LSF 141338
Please join the course MS Team TBA
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
- 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 ()
Tutorial Group 1 () FRESH/WARM UP CLASS
Tutorial Group 2 () 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-2) Coppock, E., and Champollion, L. (2021). Invitation to formal semantics. Manuscript, Boston University and New York University (Ch.1)
2. Inference
Lecture ()
Tutorial Group 1 () EXERCISE SHEET Nr1 (deadline XXX)
Tutorial Group 2 () EXERCISE SHEET Nr1 (deadline XXX)
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 ()
Tutorial Group 1 () FRESH/WARM UP CLASS (cont.) EXERCISE SHEET Nr2 (deadline XXX)
Tutorial Group 2 () FRESH/WARM UP CLASS (cont.) EXERCISE SHEET Nr2 (deadline XXX)
Reading:
Coppock, E., and Champollion, L. (2021). Invitation to formal semantics. Manuscript, Boston University and New
York University (Ch.4)
4. Typed Lambda
Lecture ()
Tutorial Group 1 () EXERCISE SHEET Nr3 (deadline XXX)
Tutorial Group 2 () EXERCISE SHEET Nr3 (deadline XXX)
Reading: Coppock, E., and Champollion, L. (2021). Invitation to formal semantics. Manuscript, Boston University and New York University (Ch.5)
5. Function Application
Lecture ()
Tutorial Group 1 () EXERCISE SHEET Nr 4 (deadline XXX)
Tutorial Group 2 () 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 ()
Tutorial Group 1 () EXERCISE SHEET Nr 5 (deadline XXX)
Tutorial Group 2 () EXERCISE SHEET Nr 5 (deadline XXX)
Reading: Coppock, E., and Champollion, L. (2021). Invitation to formal semantics. Manuscript, Boston University and New York University (Ch.7)
7. Presupposition
Lecture ()
Tutorial Group 1 () EXERCISE SHEET Nr 6 (deadline XXX)
Tutorial Group 2 () EXERCISE SHEET Nr 6 (deadline XXX)
Reading: Coppock, E., and Champollion, L. (2021). Invitation to formal semantics. Manuscript, Boston University and New York University (Ch.10)
8. Aspect
Lecture ()
Tutorial Group 1 () EXERCISE SHEET Nr 7 (deadline XXX)
Tutorial Group 2 ()
Handouts
9. Tense
Lecture ()
Tutorial Group 1 () EXERCISE SHEET Nr 8 (deadline XXX)
Tutorial Group 2 () EXERCISE SHEET Nr 8 (deadline XXX)
Reading:
Coppock, E., and Champollion, L. (2021). Invitation to formal semantics. Manuscript, Boston University and New York University (Ch.12.4-12.6)
10. Modal & Intensional Logic
Lecture ()
Tutorial Group 1 () EXERCISE SHEET Nr 9 (deadline XXX)
Tutorial Group 2 () EXERCISE SHEET Nr 9 (deadline XXX)
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.
11. Event semantics
Lecture ()
Tutorial Group 1 () EXERCISE SHEET Nr 10 ()
Tutorial Group 2 () EXERCISE SHEET Nr 10 ()
Reading: Coppock, E., and Champollion, L. (2021). Invitation to formal semantics. Manuscript, Boston University and New York University (Ch.11)
RECAP
Lecture ()
Tutorial Group 1 () Exam preparation (Probeklausur)
Tutorial Group 2 () Exam preparation (Probeklausur)
HILFEBLATT
For any questions, please send an email to:
v.petukhova@lsv.uni-saarland.de
Use subject tag: [IFS_24]