====== Kettenschluss ======

Eine beliebig lange Serie von //Prämissen//, die aus miteinander verknüpften [[begriffe:allsatz|Allsätzen]] (oder [[begriffe:konditional|Konditionalsätzen]]) gebildet wird und die durch einen neu gebildeten //Allsatz// ersetzt werden kann, der aus der [[begriffe:antezedenz|Antezedenz]] der ersten Prämisse und der  [[begriffe:konsequenz|Konsequenz]] der letzten gebildet wird.

Das kann als Formel wie folgt dargestellt werden:

> Alle **A** sind B.
> Alle B sind C.
> …
> Alle M sind **N**.
> <span conclusio><span "daraus folgt">∴</span> Alle <b>A</b> sind <b>N</b>.</span>

===== Kettenargument =====

Eine Variante des Kettenschlusses, die auf [[begriffe:konditional|Konditionalaussagen]] (anstelle von [[begriffe:allsatz|Allsätzen]]) aufbaut, wird manchmal als „Kettenargument” bezeichnet. 

Da sich Konditionalaussagen stets in Allsätze umwandeln lassen, ist die folgende Form logisch äquivalent zur oben aufgeführten:

> Wenn **A**, dann B.
> Wenn B, dann C.
> …
> Wenn M, dann **N**.
> <span conclusio><span "daraus folgt">∴</span> Wenn <b>A</b>, dann <b>N</b>.</span>

===== Andere Namen =====

  * Polysyllogismus
  * Prosyllogismus
  * [[logik:schlussformen:modus_barbara:hauptseite|Modus Barbara]] <span noprint> [[app>#barbar|Modus Barbara in Syllogism-Finder App anzeigen]]</span> – Sonderfall des Kettenschlusses mit genau drei Begriffen
  * Sorites (eigentlich: <span "Lat.: gehäufter Syllogismus"><i :la>soriticus syllogismus</i></span> oder <i :grc-Latn>soritikós</i> [<span :grc>σωρῑτικός</span>], nicht zu verwechseln mit dem [[wissen:sorites-irrtum|Sorites-Irrtum]]).
  * <i :la "Lat.: Haufen">Acervus</i>
  * Häufelschluss

===== Beispiel =====

> Alle **Quadrate** sind [[wpde>Rechtecke]].
> Alle //Rechteck// sind [[wpde>Parallelogramm|Parallelogramme]].
> Alle //Parallelogramm// sind [[wpde>Trapez (Geometrie)|Trapeze]].
> Alle //Trapez// sind [[wpde>Vierecke]].
> Alle //Viereck// sind [[wpde>Polygone]].
> Alle //Polygon// können **ohne abzusetzen gezeichnet werden**.
> <span conclusio><span "daraus folgt">∴</span> Alle **Quadrat** können **ohne abzusetzen gezeichnet werden**.</span>

===== Siehe auch =====

  * [[begriffe:enthymem_rhetorik|Enthymem]]
  * [[logik:schlussformen:hypothetischer_syllogismus#kettenargument|Hypothetischer Syllogismus § Kettenargument]]
  * [[begriffe:konditional|Konditional]]
  * [[logik:schlussformen:modus_barbara:hauptseite|Modus Barbara]]

===== Weitere Informationen =====

  * [[wpde>Kettenschluss]] auf //Wikipedia.//