檢視多三段論的原始碼

複三段論是一種複雜論證（也稱為連鎖論證，共有四種類型：複三段論、連鎖推論、省式三段論和兩難推論），它將任意數量的命題串連起來，共同形成一個三段論序列，其中每個三段論的結論，與下一個命題共同構成再下一個三段論的前提，依此類推。除了最後一個三段論外，每個構成的三段論都稱為「前三段論」，因為最後一個三段論的結論不會成為另一個三段論的前提。

== 範例 ==
定言複三段論的一個範例如下：
:所有好學生都能輕易理解複三段論
:所有邏輯學生都是好學生
:因此，所有邏輯學生都能輕易理解複三段論
:而所有閱讀此網頁的人都是邏輯學生
:因此，所有閱讀此網頁的人都能輕易理解複三段論

此論證具有以下結構：
:所有 A 是 B
:所有 C 是 A
:因此：所有 C 是 B
:所有 D 是 C
:因此，所有 D 是 B

注意兩點：首先，複三段論的構成不一定僅限於兩個組成三段論。事實上，它可以由任意數量的組成三段論構成。其次，其有效性取決於所有部分。只要其中任何一個部分無效，整個複三段論就會被視為無效。

命題複三段論的一個範例如下：

:正在下雨。
:如果我們在下雨時出門，就會被淋濕。
:如果我們被淋濕，就會著涼。
:因此，如果我們出門就會著涼。

檢視此論證的結構，可見以下構成（前）三段論的序列：

:正在下雨。
:如果我們在下雨時出門，就會被淋濕。
:因此，如果我們出門就會被淋濕。

:如果我們出門就會被淋濕。
:如果我們被淋濕，就會著涼。
:因此，如果我們出門就會著涼。

== 連鎖推論 ==

連鎖推論（sorites，複數形亦為 sorites）是一種特殊的複三段論，其中每個命題的謂詞是下一個前提的主詞。範例：

:所有獅子都是大型貓科動物。
:所有大型貓科動物都是掠食者。
:所有掠食者都是肉食性動物。
:因此，所有獅子都是肉食性動物。

sorites 一詞源自希臘文 σωρείτης (sōreitēs)，意為「堆積的」，而此字又源自 σωρός (sōros)，意為「堆」或「一疊」。因此，連鎖推論就是一堆串連在一起的命題。連鎖推論式複三段論不應與「堆垛悖論」（sorites paradox，又稱「沙堆謬誤」）混淆。

路易斯・卡羅在他的著作《符號邏輯學》（Symbolic Logic, 1896）中使用了連鎖推論。例如：

:沒有經驗豐富的人是無能的；
:詹金斯總是犯錯；
:沒有能幹的人總是犯錯。
:詹金斯缺乏經驗。

卡羅的範例可轉譯如下：

:所有經驗豐富的人都是能幹的人。
:沒有能幹的人是會犯錯的人。
:詹金斯是個會犯錯的人。
:詹金斯不是個經驗豐富的人。

== 參見 ==
* 聯珠法 — 複三段論的修辭學基礎。
* 哲學實在論
* 傳遞關係
* 三段論的類型（選言、假言、法律、複式、預設、準式、統計）

== 註釋 ==

== 參考書目 ==

Category:詞項邏輯
Category:三段論

[[分類: 待校正]]