Syllogismus – Definition, Aufbau und Beispiele der aristotelischen Logik
Syllogismus: Definition, Aufbau und Beispiele aristotelischer Logik – klar erklärt mit Regeln, Varianten und praxisnahen Beispielen für Studium, Lehre und präzise Argumentation.
Ein Syllogismus ist eine Deduktion. Es ist eine Art logisches Argument, bei dem ein Satz (die Schlussfolgerung) aus zwei oder mehreren anderen (den Prämissen) abgeleitet wird. Die Idee ist eine Erfindung von Aristoteles.
In der Prioritätsanalyse definiert Aristoteles den Syllogismus als "einen Diskurs, in dem, nachdem bestimmte Dinge vermutet wurden, etwas anderes als die Dinge, die vermutet wurden, aus der Notwendigkeit resultiert, weil diese Dinge so sind". (24b18–20)
Jeder Satz muss in irgendeiner Form das Verb "sein" enthalten. Ein kategorischer Syllogismus ist wie eine kleine Maschine, die aus drei Teilen besteht: der Hauptprämisse, der Nebenprämisse und der Schlussfolgerung. Jeder dieser Teile ist ein Satz, und aus den ersten beiden wird der "Wahrheitswert" des dritten Teils bestimmt.
Bildergalerie
1 Bild
Aufbau und Begriffe
Ein klassischer (kategorischer) Syllogismus besteht aus genau drei Termen:
- Majorterm – das Prädikat der Schlussfolgerung (häufig P genannt),
- Minorterm – das Subjekt der Schlussfolgerung (häufig S genannt),
- Mittlerer Term – verbindet die beiden Prämissen, tritt in der Schlussfolgerung jedoch nicht auf (häufig M genannt).
Beispiel (einfaches, oft genanntes Beispiel):
- Majorprämisse: Alle Menschen sind sterblich. (Alle M sind P)
- Minorprämisse: Sokrates ist ein Mensch. (S ist M)
- Schlussfolgerung: Also ist Sokrates sterblich. (S ist P)
Kategorien von Aussagen (A, E, I, O)
Kategorische Aussagen werden traditionell in vier Typen unterteilt:
- A – Universell bejahend: "Alle S sind P." (z. B. Alle Katzen sind Säugetiere.)
- E – Universell verneinend: "Keine S sind P." (z. B. Keine Fische sind Säugetiere.)
- I – Partikulär bejahend: "Einige S sind P." (z. B. Einige Tiere sind nachtaktiv.)
- O – Partikulär verneinend: "Einige S sind nicht P." (z. B. Einige Vögel sind nicht flugfähig.)
Regeln für gültige kategorische Syllogismen
Ein Syllogismus ist formell gültig, wenn die Schlussfolgerung logisch aus den Prämissen folgt. Wichtige Regeln (vereinfacht) sind:
- Es müssen genau drei und nur drei verschiedene Terme vorhanden sein (keine versteckten zusätzlichen Terme).
- Der mittlere Term muss in mindestens einer Prämisse verteilt (d. h. auf alle Mitglieder bezogen) sein.
- Kein Term darf in der Schlussfolgerung verteilt sein, wenn er in den Prämissen nicht verteilt war.
- Aus zwei verneinenden Prämissen kann keine gültige Schlussfolgerung gezogen werden.
- Wenn eine Prämisse verneinend ist, muss auch die Schlussfolgerung verneinend sein (und umgekehrt).
Gängige gültige Formen
Bekannte gültige Muster der ersten Figur sind zum Beispiel:
- Barbara (AAA-1): Alle M sind P; Alle S sind M; Also Alle S sind P.
- Celarent (EAE-1): Keine M sind P; Alle S sind M; Also Keine S sind P.
- Darii (AII-1): Alle M sind P; Einige S sind M; Also Einige S sind P.
- Ferio (EIO-1): Keine M sind P; Einige S sind M; Also Einige S sind nicht P.
Operationen an Urteilen: Umwandlung, Obversion, Kontraposition
Bei der Arbeit mit kategorischen Aussagen sind drei Umformungen wichtig:
- Obversion – immer gültig: Ersetze Prädikat durch sein Komplement und verändere die Bejahung/Verneinung (z. B. "Alle S sind P" → "Keine S sind nicht P").
- Konversion – manchmal gültig: Vertausche Subjekt und Prädikat (z. B. "Keine S sind P" → "Keine P sind S" ist gültig; "Alle S sind P" → "Alle P sind S" ist im Allgemeinen nicht gültig).
- Kontraposition – unter bestimmten Bedingungen gültig: Ersetze Subjekt durch Komplement des Prädikats und Prädikat durch Komplement des Subjekts (bei A-Aussagen erfordert dies zusätzliche Annahmen).
Probleme und Weiterentwicklungen
Aristotelische Syllogistik geht von bestimmten Annahmen aus, etwa zur Existenz von Begriffen (existentieller Import). In manchen Formen werden universelle Aussagen so verstanden, dass sie die Existenz ihrer Subjekte voraussetzen; in der modernen Prädikatenlogik wird diese Frage explizit behandelt und oft anders gehandhabt. Die moderne Logik (Prädikatenlogik erster Stufe) kann syllogistische Argumente allgemeiner und formaler darstellen und prüft ihre Gültigkeit mittels Quantoren und Prädikaten.
Bedeutung und Verwendung
Der Syllogismus ist historisch die Grundlage für scholastische und frühmoderne Logik und bleibt ein nützliches Werkzeug zur Veranschaulichung grundlegender deduktiver Beziehungstypen. Er hilft, die Struktur von Argumenten zu analysieren, systematische Fehlschlüsse zu erkennen und die Bedingungen formaler Gültigkeit zu verstehen.
Für einen schnellen praktischen Check: identifiziere die drei Terme (S, P, M), bestimme Verteilung und Art der Prämissen (A, E, I, O) und prüfe, ob die oben genannten Regeln erfüllt sind. Wenn ja, ist der Syllogismus formal gültig.
Beispiele
Wichtigste Prämisse: Alle Menschen sind sterblich.
Kleine Prämisse: Alle Griechen sind Männer.
Schlussfolgerung: Alle Griechen sind sterblich.
Jeder der drei verschiedenen Begriffe steht für eine Kategorie. Im obigen Beispiel "Männer", "sterblich" und "Griechen". "Sterblicher" ist der Hauptbegriff, "Griechen" der Nebenbegriff. Die Prämissen haben auch einen Begriff miteinander gemeinsam, der als mittlerer Begriff bezeichnet wird; in diesem Beispiel "Mensch". Beide Prämissen sind universell, ebenso wie die Schlussfolgerung.
Wichtigste Prämisse: Alle Sterblichen sterben.
Geringfügige Prämisse: Manche Männer sind Sterbliche.
Schlussfolgerung: Einige Männer sterben.
Hier lautet der Hauptbegriff "sterben", der Nebenbegriff "Menschen" und der Mittelbegriff "Sterbliche". Die Hauptprämisse ist universell; die Nebenprämisse und der Schluss sind partikulär. Aristoteles studierte verschiedene Syllogismen und identifizierte gültige Syllogismen als Syllogismen mit der Schlussfolgerung wahr, wenn beide Prämissen wahr sind. Die obigen Beispiele sind gültige Syllogismen.
Ein Sorit ist eine Form der Argumentation, bei der eine Reihe unvollständiger Syllogismen so angeordnet ist, dass das Prädikat jeder Prämisse das Subjekt der nächsten bildet, bis das Subjekt der ersten mit dem Prädikat der letzten in der Schlussfolgerung verbunden wird. Wenn man z.B. argumentiert, dass eine gegebene Anzahl von Sandkörnern keinen Haufen ergibt und dass ein zusätzliches Korn ebenfalls keinen Haufen ergibt, dann ist die Schlussfolgerung, dass keine zusätzliche Sandmenge einen Haufen ergibt, die Konstruktion eines Sorites-Arguments.
Logik heute
Der Syllogismus wurde nach dem Werk von Gottlob Frege, das 1879 veröffentlicht wurde, durch die Logik erster Ordnung ersetzt. Diese Logik eignet sich für Mathematik, Computer, Linguistik und andere Fächer, da sie Zahlen (quantifizierte Variablen) anstelle von Sätzen verwendet.
Fragen und Antworten
F: Was ist ein Syllogismus?
A: Ein Syllogismus ist eine Art logisches Argument, bei dem eine Schlussfolgerung aus zwei oder mehr Prämissen abgeleitet wird.
F: Wer hat die Idee des Syllogismus erfunden?
A: Aristoteles erfand die Idee des Syllogismus.
F: Wie definiert Aristoteles den Syllogismus?
A: In der Prioren Analytik definiert Aristoteles den Syllogismus als "eine Rede, in der, nachdem bestimmte Dinge angenommen worden sind, etwas anderes als die angenommenen Dinge notwendigerweise entsteht, weil diese Dinge so sind".
F: Wie viele Prämissen sind für einen Syllogismus erforderlich?
A: Für einen Syllogismus sind zwei oder mehr Prämissen erforderlich.
F: Was muss in jedem Satz eines Syllogismus enthalten sein?
A: Jeder Satz muss eine Form des Verbs 'sein' enthalten.
F: Was ist ein kategorischer Syllogismus?
A: Ein kategorischer Syllogismus ist wie eine kleine Maschine, die aus drei Teilen besteht: die Hauptprämisse, die Nebenprämisse und die Schlussfolgerung.
F: Wie wird der "Wahrheitswert" des dritten Teils eines kategorischen Syllogismus bestimmt?
A: Der "Wahrheitswert" des dritten Teils eines kategorischen Syllogismus wird anhand der ersten beiden Prämissen bestimmt.
Verwandte Artikel
Autor
AlegsaOnline.com Syllogismus – Definition, Aufbau und Beispiele der aristotelischen Logik Leandro Alegsa
URL: https://de.alegsaonline.com/art/95604