Einführung in die formale Semantik (Introduction to formal semantics)

Linguistics Department, Georg-August Universität Göttingen, Summer 2004, teaching language: English

For materials please go to updated course: Formal semantics an semantic implementation

In der lexikalischen Semantik (auch Wortsemantik) wird versucht, die Bedeutung eines einzelnen Wortes und deren Zusammenhang mit der Bedeutung anderer einzelner Wörter zu bestimmen. Die formale Satzsemantik, mit der wir uns in dieser Veranstaltung ausschließlich befassen, fragt hingegen vereinfacht gesagt danach, unter welchen Bedingungen ein Satz wahr oder falsch ist. Der Satz “Eine Katze sitzt auf der Matte” ist z.B. nur dann wahr, wenn es (1) eine Katze sowie (2) eine Matte gibt, (3) wenn die Katze sitzt (und nicht steht, läuft o.ä.), und (4) wenn sich dabei die Matte unter der Katze befindet. Die lexikalische Bedeutung der Wörter “Katze”, “sitzen” und “Matte” ist dabei satzsemantisch gesehen insofern irrelevant, als es beliebig viele andere einsetzbare Wörter gibt, die einen Satz mit identischer semantischer Struktur produzieren, z.B. “Ein Elefant liegt auf dem Futon”. Ob ein Satz wahr ist, hängt also primär von der Art ab, in der seine Bestandteile kombiniert werden. Was hier zunächst banal aussieht, lässt sich allerdings nicht ohne einen gewissen auf den formalen Sprachen der Logik basierenden Aufwand exakt beschreiben. Besonders einleuchtend wird dies bei doppeldeutigen oder komplizierteren Sätzen. In dem Proseminar beginnen wir mit einer Einführung in die Logik (Aussagenlogik, Prädikatenkalkül erster und zweiter Stufe) und widmen uns dann verschiedenen Fragen der formalen Semantik und evtl. auch semantisch inspirierten syntaktischen Theorien.