Eine Form des deduktiven Arguments, bestehend aus zwei Prämissen und einer Schlussfolgerung, die drei Begriffe nach klassischen syllogistischen Mustern verknüpft (typischerweise kategoriale Aussagen wie ‚Alle A sind B; C ist A; daher ist C B‘); Gültigkeit hängt von der formalen Struktur ab, Stimmigkeit zusätzlich von wahren Prämissen.

Prinzip

Die Gültigkeit eines Syllogismus ist eine Funktion seiner logischen Form und der Verteilung der Terme; eine syllogistische Form kann gültig sein, unabhängig von der empirischen Wahrheit der Prämissen, und ein gültiger Syllogismus liefert nur dann eine notwendigerweise wahre Schlussfolgerung, wenn seine Prämissen wahr sind (Stimmigkeit).

Demonstration

Illustratives Szenario → Situation: Prämissen: (1) Alle Säugetiere sind warmblütig. (2) Alle Wale sind Säugetiere. Erkennen: Die Prämissen entsprechen der klassischen Barbara‑Form (Alle A sind B; Alle C sind A). Handlung: Anwenden der syllogistischen Deduktion. Konsequenz: Schlussfolgerung: Alle Wale sind warmblütig. Die Schlussfolgerung folgt gültig aus der Form; ihre faktische Wahrheit hängt von der Wahrheit der Prämissen ab.

Fehlanwendung

Aus universell quantifizierten Prämissen ohne existentialen Gehalt existenzielle Schlüsse ziehen (z. B. aus ‚Alle A sind B‘ folgern, ‚Es existiert ein A‘, falls die Domäne leer sein könnte). Der Fehler besteht darin, formale Gültigkeitsbedingungen mit unausgesprochenen ontologischen Annahmen zu verwechseln.

Konsequenz

Syllogismen bieten eine kompakte Methode, notwendige Konsequenzen aus gegebenen Prämissen abzuleiten und implizite Annahmen offenzulegen; falsch angewendet können sie überzeugende, aber unstimmige Argumente produzieren, wenn Prämissen falsch sind oder unausgesprochene Existenzannahmen fehlen.

Umkehrung

Die klassischen syllogistischen Regeln sind in der modernen Prädikatenlogik und in Kontexten mit Quantorinterpretationen, leeren Domänen, modalen Operatoren oder pluraler Referenz zu qualifizieren; manche klassischen Schlüsse setzen existentialen Gehalt voraus, den moderne Interpretationen ablehnen.

Abgrenzung

Klar darin: Ein drei‑begriffe kategorisches Argument, das einer gültigen syllogistischen Stimmung und Figur entspricht (z. B. Barbara). Randfall: Argumente mit Quantoren, die modale oder temporelle Operatoren enthalten und bei denen klassische Stimmungen nicht unmittelbar anwendbar sind. Klar außerhalb: Mehrstufige formale Beweise in Aussagen‑ oder Prädikatenlogik, die nicht auf der drei‑Term‑kategorialen Struktur beruhen.

Semantische Spannung

Formale Gültigkeit ↔ Empirische Wahrheit — Syllogismen trennen die logische Form, die Gültigkeit sichert, von der Wahrhaftigkeit der Prämissen, die Stimmigkeit erfordert; dies erzeugt eine Spannung zwischen deduktiver Gewissheit und empirischer Rechtfertigung der Prämissen.

Synthese

Syllogismen funktionieren als diagnostisches Werkzeug: Sie legen offen, welche Schlussfolgerungen strikt aus bestimmten Annahmen folgen, und trennen so logische Fehler (ungültige Form) von faktischen Fehlern (falsche Prämissen oder unausgesprochene Existenzannahmen).