含有居间量词most的广义三段论的有效性  

The Validity of Generalized Syllogisms Including the Intermediate Quantifier most

作　　者：张晓君[1,2] 

机构地区：[1]四川师范大学逻辑与信息研究所 [2]四川师范大学政治教育学院,四川成都610066

出　　处：《湖南科技大学学报（社会科学版）》2016年第4期27-31,共5页Journal of Hunan University of Science and Technology(Social Science Edition)

基　　金：国家社科基金西部项目(15XYY012);国家社科基金一般项目(16BZ081)

摘　　要：一般而言,居间量词是语义上的<1,1>类型的广义量词,表示事物或材料所形成的集合之间的二元关系。通过提出并证明23个事实,阐明包含most这一居间量词的有效的广义三段论推理模式。这些创新性成果将会有利于广义量词理论的发展、自然语言信息处理以及计算机科学中的知识表示和知识推理。In general, the intermediate quantifiers are semantically of type 〈 1,1 〉 generalized quantifiers. That is, they are binary relations between sets of things or stuff. This paper proposes and proves 23 facts that illustrate the valid inferential patterns of generalized syllogisms including the intermediate quantifier most. These innovative achievements will benefit the development of generalized quantifier theory, natural information processing, knowledge reoresentation and reasoning in the computer science.

关 键 词：广义量词 居间量词 广义三段论 有效性 

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