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

CORC > 兰州大学 > 兰州大学 > 哲学社会学院 > 期刊论文

	传统逻辑直言命题推理的扩充
	邱德钧
刊名	兰州大学学报(社会科学版)
	2011-11-28
卷号	39 期号:6 页码:79-82
关键词	直言推理形式化谓词逻辑有向图 Prolog语言
ISSN号	1000-2804
其他题名	The Extension of Categorical Proposition Reasoning of Traditional Logic
中文摘要	传统逻辑的直言推理包涵易被忽略的内容,文中力图揭示这些内容;一旦用一阶逻辑形式化直言推理以后,在得到精确性的同时,又失去了思维的直觉,对扩展思维方法并无好处。但这种推理还可以用现代数学的图论进行扩充,发掘更多的连通关系;最后还可以用知识库理论扩充,以让传统逻辑发挥更大的作用。
学科主题	哲学
收录类别	CSSCI
出版地	Lanzhou
语种	中文
内容类型	期刊论文
源URL	[http://ir.lzu.edu.cn/handle/262010/132027]
专题	哲学社会学院_期刊论文
推荐引用方式 GB/T 7714	邱德钧. 传统逻辑直言命题推理的扩充[J]. 兰州大学学报(社会科学版),2011,39(6):79-82.
APA	邱德钧.(2011).传统逻辑直言命题推理的扩充.兰州大学学报(社会科学版),39(6),79-82.
MLA	邱德钧."传统逻辑直言命题推理的扩充".兰州大学学报(社会科学版) 39.6(2011):79-82.