三段論（syllogism）

在最經典的（直言）形式裡，三段論是一種形狀固定的小小論證：兩個起始的說法（前提）咬合在一起，逼出第三個說法（結論）。最經典的例子是——凡人皆有死；蘇格拉底是人；所以蘇格拉底有死。可以把它想成兩個齒輪的咬合：餵進對的那一對，答案就自己轉出來，不需要再額外推一把。

它的威力在於結論是被保證的。只要兩個前提都為真、形狀又有效，結論就絕不可能為假——它並沒有添上任何前提不曾讓你承諾的東西，三段論只是把這份承諾拖到明面上來。這正是「演繹」的核心，而亞里士多德是第一個把它系統畫出來的人，分辨出哪些形狀滴水不漏、哪些只是看起來如此。

常見的陷阱是：哪怕形狀有效，只要餵進一個假前提，結論照樣可以是假的。「所有鳥都會飛；企鵝是鳥；所以企鵝會飛」完全合乎規則——卻是錯的，因為第一個前提就是假的。有效性保證的是「線路接對」，而不是「輸入正確」；垃圾進，垃圾出。