多三段論

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

範例

定言複三段論的一個範例如下：

所有好學生都能輕易理解複三段論

所有邏輯學生都是好學生

因此，所有邏輯學生都能輕易理解複三段論

而所有閱讀此網頁的人都是邏輯學生

因此，所有閱讀此網頁的人都能輕易理解複三段論

此論證具有以下結構：

所有 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:三段論