Die menschliche Sprachfähigkeit wird in der modernen Linguistik zunehmend durch abstrakte Theorien beschrieben. Die Bedeutung sprachlicher Ausdrücke läßt sich durch die Übersetzung in formale Logiksprachen und deren Verhältnis zu Modellen von der Welt rekonstruieren. 'Formale Semantik und Natürliche Sprache' bietet eine übersichtliche Darstellung der gängigen theoretischen Konzepte und Analyseverfahren und führt kapitelweise von der elementaren Mengenlehre über Aussagen- und Prädikatenlogik, Typentheorie, Lambda-Kalkül, Temporalsemantik und Modallogik bis hin zur intensionalen Logik. Zusätzlich vermittelt es die technischen Grundlagen der formalen Semantik. Aufgrund seines didaktisch klar strukturierten Aufbaus sowie vieler Beispiele und Übungsaufgaben eignet es sich nicht nur zum Selbststudium, sondern auch als Leitfaden für den Seminarunterricht.

InhaltsangabeEinleitung - Mengenlehre - Relationen und Funktionen - Aussagenlogik - Prädikatenlogik - Typentheorie - ?-Kalkül - Die Sprache L?,t - Semantik der Nominalphrasen - Temporalsemantik - Modallogik - Intensionale Logik.