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

The Extension of Categorical Proposition Reasoning of Traditional Logic

作　　者：邱德钧[1] 

机构地区：[1]兰州大学哲学社会学院,甘肃兰州730000

出　　处：《兰州大学学报（社会科学版）》2011年第6期79-82,共4页Journal of Lanzhou University（Social Sciences）

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

关 键 词：直言推理 形式化 谓词逻辑 有向图 PROLOG语言 

分 类 号：B812[哲学宗教—逻辑学]