Die menschliche Sprachfahigkeit wird in der modernen Linguistik zunehmend durch abstrakte Theorien beschrieben. Die Bedeutung sprachlicher Ausdrucke lasst sich durch die Ubersetzung in formale Logiksprachen und deren Verhaltnis zu Modellen von der Welt rekonstruieren. 'Formale Semantik und Naturliche Sprache' bietet eine ubersichtliche Darstellung der gangigen theoretischen Konzepte und Analyseverfahren und fuhrt kapitelweise von der elementaren Mengenlehre uber Aussagen- und Pradikatenlogik, Typentheorie, Lambda-Kalkul, Temporalsemantik und Modallogik bis hin zur intensionalen Logik. Zusatzlich vermittelt es die technischen Grundlagen der formalen Semantik. Aufgrund seines didaktisch klar strukturierten Aufbaus sowie vieler Beispiele und Ubungsaufgaben eignet es sich nicht nur zum Selbststudium, sondern auch als Leitfaden fur den Seminarunterricht.