跳至內容

三段論

維基百科,自由的百科全書

三段論傳統邏輯中,是在其中一個命題結論)必然地從另外兩個命題(叫做前提)中得出的一種推論。這個定義是傳統的,可以寬鬆地從亞里士多德的《前分析篇》英語Prior AnalyticsBook I, c. 1中推出來。希臘語「sullogismos」的意思是「演繹」。對傳統意義上的三段論的詳細描述參見直言三段論[1]

三段論由三個部分組成:大前提、小前提和結論。邏輯上,結論是於小前提之上應用大前提得到的。大前提是一般性的原則,小前提是一個特殊陳述。

正式定義

數理邏輯裏,三段論證可以能代表:(若 都為合式公式)

也就是一個元定理,事實上是演繹定理的直截結果。

但另一方面,若

成立,則也會被稱為以 為前提, 為結論的三段論證。

範例

亞里士多德給出的經典的「Barbara」三段論:[2]

如果所有(M)都是必的(D),(大前提):
並且所有希臘人(G)都是人(M),(小前提):
那麼所有希臘人(G)都是必死的(D)。(結論):

嚴謹地說,這段論證宣稱

這個論證會正確,是基於

還有普遍化:(若變數裏的所有合式公式中,都不自由

,那就會有

另一方面,含常數符號(特殊個體)的例子如

所有人(M)都是必死的(D),(大前提):
蘇格拉底(S)是人(M),(小前提):
蘇格拉底是必死的。(結論):

上面的例子也可以抽換成

(所有)金屬可以導電,(大前提)
是金屬,(小前提)
銅可以導電。(結論)

有效性

與之相對的是隱喻,它組織叫做肯定後件的一種形式的三段論,是邏輯謬論

(P)會死(M).
(S)會死(M).
人(S)是草(P).

Barbara三段論涉及文法邏輯類型;它有一個主詞(比如蘇格拉底)和一個謂詞(必死的)。肯定後件,是隱喻的基礎。這種形式的三段論是邏輯上無效的

三段論也可以是無效的,如果它們有四個項或者中項不周延

歸納論證(epagoge)是依賴於歸納推理的弱三段論。

24論式圖示

下表以文氏圖展示24個有效直言三段論,不同欄表示不同的前提,不同外框顏色表示不同的結論,需要存在性預設的推理以虛線與斜體字標示。

AA AE AI AO EI
AAA AAI AEE AEO EAE EAO AII IAI AOO OAO EIO
1
Barbara

Barbari

Celarent

Celaront

Darii

Ferio
2
Camestres

Camestros

Cesare

Cesaro

Baroco

Festino
3
Darapti

Felapton

Datisi

Disamis

Bocardo

Ferison
4
Bamalip

Calemes

Calemos

Fesapo

Dimatis

Fresison

參見

參考文獻

  1. ^ 朱建平. 亚里士多德逻辑的现代性研究. 中國社會科學網. 中國大陸: 中國社會科學院. 2019-11-07 [2020-10-05]. (原始內容存檔於2022-02-26) (中文(簡體)). 
  2. ^ 01哲學團隊. 亞里士多德:邏輯作為方法 - EP12. 香港: 香港01. 2017-02-14 [2020-10-05]. (原始內容存檔於2022-02-26) (中文(繁體)). 

外部連結

傳統邏輯三段論
形式直言三段論 | 選言三段論 | 假言三段論 | 複合三段論 | 準三段論 | 統計三段論
其他對立四邊形 | 布林三段論 | 三段論謬論