160124 PS Formale Semantik (2024S)

Dieses Proseminar ist eine fortgeschrittene Einführung in die formale (logische) Semantik. Voraussetzung ist die Vorlesung "Einführung in die Semantik und Pragmatik" oder gleichwertige Vorkenntnisse.

Der Gegenstand der Semantik im Allgemeinen ist die (wörtliche) Bedeutung von natürlichsprachlichen Ausdrücken. Formale Semantik benutzt dabei eine formale (logische) Metasprache und strebt eine formale Theorie an, die erfasst, wie sich die Bedeutung (grammatischer) Sätze aus der Bedeutung ihrer Bestandteile zusammensetzt: Wie können wir die Bedeutung von einem Satz wie "Jeder Koch radelt" aus seinen Bestandteilen ableiten? Was müssen wir als Sprecher einer natürlichen Sprache wissen, um solch einen Satz (und unendlich viele andere) zu interpretieren? In welchem Verhältnis stehen die Bedeutung von "jeder Koch" und "radelt" und wie unterscheidet sich dieser Satz von einem Satz wie "Alex radelt"? Dieses Seminar bietet einen Einblick in diese und ähnliche Fragen und hat als primäres Ziel die Beherrschung der Methoden und des formalen Handwerkszeugs, die zur weiterführenden Beschäftigung mit dem Thema der formalen Semantik befähigt.