包含特称量词some的广义三段论推理  

Generalized syllogistic reasoning including the existential quantifier“some”

作　　者：郝一江[1] 王超男 HAO Yijiang;WANG Chaonan(Institute of Philosophy, Chinese Academy of Social Sciences, Beijing 100732, China;Institute of Philosophy, Sichuan Normal University, Chengdu 610066, China)

机构地区：[1]中国社会科学院哲学研究所,北京100732 [2]四川师范大学哲学研究所,四川成都610066

出　　处：《重庆理工大学学报（社会科学）》2020年第5期10-16,共7页Journal of Chongqing University of Technology（Social Science）

基　　金：国家社会科学基金后期资助项目“面向人工智能的命题动态逻辑及其扩展研究”(19FZXB102)。

摘　　要：广义三段论推理在自然语言信息处理和知识推理中占据着重要的地位。利用广义量词理论、集合论和模糊逻辑的相关知识,证明了18个包含特称量词some的广义三段论的有效性,并在此基础上讨论包含特称量词的语篇推理。这一方法为研究包括亚氏量词在内的其他广义量词的广义三段论的有效性及其语篇推理提供了一个简单合理的数学模式。Generalized syllogistic reasoning is prominent in natural language information processing and knowledge reasoning.This paper proves that 18 generalized syllogisms including the existential quantifier“some”are valid by means of generalized quantifier theory,set theory and fuzzy logic.And then discusses the discourse reasoning including existential quantifier.The method in this paper provides a discusses simple and reasonable mathematical model of generalized syllogisms and discourse reasoning for other generalized quantifiers,including Aristotelian quantifiers.

关 键 词：亚氏量词 广义三段论 有效性 语篇推理 

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