Fall 2025
BCL, Université Côte d’Azur
Formal Semantics
Instructor: Friederike Moltmann
Contact: fmoltmann@unice.fr
Time: Mondays 10.00h-12.00h
R. 128, Campus St. Angely, 25 ave Mitterand, 06300 Nice
Requirements:
- Regular readings
- Active participation in the course and preparation of answers to problems
- Take-home exam
Main text:
Elisabeth Coppock / Lucas Champollion: Introduction to Formal Semantics (IFS)
Available online: https://eecoppock.info/bootcamp/semantics-boot-camp.pdf
Schedule
Session 1 (November 10):
What is Formal Semantics? (handout)
Session 2 (November 17):
Foundations of Semantics (IFS, chap. 1)
Sets, Relations, Functions (IFS, chap. 2)
Session 3 (November 24):
Negative polarity items, Sets, Relations, Functions (IFS, chap. 2)
Session 4 (December 1):
Propositional Logic and its Linguistic Applications (IFS, chap. 3)
Session 5 (January 9, via ZOOM):
Predicate Logic and Its Linguistic Applications (IFS, chap. 4)
Take home exam