| Kommentar |
Im Gegensatz zur modernen Aussagen- und Quantorenlogik lehnte sich die traditionelle, auf Aristoteles zurückgehende, Term- oder Begriffslogik eng an die Subjekt/Prädikat-Struktur bzw. an die Zerlegung in Nominal- und Verbalphrase von Sätzen der natürlichen Sprache an. Zudem verstand sie sich als Wissenschaft von den Gesetzen des Denkens bzw. deduktiven Schließens in unmittelbarer Nähe zu dem, was man heute als Kognitionspsychologie bezeichnen würde. Nun gilt die Termlogik spätestens seit Frege als überholt, unter anderem auch wegen ihrer angeblichen Unfähigkeit, relationalen Ausdrücken gerecht zu werden.
Es ist das Verdienst von Fred Sommers, die traditionelle Begriffslogik praktisch im Alleingang rehabilitiert zu haben. Auf Leibniz, De Morgan und Boole zurückgreifend arbeitete er die sogenannte ``Term Funtor Logic'' (TFL) als glaubwürdige Alternative zur herkömmlichen Quantorenlogik aus, welche unter anderem auch die Algebra der Relationen zufriedenstellend ausdrücken kann.
Gegenstand des Seminars ist die Lektüre und Diskussion von Sommerses Hauptwerk ``The Logic of Natural Language''.
Das Seminar findet als Blockseminar (im Prinzip) jeden zweiten Samstag von 9 bis 12 Uhr statt, beginnend mit dem ersten Samstag zu Semesterbeginn.
Zur Einführung und Diskussion in der ersten Sitzung sind die Teilnehmer gebeten, Sommerses Artikel ``Predication in the Logic of Terms'' vorzubereiten.
Bibliographie
Fred Sommers (1982). The Logic of Natural Language. Oxford: Oxford University Press.
Ders. (1990). ``Predication in the Logic of Terms.'' Notre Dame Journal of Formal Logic no. 31 (1):106-126. |
