在遥远的将来,当人们回顾2 0世纪的计算机发展史时,有人可能会以为一种称为“logic gates (逻辑门)”的设备是以著名的微软公司创始人的名字命名的( Bill Gates中的G a t e s在英语中有 “门”的意思),其实并非如此。我们很快就会明白,逻辑门和通常让水和人通过的门十分相 似。逻辑门通过阻挡或允许电流通过在逻辑中执行简单的任务
真理是什么呢?亚里士多德认为逻辑与它有关。他的讲义合集《工具论》(O rg a n o n,可 追溯到公元前4世纪)是最早的关于逻辑的详细著作。对于古希腊人而言,逻辑是追寻真理的 过程中用于分析语言的一种手段,因此它被认为是一种哲学。亚里士多德的逻辑学的基础是 三段论。最有名的三段论(它并非是在亚里士多德的著作中发现的)是: (所有的人都是要死的; 苏格拉底是人; 所以,苏格拉底是要死的。)