連鎖推理(sorites)是複合三段論的省略形式之一，它在一個複合三段論中，只提出最後一個總的結論，而省略其他各三段論的結論，與複合三段論相應，它也有兩種形式。
基本介紹
- 中文名：連鎖推理
- 外文名：sorites
- 所屬學科：數學
- 所屬問題：形式邏輯
- 簡介：複合三段論的省略形式之一
- 兩種形式：前進連鎖推理，後退連鎖推理
基本介紹,前進連鎖推理,後退連鎖推理,
基本介紹
連鎖推理又名 “連鎖三段論”，是複合推理的省略形式，即在複合三段論中，只保留最後一個三段論的結論，其餘各個三段論的結論都被省略的推理。與複合推理的兩種形式相適應，連鎖推理也可分為前進的連鎖推理和後退的連鎖推理。
前進的連鎖推理是前進的複合推理的省略式。它只保留了最後一個三段論的結論，而省略了其他各個三段論的結論。其結構形式是： D是E，C是D，B是 C，A是B，所以，A是E。在這形式中省略了中間結論“C是E”和 “B是E”。
後退的連鎖推理是後退的複合推理的省略形式，它保留最後 一個三段論的結論，而省略了其他各個三段論的結論。其結構形式是：“A是B，B是C，C是D，D是E，所以，A是E。”在這一形式中，“A是C”、“A是D”等都被省略 了。在前進的連鎖推理中，被省略的 這些判斷既是前一三段論的結論，又是後一三段論的大前提。在後退的連鎖推理中，被省略的這些判斷既是前 一三段論的結論，又是後一三段論的小前提。
前進連鎖推理
前進連鎖推理即前進的連鎖三段論，即在前進的複合三段論中，只提出最後一個結論，而省略其餘各個三段論的結論。由於這種形式是由德國的哥克蘭尼(Rodolphus Goclenius，1547—1628)所提出的，故亦稱哥克蘭尼式連鎖三段論。例如：“凡以種子繁殖的植物(M1)，都是高等植物(P)，裸子植物(M2)是以種子繁殖的植物(M1)，銀杏目植物(M3)是裸子植物(M2)，銀杏(S)是銀杏目植物(M3)，所以，銀杏(S)是高等植物(P)。”其邏輯形式為：
圖1後退連鎖推理
後退連鎖推理即後退的連鎖三段論，即在後退的複合三段論中，只提出最後一個結論，而省略其餘各個三段論的結論。由於這種形式是由亞里士多德最先提出的，故亦稱亞里士多德式連鎖三段論。例如：“銀杏(S)是銀杏目植物(M3)，銀杏目植物(M3)是裸子植物(M2)，裸子植物(M2)是以種子繁殖的植物(M1)，以種子繁殖的植物(M1)是高等植物(P)，所以，銀杏(S)是高等植物(P)。”其邏輯形式為：
圖2