180167 VO-L Einführung in die formale Semantik (2022S)

Formale Semantik ist die Erforschung von sprachlicher Bedeutung mit mathematisch-logischen Mitteln. Hauptziel der Vorlesung ist es zu verstehen, wie kompetente Sprecher einer natürlichen Sprache wie Deutsch oder Englisch die Bedeutungen von einfachen Ausdrücken (Worten, Morphemen) ihrer Sprache verstehen und mit ihnen die Bedeutung von komplexen Ausdrücken (Wortverbindungen, Satzteilen, Sätzen) verstehen.

Die Vorlesung hat drei Teile. Im ersten Teil fragen wir: Was ist Bedeutung? Was ist wahrheitskonditionale Semantik? Warum gibt es überhaupt eine kompositionale Semantik natürlicher Sprachen zu entdecken und erforschen?
Im zweiten Teil wird in Grundbegriffe der Linguistik eingeführt. Wir lernen einige Werkzeuge aus der Syntax und der Mengenlehre kennen, die wir zur Analyse der Bedeutung deutscher Ausdrücke benötigen.
Im dritten Teil — der den Großteil des Semesters ausmacht — werden wir die Bedeutung einiger der wichtigsten Konstruktionen des Deutschen untersuchen, viele davon von großem Interesse auch in der Sprachphilosophie.

Die Vorlesung ist eine Einführung in das *Handwerk* der formalen Semantik. Das Erlernen grundlegender Techniken der Semantik steht im Vordergrund. Die Veranstaltung ist für Linguist*innen genauso wie für Philosoph*innen geeignet. Die formale Analyse der Bedeutung natürlich-sprachlicher Ausdrücke mit den Mitteln der Linguistik ist in vielen Bereichen der zeitgenössischen Philosophie ein essenzielles Handwerkszeug.

Der Besuch des begleitenden Tutoriums ist dringend empfohlen. Im Tutorium ist Zeit & Raum, die in der Vorlesung vorgestellten Konzepte & Methoden einzuüben und zu praktizieren. Das Tutorium ist auch eine ideale Prüfungsvorbereitung.