2.1 三段论形式逻辑

三段论(Syllogism)是由古希腊哲学家亚里士多德在其关于演绎推理的著作《分析前篇》 (Prior Analytics)中提出来的(参见 Smith 1989)。“syllogism”即希腊语中的“sullogismos”,意为“演绎”,即从“一般”到“特殊”的逻辑推理。