160124 PS Formale Semantik (2023S)

Dies ist eine fortgeschrittene Einführung in die formale (logische) Semantik. Voraussetzung ist die VL "Einführung in die Semantik und Pragmatik" oder gleichwertige Vorkenntnisse (nach vorheriger Absprache).

Sprecher einer natürlichen Sprache sind nicht nur in der Lage, unendlich viele grammatische Sätze zu bilden, sondern können diese auch interpretieren, d.h. ihnen eine Bedeutung zuweisen. Diese Feststellung bildet den Ausgangspunkt der formalen Semantik. Man strebt also eine (formale) Theorie an, die erfasst, wie sich die Bedeutung grammatischer Sätze aus der Bedeutung ihrer Bestandteile zusammensetzt, wobei Bedeutung hier als rein wörtliche (im Unterschied zu kommunikativer) Bedeutung gesehen wird. Es geht dabei nicht um lexikalische Semantik, z.B. die Frage, wann wir ein Objekt als "Tisch" kategorisieren, sondern vielmehr um logische Wörter wie "kein" oder "und", deren lexikalische Bedeutung nicht in derselben Weise intuitiv erfassbar ist, die aber in vielen Sätze gleichsam den Klebstoff bilden, durch den Konzepte verbunden werden.

Primäres Ziel der Lehrveranstaltung ist die Beherrschung der Methoden und des formalen Handwerkszeugs, die zur weiterführenden Beschäftigung mit dem Thema der formalen Semantik befähigt.