传统逻辑直言命题推理的扩充

The Extension of Categorical Proposition Reasoning of Traditional Logic

传统逻辑的直言推理包涵易被忽略的内容,文中力图揭示这些内容;一旦用一阶逻辑形式化直言推理以后,在得到精确性的同时,又失去了思维的直觉,对扩展思维方法并无好处。但这种推理还可以用现代数学的图论进行扩充,发掘更多的连通关系;最后还可以用知识库理论扩充,以让传统逻辑发挥更大的作用。

The categorical reasoning of traditional logic contains elements that are easily neglected, which is what this paper endeavors to disclose. Once the first-order logic is adopted to formalize categorical reasoning, although precision is obtained, tuition of thoughts will be lost at the same time, which does not help to broaden the way of thinking. But this sort of reasoning can be expanded by means of graph theory of modern mathematics, so as to explore more linking relations. It can also be enlarged with the knowledge bank theory, thus the traditional logic will play a more important role.