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

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]