Annemarie van Dooren: Semantics 

This is an introduction to formal semantics, where the techniques of logic are used to describe how the meanings of sentences depend on their parts. We will train in the tools and techniques of semantic theory that are necessary to enter the field, and we will dive into the formal system of Heim & Kratzer 1998. Phenomena to be discussed include predication, quantification, and tense, aspect and modality. Time provided, we can explore language use (pragmatics) and the challenges for language learners from a semantics perspective (acquisition).

Syllabus_SCCC_2018

Handout 1_compositional_semantics

Handout 2_formal_foundations