引言

　　作為曾經學過理論數學的人，我對邏輯的出現和發展歷史很感興趣。邏輯對理論數學的必要性十分明顯，但它更是人類發明的思想當中最重要的思想之一。西方文化首先是把形式邏輯作為科學的基礎，后來又把科學作為社會的基礎，因此我們甚至可以說邏輯是現代文明的基礎。

　　現代邏輯學源于古希臘文化，尤其是亞里士多德的邏輯學說。他把邏輯變成了一個體系，把幾何學中證明的概念借用于證明他的體系的正確性，創立了一個演繹性的邏輯系統。亞里士多德自己很清楚，這個體系不但是一個工具，更是一門新的科學。

　　但并不是說只有亞里士多德想把邏輯學說系統化。亞里士多德出生的幾十年前，亞洲就有一個哲學家曾研究過同一個問題。墨子的邏輯系統內容豐富，包括演繹推論，但是以歸納與類推為主，同時用于科學研究并用于進行辯論。

　　特別有趣的是，亞里士多德的邏輯學說當時并不是最為廣泛接受的，后來卻成為西方科學的基礎，而墨子的學說當時是諸子百家中最大的兩個學派之一，后來卻被埋沒了兩千多年。

　　亞里士多德和墨子生活的時代并沒有“邏輯”這個詞。研究他們的著作的邏輯有兩種含義：一是研究他們使用的邏輯方法；二是研究他們主張的邏輯系統。我們只對后者進行分析，就是說，我們比較的對象不是他們所使用的辯證方法，而是他們所描寫的辯證（或邏輯）系統。由于《墨經》的系統的描寫不夠完整，通過研究《墨子》中使用的邏輯方法并進行中西方邏輯比較研究，推出《墨經》的邏輯系統省略了或忽視了的部分也是一種有價值的研究。但為了保證研究結果的可靠性，我們這里只對于在《墨經》與《工具論》原文中有足夠根據的內容進行研究。