Aristoteles’ Syllogistik vom Standpunkt der modernen formalen Logik

Einführung

Łukasiewicz schrieb das Buch in Dublin und veröffentlichte es 1951 bei Oxford University Press; die zweite Auflage von 1957 fügte Kapitel über Aristoteles’ modale Syllogistik hinzu. Es vertritt, dass Aristoteles’ Syllogismen keine Schlussregeln sind, sondern Bedingungssätze („wenn A allen B zukommt und B allen C, dann kommt A allen C zu“), und dass die Syllogistik eine axiomatische Theorie ist, die auf einer Aussagenlogik beruht, die Aristoteles benutzte, ohne sie auszusprechen. Łukasiewicz formalisierte das System in seiner Notation, zeigte mit Ergebnissen seines Schülers Jerzy Słupecki, dass es entscheidbar ist. Das Buch erneuerte die Erforschung der antiken Logik. Seit den 1970er Jahren schlugen John Corcoran und Timothy Smiley eine Lesart der Syllogistik als System des natürlichen Schließens vor, die heute viele Forschende vorziehen.

Verbindungen

Baut auf

• Organonca. 350 v. Chr. · Aristoteles

Weitere Werke von Jan Łukasiewicz

• 1920Über die dreiwertige Logik