墨家逻辑与亚里士多德逻辑的形式化和非形式化问题

On the Formalization and Non-formalization of Mohist Logic and Aristotlian Logic

非形式化是墨家逻辑的主要特点,而亚里士多德逻辑的主要特点是形式化。形式化注重精确性、系统性,但也比较远离现实生活;而非形式化则紧密联系日常语言,但也有明显缺陷。当前逻辑学发展既要注重形式化研究,也要注重非形式化研究。

Mohist logic has the character of non-formalization, while Aristotlian Logic is mainly charactered by its formalization. Formalization is superior in accuracy and systematization, but negligent from actual life. Non-formalization is closely related to daily life, but also has obvious defections. Current logic should research both the formalization and the non-formalization of logic.