引言

　　作为曾经学过理论数学的人，我对逻辑的出现和发展历史很感兴趣。逻辑对理论数学的必要性十分明显，但它更是人类发明的思想当中最重要的思想之一。西方文化首先是把形式逻辑作为科学的基础，后来又把科学作为社会的基础，因此我们甚至可以说逻辑是现代文明的基础。

　　现代逻辑学源于古希腊文化，尤其是亚里士多德的逻辑学说。他把逻辑变成了一个体系，把几何学中证明的概念借用于证明他的体系的正确性，创立了一个演绎性的逻辑系统。亚里士多德自己很清楚，这个体系不但是一个工具，更是一门新的科学。

　　但并不是说只有亚里士多德想把逻辑学说系统化。亚里士多德出生的几十年前，亚洲就有一个哲学家曾研究过同一个问题。墨子的逻辑系统内容丰富，包括演绎推论，但是以归纳与类推为主，同时用于科学研究并用于进行辩论。

　　特别有趣的是，亚里士多德的逻辑学说当时并不是最为广泛接受的，后来却成为西方科学的基础，而墨子的学说当时是诸子百家中最大的两个学派之一，后来却被埋没了两千多年。

　　亚里士多德和墨子生活的时代并没有“逻辑”这个词。研究他们的着作的逻辑有两种含义：一是研究他们使用的逻辑方法；二是研究他们主张的逻辑系统。我们只对后者进行分析，就是说，我们比较的对象不是他们所使用的辩证方法，而是他们所描写的辩证（或逻辑）系统。由于《墨经》的系统的描写不够完整，通过研究《墨子》中使用的逻辑方法并进行中西方逻辑比较研究，推出《墨经》的逻辑系统省略了或忽视了的部分也是一种有价值的研究。但为了保证研究结果的可靠性，我们这里只对于在《墨经》与《工具论》原文中有足够根据的内容进行研究。