扩展三段论的可化归性与广义量词的语义性质之间的关系

发布时间：2017-09-19 20:35

  本文关键词：扩展三段论的可化归性与广义量词的语义性质之间的关系

  更多相关文章： 扩展 三段论 可化 归性 广义 量词 语义 性质 间的 关系

【摘要】：基于Barwise、Cooper、Keenan、Peters、Westersthl和vanEijck等人的研究成果,作者提出并证明了若干事实和推论。这些事实和推论表明:(1)不同三段论之间的可化归性本质上反映了广义量词的单调性、对称性等语义性质之间的可转换性,因此,我们可以根据四个亚氏量词的语义性质之间的转换关系来验证亚氏三段论的可化归性;(2)利用广义量词的语义性质可以验证扩展三段论的不同推理模式之间的可化归关系。由于广义量词在自然语言中普遍存在,因此,本文的研究对广义量词理论的发展和自然语言的信息处理都具有积极意义。
【作者单位】： 厦门大学哲学系;福建省仿脑重点实验室;
【关键词】： < %E7%B1%BB%E5%9E%8B%E7%9A%84%E5%B9%BF%E4%B9%89%E9%87%8F%E8%AF%8D" target="_blank">>类型的广义量词 单调性 对称性 亚氏三段论 扩展三段论
【基金】：教育部人文社科研究规划项目“面向自然语言信息处理的广义量词理论研究”(批准号:12YJA72040001)
【分类号】：B812
【正文快照】： 20世纪以来,为了解释亚氏三段论以外的大量有效推理,提升一阶逻辑的表达力,为计算机能够更好地处理自然语言而引入了广义量词(generalizedquantifiers)。([2])广义量词除了包括一阶逻辑的全称量词和存在量词外,还包括限定词以及由限定词a,an,the或其他量化关系指称所形成的所，

本文编号：883832