包含广义量词的关系三段论  

Relational Syllogisms with Generalized Quantifiers

作　　者：周家发[1] Ka-fat Chow(Department of Chinese and Bilingual Studies,The Hong Kong Polytechnic University)

机构地区：[1]香港理工大学中文及双语学系

出　　处：《逻辑学研究》2019年第1期70-91,共22页Studies in Logic

摘　　要：本文介绍一种推导有效关系三段论格式的方法,这种方法建基于广义量词理论和命题逻辑的一些基本原理,包括代入法、演绎定理、前提代换、引入存在假设、等价变换等。本文显示利用此方法,不仅可推导包含经典量词的关系三段论,还可推导出包含非经典量词(例如数值量词、比例量词、模糊量词)的关系三段论。除了讨论包含一般二元谓词的关系三段论外,本文也讨论了包含比较形容词的关系三段论,同时也证明了上述方法的有效性,并讨论了进一步研究的方向。Based on certain fundamental principles of the Generalized Quantifier Theory and Propositional Logic including the substitution method,deduction theorem,premise replacement,introduction of existential assumptions,substitution of equivalence statements,this paper introduces a method for deriving valid relational syllogisms.Under this method,not only relational syllogisms with classical quantifiers but also those with nonclassical quantifiers(such as numerical quantifiers,proportional quantifiers,vague quantifiers)can be derived.Apart from relational syllogisms with general binary predicates,this paper also discusses relational syllogisms with comparative adjectives.Finally,this paper proves the validity of the aforesaid method and discusses possible directions for further studies.

关 键 词：关系三段论 广义量词理论 数值量词 比例量词 模糊量词 

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