早在公元前 5 世纪至公元前 3 世纪，古中国以墨家为代表的明辨、古印度以佛教为代表的因明和古希腊以亚里士多德学派为代表的传统逻辑都各自发展出一套关于推论和证明过程的方法。现代科学中所说的逻辑学，源自亚里士多德（Aristotle，公元前 384—公元前 322）所建立的传统逻辑学说。
亚里士多德在他的《工具论》（Organon，见图 3-1）中提出了传统逻辑学中最基本的“三段论”（Syllogism）推理形式。关于三段论推理，有位学者举了这样一个今天几乎在所有逻辑书上都有引用的例子<sup>○一</sup>：
所以苏格拉底会死。 （结论）
68
第二部分 学派争鸣
○一 出自波尔·罗亚尔（Port Royal）的《逻辑》，此书被作为欧洲 17 世纪的逻辑学教材。