傳統邏輯中的一類主要推理。也稱直言三段論。古希臘哲學傢、邏輯學傢亞裡斯多德首先提出瞭關於三段論的系統理論。
三段論的形式 三段論是這樣一類推理：它由三個直言命題組成，其中兩個是前提，一個是結論；並由三個不同的詞項作這些命題的主謂項，而每個詞項在兩個命題中各出現一次。習慣上以 S代表結論的主項（小項），P代表結論的謂項（大項），M代表在兩前提中出現的詞項（中項）；包含小項的的前提叫小前提，包含大項的前提叫大前提。
一個三段論是有效的當且僅當符合以下5條規則:①M至少周延一次；②S、P在結論中周延僅當它在前提中周延；③兩前提並非都是否定的；④如有一否定的前提則結論也是否定的；⑤如結論是否定的則有一前提也是否定的。除⑤外，這些規則並不都彼此獨立。
根據S、M、P在前提中作主謂項的不同情況，三段論分為以下4個格：
第1格 第2格 第3格 第4格
M-P P-M M-P P-M
S-M S-M M-S M-S
S-P S-P S-P S-P
組成三段論的三個直言命題可以有各種形式，由此形成三段論的式，如AAA。其中有的式在任何格裡都無效，如EEE；有的式隻在某些格裡有效。三段論有以下24個有效的形式：歐洲中世紀邏輯學傢為瞭幫助人們記憶有效的三段論形式及其化歸方法，用拉丁文編寫瞭一些口訣，並在大部分單詞中嵌入瞭代表有效式的字母，這些單詞就是各有效三段論形式的名稱。如 Barbara中就嵌入瞭AAA。這裡所列的名稱，采自較為常見的一首口訣。
三段論
三段論的各種形式中，隻有第1格三段論能得到結論SAP，在日常思維中第1格更為自然而習見；第2格隻能得到否定的結論，它常用於區別事物；第3格隻能得到特稱的結論，常用於證明具有某種屬性的事物存在。
在日常思維中容易發生的錯誤有：①中項在兩前提中都不周延，如“有學生是大學生，有人是學生，所以，有人是大學生”；②在前提中不周延的項在結論中周延，如“有唯物主義者是馬克思主義者，凡共產主義者是馬克思主義者，所以，凡共產主義者是唯物主義者”；等等。
三段論的化歸 亞裡士多德已充分討論過三段論的化歸問題，建立瞭人類歷史上最早的公理系統之一。他所開創的傳統邏輯利用對當關系、換質和換位、歸謬法等，把其他格的三段論化歸為第1格，並用Barbara證明第1格的其他各式，從而把24個有效的三段論形式組成一個公理系統。
三段論的圖解 邏輯史上有許多不同的圖解方法，其中歐拉圖解是比較典型的。它說明一個三段論是否有效的步驟是：先分別給出兩前提為真的圖解，然後再給出這些圖解的聯合情況；最後判明在各個聯合情況下，結論是否為真。例如，Barbara的圖解(見第741頁，Barbara圖解)。從該圖解可以看出，在iα～iiβ4種情況下SAP都真，因此Barbara是有效的。文恩圖解（見邏輯代數）則更能顯示出三段論的特征及傳統邏輯的局限性。
省略三段論和復合三段論 三段論在用語言表達時如果省略瞭一個命題，就叫做省略三段論，它實際上不是思維形式方面的問題。所謂復合三段論有以下3種情況：①前後三段論，這是兩個三段論的結合，其第一個三段論即前三段論的結論為第二個三段論即後三段論的前提之一。例如：所有 C是D，所有B是C，所以，所有B是D；所有 A是B，所以，所有A是D。②帶證式，即前三段論是省略三段論的復合三段論。例如：所有B是D，因為所有B是C；所有A是B，所以，所有A是D。③連鎖推理，舊稱堆垛推論。這是一系列三段論，除最後的結論外，其他結論都被省略，而且每兩個相鄰的命題都有一共同的詞項。典型的連鎖推理形式如亞裡士多德式：所有A是B，所有B是C，所有C是D，所以，所有A是D；哥克蘭尼式：所有 C是D，所有B是C，所有A是B，所以，所有A是D。關於連鎖推理更為合理的看法，是把它看成沒有省略任何命題的推理。亞裡士多德在建立三段論理論時並未考慮有單稱命題的三段論，後來一般的傳統邏輯著作在討論三段論時，則把單稱命題作全稱處理。但當三段論中單稱命題的謂項也是單獨概念時，這種處理就可能不成功。如“魯迅是偉大作傢，魯迅是周樹人，所以，周樹人是偉大作傢”是一個有效的推理。若把這一推理中的單稱命題作全稱處理，它就是無效的三段論第3格AAA式。
Barbara 圖解
三段論在現代邏輯中的地位 亞裡士多德的三段論不考慮指稱空類的詞項，認為從全稱命題可以推出特稱命題。現代邏輯為瞭克服這一不足，把有效的三段論形式加以推廣，使得組成三段論的命題可以包含指稱空類的詞項，由此確認瞭由9個兩全稱前提得出特稱結論的三段論都是無效的。它進而指出，要從這種前提得到特稱結論，就必須增加說明某些類不空的前提。現代邏輯認為三段論有效的充分必要條件應該是：① M恰好周延一次；②S、P各自在結論和前提中的周延情況相同；③前提中和結論中的否定命題數目相同。從現代邏輯的角度看，三段論隻是一元謂詞邏輯中的一小部分（見謂詞邏輯）。
參考書目
J.盧卡西維茨著，李真、李先焜譯：《亞裡士多德的三段論》，商務印書館，北京，1981。