230015 Introduction to Formal Semantics (S) (SoSe 2025)

The course provides an introduction to formal semantics as an approach to natural language meaning: Starting with a very brief repetition of representations of meaning in terms of propositional and first order logic, the focus from the second meeting onwards will be on a type-logically extended approach. Thereby, we will always be concerned with the formal representation of meanings and their interpretation relating to a set-theoretical model (of the world).

Teilnahmevoraussetzungen, notwendige Vorkenntnisse

The content of the course assumes basic knowledge of propositional and first order logic, which can be acquired in parallel to the course through an individually determined additional workload.