Der Syllogismus
Die grundlegende logische Form von Aristoteles 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 bei wahren Prämissen die Schlussfolgerung wahr sein muss. Aristoteles identifizierte über 200 gültige syllogistische Formen und klassifizierte sie in Figuren.
Die Kategorien
In seinen Kategorien argumentierte Aristoteles, dass alles, was über die Realität gesagt werden kann, in zehn fundamentale Kategorien fällt: Substanz, Quantität, Qualität, Relation, Ort, Zeit, Lage, Zustand, Handeln und Leiden. Dieser ontologische Rahmen – die Klassifizierung des gesamten Seins – beeinflusste die mittelalterliche Philosophie, die christliche Theologie und die islamische Philosophie über Jahrhunderte hinweg.
Das Gesetz des Widerspruchs
Aristoteles formulierte das Gesetz des Widerspruchs: Nichts kann gleichzeitig und in derselben Hinsicht sein und nicht sein. Dieses fundamentale Prinzip – „A kann nicht gleichzeitig A und Nicht-A sein“ – ist das Fundament des logischen Denkens und der klassischen Mathematik.
Zwanzig Fragen, acht Minuten auf der Uhr und ein Perzentil, gemessen an allen bisherigen Teilnehmern. Ohne Anmeldung.
IQ-Test starten →Der Einfluss der aristotelischen Logik
Mittelalterliche europäische Universitäten lehrten die aristotelische Logik als Fundament aller akademischen Studien. Islamische Gelehrte wie Avicenna und Averroes vermittelten und erweiterten sie. Thomas von Aquin 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 handhaben konnte, wozu Syllogismen nicht in der Lage waren.
Häufig gestellte Fragen
Was ist ein Syllogismus?
Ein Syllogismus ist eine dreiteilige logische Argumentation: Zwei Prämissen führen zu einer Schlussfolgerung. Wenn die Prämissen wahr sind und das Argument gültig ist, 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 – das systematische Studium der Regeln für gültiges Denken. Während vorsokratische Philosophen und Platon logische Argumente verwendeten, war Aristoteles der Erste, der die Formen gültiger Schlussfolgerungen kodifizierte und klassifizierte.
Warum wurde die aristotelische Logik ersetzt?
Im 19. Jahrhundert reduzierte George Boole die Logik auf algebraische Operationen und Gottlob Frege entwickelte die Prädikatenlogik – ein mächtigeres System, das in der Lage war, die komplexe Quantifizierung zu handhaben, die für mathematische Beweise erforderlich ist. Aristoteles' syllogistische Logik ist ein Spezialfall innerhalb der modernen formalen Logik.