Typenlogische Grammatik

Das Seminar gibt einen Überblick über die Typenlogische Grammatik, einer modernen Variante der Kategorialgrammatik, die auf Arbeiten des Mathematikers Joachim Lambek aus den fünfziger und sechziger Jahren zurückgeht. Die syntaktischen Kategorien der natürlichen Sprache werden als Formeln eines logischen Kalküls aufgefaßt. Das Parsen von Sätzen ist demnach identisch mit logischer Deduktion. Die Typenlogische Grammatik verfügt in Form der Curry-Howard-Korrespondenz über eine elegante Schnittstelle zur modell-theoretischen Semantik.

Das Seminar wird sich auf die Analyse von Quantifikation, Anaphorik und Ellipse (und der Interaktion dieser Phänomene) konzentrieren.

Vorausgesetzt werden die Einführungsvorlesungen "Syntax und Morphologie" sowie "Semantik und Pragmatik" des BA-Studienganges oder äquivalente Kenntnisse.