Richter: Semantik II (WS 08/09)

Allgemeine Informationen zum Kurs

Informationsblatt (modifzierte Version des in der ersten Seminarsitzung ausgegebenen Handouts)
Seminarsitzungen: Die Lehrveranstaltung findet statt dienstags 11.30-13.00 (Raum M 12.21, Azenbergstraße 12) und freitags 9.45-11.15 in Raum M 12.11 (ab 19.12., geändert wegen der Kälte in Wiederholdstraße 13)
Sprechstunde: Dienstag, 14.00-15.00, IMS, Raum 2.13 (Email: f.richter@em.uni-frankfurt.de)
Vorläufiger Zeitplan des Seminars (Stand 21.10.)

Schriftliche Hausaufgaben

Wie im Informationsblatt beschrieben, fließen insgesamt drei schriftlich zu bearbeitenden Hausaufgaben mit 50 Prozent Gewichtung in die Bewertung der in diesem Kurs erbrachten Leistungen ein. (Die restlichen 50 Prozent werden in Form der Abschlussklausur erbracht)
Jeweils ab dem Tag, an dem die Aufgaben gestellt werden, liegen sie hier zum Herunterladen bereit.

Handouts, Slides, Software

Intensionale Logik höherer Ordnung (Handout vom 2.12.)
Typentheoretische Logik höherer Ordnung (Handout vom 21.11.)
Prädikatenlogik erster Stufe in der Notation von Gamut (Handout vom 17.10.)
Der Mögliche-Welten-Rechner (online Software), verwendet in der Seminarsitzung vom 21.10.
Unterstützt die Erstellung von bis zu 4 Welten mit beliebiger Zugänglichkeitsrelation und zwei Propositionen pro Welt und wertet beliebige Formeln relativ zum konstruierten Modell aus

Literatur

L.T.F. Gamut (1991): Logic, Language, and Meaning. Volume I. Introduction to Logic. The University of Chicago Press, Chicago.
L.T.F. Gamut (1991): Logic, Language, and Meaning. Volume II. Intensional Logic and Logical Grammar. The University of Chicago Press, Chicago.
G.E. Hughes and M.J. Cresswell (1996): A New Introduction to Modal Logic. Routledge.

Das zentrale Lehrbuch des Kurses ist Band II von Gamut (1991). Band I bildet den vorausgesetzten Hintergrund. Das Buch von Hughes und Cresswell führt in weitere Details der Modallogik ein und eignet sich, den technischen Teil des Seminars zur Modallogik zu vertiefen.

Ein paar relevante Anlaufstellen im Internet

Frank Richter