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

逻辑学研究 2012 年第2 期，63–74 文章编号：1674-3202(2012)-02-0063-12 扩展三段论的可化归性与广义量词的语义性质 之间的关系* 张晓君 厦门大学哲学系 福建省仿脑重点实验室 zhangxj666@ 摘 要：基于Barwise、Cooper、Keenan、Peters、Westerståhl 和vanEijck 等人的研究 成果，作者提出并证明了若干事实和推论。这些事实和推论表明：（1）不同三段论之 间的可化归性本质上反映了广义量词的单调性、对称性等语义性质之间的可转换性， 因此，我们可以根据四个亚氏量词的语义性质之间的转换关系来验证亚氏三段论的可 化归性；（2）利用广义量词的语义性质可以验证扩展三段论的不同推理模式之间的可 化归关系。由于广义量词在自然语言中普遍存在，因此，本文的研究对广义量词理论 的发展和自然语言的信息处理都具有积极意义。 关键词：⟨ ⟩ 类型的广义量词；单调性；对称性；亚氏三段论；扩展三段论 中图分类号：B81 文献标识码：A 20 世纪以来，为了解释亚氏三段论以外的大量有效推理，提升一阶逻辑 的表达力，为计算机能够更好地处理自然语言而引入了广义量词（generalized quantifiers）。（[2]）广义量词除了包括一阶逻辑的全称量词和存在量词外，还包 括限定词以及由限定词a，an，the 或其他量化关系指称所形成的所有名词短语 NP。后来，逐渐形成了以集合论为基础，根据广义量词的论元所涉及的集合的 1 性质或者集合之间的关系来解释广义量词的语义普遍性的广义量词理论。 如果 没有特别说明，本文中的量词都是指广义量词。 广义量词理论优越于一阶逻辑的地方是：（1）广义量词理论使得自然语言中 的绝大多数量化语句能够得到较为有效的处理；（2）广义量词理论的特点之一就 是其逻辑句法与自然语言的句法能够紧密地对应起来，这种对应对于自然语言的 信息处理具有重要的意义；（3）广义量词理论能够解释自然语言中许多直观上成 收稿日期：2012-03-09；修订日期：2012-06-06 *基金项目：教育部人文社科研究规划项目“面向自然语言信息处理的广义量词理论研究”（批准号： 12YJ。 1广义量词的基本理论可参见[13]。 64 逻辑学研究 第5 卷第2 期 2012 年 立的推理，扩大了“逻辑有效”的概念；（4）广义量词理论处理问题的方式直观 简洁，其成果普适性很强。 一、背景知识 在自然语言中，最为普遍存在的是 ⟨⟩ 类型量词和 ⟨ ⟩ 类型量词，前者表 示集合的性质，后者表示集合之间的二元关系。常见名词短语对应⟨⟩ 类型量词， 大多数限定词对应⟨ ⟩ 类型量词。由于对 ⟨⟩ 类型量词的研究常常可以转化为 对其 ⟨ ⟩ 类型的亲缘量词的研究，因此本文重点研究 ⟨ ⟩ 类型量词。任何含 有⟨ ⟩ 类型量词 的语句都可以表示为 这样的三分结构，其中 为左 论元， 是右论元。比如“大多数人都希望有一个属于自己的家”可用 表示，其中“大多数”就对应的是⟨ ⟩ 类型量词， 表示“人”的个体所组 成的集合， 表示“希望有一个属于自己的家”的个体组成的集合。在广义量 词理论中，“大多数”的真值定义是：大多数 ，这 里的 表示论域，即“大多数的”的语义就是通过“ 与 交集的基数大于 与 的差集的基数”来刻画；即通过“希望有一个属于自己的家的人多于不希 望有一个属于自己的家的人”来刻画“大多数的”的语义。 广义量词理论通过考察广义量词所讨论的论元集合的性质，或不同论元集合 之间的关系，来表示广义量词的语义普遍性质。例如，该理论对四个亚氏量词语 义定义如下（[6], p. 62）（其中、 、 是任意集合， 为任意的论域，用英 语的