Sorites (Kettenschluss)

Ein Polysyllogismus, bei dem die Konklusion jedes Syllogismus zur Prämisse des nächsten wird und mehrere Prämissen zu einer einzigen Endkonklusion verknüpft.

Lernen

Ein Polysyllogismus, bei dem die Konklusion jedes Syllogismus zur Prämisse des nächsten wird und mehrere Prämissen zu einer einzigen Endkonklusion verknüpft.

Ein Sorites ist eine besondere Art des Polysyllogismus: eine Folge von Aussagen P1, P2, ..., Pn, bei der jedes Pi einen Begriff mit Pi+1 teilt, sodass sie verkettet werden können. Die Endkonklusion verbindet das Subjekt der ersten Prämisse mit dem Prädikat der letzten.

Alle A sind B; alle B sind C; alle C sind D; ... ∴ alle A sind Z

Alle Hunde sind Säugetiere; alle Säugetiere sind Wirbeltiere; alle Wirbeltiere sind Tiere ∴ alle Hunde sind Tiere
Alle Athleten trainieren täglich; wer täglich trainiert, wird fit; wer fit ist, erbringt Leistung ∴ alle Athleten erbringen Leistung
Alle Katzen sind Feliden; alle Feliden sind Fleischfresser; alle Fleischfresser essen Fleisch ∴ alle Katzen essen Fleisch

So erkennen Sie es

Mehr als zwei Prämissen mit einer Kette gemeinsamer Begriffe
Das Prädikat jeder Prämisse erscheint als Subjekt der nächsten
Die Endkonklusion verbindet das erste Subjekt mit dem letzten Prädikat

Häufige Fehler

Eine gebrochene Kette (zwei Prämissen ohne gemeinsamen Begriff)
Quantorenwechsel (einige → alle) in der Mitte einfügen
Mit einem Enthymem verwechseln

Übungshinweise

Logische Schlussfolgerung