基于广义量词理论的直言三段论推理规则的形式化辨析  

Formal Analyzing of Syllogistic Inference Rules Based on Generalized Quantifier Theory

作　　者：张晓君[1] 林胜强[2,1] 

机构地区：[1]四川师范大学政教学院 [2]四川逻辑学学会

出　　处：《中国社会科学院研究生院学报》2015年第1期35-39,共5页Journal of Graduate School of Chinese Academy of Social Sciences

基　　金：国家社科基金重大招标项目(10&ZD073);教育部人文社科规划基金项目(12XJA740007)

摘　　要：在国内外新近研究成果的基础上,作者通过对作为广义量词特例的四个亚里斯多德量词的普遍语义性质和推理特征的研究,形式化地揭示了如何从广义量词理论的角度来解释直言三段论的推理规则。此研究对一阶逻辑和广义量词理论的发展、自然语言信息处理以及计算机科学中的知识表示和知识推理,都具有重要的理论意义和实践价值。On the basis of recent related researches, this paper focuses on the general semantic properties and inferential characteristics of Aristotelian quantifiers which are in- stances of generalized quantifiers. And then it aims to formally reveal how our understanding of syllogistic inference rules may benefit from research on generalized quantifier theory. This study will make contributions to the development of first-order logic and generalized quantifier theory, and will have important theoretical value and practical significance for natural language information processing and knowledge representation and reasoning in computer science.

关 键 词：广义量词理论 亚里斯多德量词 三段论 推理规则 

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