The Syllogism
Aristoteles' grundlegende logische Form ist der Syllogismus: eine Schlussfolgerung, die aus zwei Prämissen abgeleitet wird. Das klassische Beispiel: Alle Menschen sind sterblich. Sokrates ist ein Mensch. Daher ist Sokrates sterblich. Ein gültiger Syllogismus garantiert, dass wenn die Prämissen wahr sind, die Schlussfolgerung wahr sein muss. Aristoteles identifizierte über 200 gültige syllogistische Formen und klassifizierte sie in Figuren.
The Categories
In seinen Kategorien argumentierte Aristoteles, dass alles, was über die Wirklichkeit gesagt werden kann, in zehn grundlegende Kategorien fällt: Substanz, Quantität, Qualität, Relation, Ort, Zeit, Stellung, Zustand, Handlung und Leiden. Dieses ontologische Rahmenwerk — die Klassifizierung des gesamten Seins — beeinflusste jahrhundertelang die mittelalterliche Philosophie, die christliche Theologie und die islamische Philosophie.
Das Gesetz des Widerspruchs
Aristoteles formulierte das Gesetz des Widerspruchs: Nichts kann gleichzeitig in derselben Hinsicht sein und nicht sein. Dieses Grundprinzip — „A kann nicht gleichzeitig A und nicht-A sein
Der Einfluss der aristotelischen Logik
Mittelalterliche europäische Universitäten lehrten die aristotelische Logik als Grundlage aller akademischen Studien. Islamische Gelehrte wie Avicenna und Averroes überlieferten und erweiterten sie. Thomas Aquinas synthetisierte sie mit der christlichen Theologie. Sie wurde erst im 19. Jahrhundert verdrängt, als George Boole die Logik auf Algebra reduzierte und Gottlob Frege die Prädikatenlogik entwickelte, die mathematische Beweise bewältigen konnte, die Syllogismen nicht konnten.
Frequently Asked Questions
Was ist ein Syllogismus?
Ein Syllogismus ist ein dreiteiliges logisches Argument: zwei Prämissen führen zu einer Schlussfolgerung. Wenn die Prämissen wahr und das Argument gültig sind, muss die Schlussfolgerung wahr sein. Beispiel: Alle Menschen sind sterblich; Sokrates ist ein Mensch; daher ist Sokrates sterblich.
Hat Aristoteles die Logik erfunden?
Aristoteles erfand die formale Logik — die systematische Untersuchung der Regeln für gültiges Denken. Zwar verwendeten vorsokratische Philosophen und Platon logische Argumente, aber Aristoteles war der erste, der die Formen gültiger Schlussfolgerungen kodifizierte und klassifizierte.
Warum wurde die aristotelische Logik verdrängt?
Im 19. Jahrhundert reduzierte George Boole die Logik auf algebraische Operationen, und Gottlob Frege entwickelte die Prädikatenlogik — ein mächtigeres System, das die komplexe Quantifizierung für mathematische Beweise bewältigen konnte. Aristoteles' syllogistische Logik ist ein Spezialfall innerhalb der modernen formalen Logik.