三段论（syllogism）

在最经典的（直言）形式里，三段论是一种形状固定的小小论证：两个起始的说法（前提）咬合在一起，逼出第三个说法（结论）。最经典的例子是——凡人皆有死；苏格拉底是人；所以苏格拉底有死。可以把它想成两个齿轮的咬合：喂进对的那一对，答案就自己转出来，不需要再额外推一把。

它的威力在于结论是被保证的。只要两个前提都为真、形状又有效，结论就绝不可能为假——它并没有添上任何前提不曾让你承诺的东西，三段论只是把这份承诺拖到明面上来。这正是「演绎」的核心，而亚里士多德是第一个把它系统画出来的人，分辨出哪些形状滴水不漏、哪些只是看起来如此。

常见的陷阱是：哪怕形状有效，只要喂进一个假前提，结论照样可以是假的。「所有鸟都会飞；企鹅是鸟；所以企鹅会飞」完全合乎规则——却是错的，因为第一个前提就是假的。有效性保证的是「线路接对」，而不是「输入正确」；垃圾进，垃圾出。