Aristoteles Logik Syllogismen Mindmap

Das Thema verstehen

Aristoteles begründete mit der Syllogistik die erste systematische Form der Logik. In der Lehre von den Analytika beschreibt er, wie aus zwei Prämissen ein zwingender Schluss folgt. Zentrale Elemente sind Begriffe, Urteile, die vier Figuren der Syllogismen sowie gültige Modi wie Barbara und Celarent. Seine Unterscheidung von Wesenheit und Akzidenz sowie die Prinzipien der Identität und des Widerspruchs prägten die Philosophie bis in die Moderne und wurden erst durch Frege und die moderne Aussagenlogik ergänzt.

Was ist ein Syllogismus?
Ein Syllogismus ist nach Aristoteles ein Schluss, bei dem aus zwei Prämissen, die einen gemeinsamen Begriff teilen, eine neue Aussage folgt. Das klassische Beispiel lautet: Alle Menschen sind sterblich; Sokrates ist ein Mensch; also ist Sokrates sterblich. Der Mittelbegriff (Mensch) verbindet die beiden Prämissen und macht den Schluss möglich. Entscheidend ist die Gültigkeit: Ein Syllogismus ist gültig, wenn die Konklusion zwangsläufig aus den Prämissen folgt, unabhängig davon, ob die Prämissen tatsächlich wahr sind. Wahrheit der Prämissen und logische Gültigkeit sind zwei verschiedene Dinge, die Aristoteles klar unterscheidet.

Die vier Urteilsarten
Aristoteles unterscheidet vier Typen von Urteilen, die in der traditionellen Logik mit den Buchstaben A, E, I und O bezeichnet werden. A steht für ein allgemeines bejahendes Urteil (Alle S sind P), E für ein allgemeines verneinendes (Keine S sind P), I für ein partikuläres bejahendes (Einige S sind P) und O für ein partikuläres verneinendes (Einige S sind nicht P). Aus diesen vier Urteilsformen ergeben sich die möglichen Kombinationen der Syllogismen. Die Beziehungen zwischen diesen Urteilen, etwa dass aus einem allgemeinen bejahenden Urteil ein partikuläres bejahendes folgt, werden später als logisches Quadrat systematisiert.

Figuren und Modi
Die Stellung des Mittelbegriffs in den Prämissen bestimmt die Figur eines Syllogismus. In der ersten Figur ist der Mittelbegriff Subjekt der ersten und Prädikat der zweiten Prämisse; in der zweiten Figur ist er zweimal Prädikat; in der dritten Figur zweimal Subjekt. Die vierte Figur wurde erst später, in der scholastischen Tradition, ergänzt. Innerhalb der Figuren bezeichnen Modi die Kombination der Urteilsarten, etwa Barbara (AAA) oder Celarent (EAE). Mittelalterliche Logiker prägten Merkverse, in denen die Vokale die Urteilsarten und die Namen Regeln zur Reduktion auf die erste Figur kodieren.

Bedeutung und Grenzen
Aristoteles' Syllogistik war über zweitausend Jahre das dominierende Modell des logischen Schließens und wurde in der Scholastik weiterentwickelt. Ihre Grenze liegt darin, dass sie nur Begriffs- und Prädikatenbeziehungen einfacher Sätze erfasst, aber keine mehrstelligen Relationen wie größer als oder zwischen ausdrücken kann. Gottlob Frege zeigte Ende des 19. Jahrhunderts mit der modernen Prädikatenlogik, dass sich weit mehr Schlüsse formalisieren lassen. Die Syllogistik bleibt dennoch ein bewährtes Einstiegsmodell, um Gültigkeit, Prämissen und Schlussfolgerungen grundlegend zu verstehen.