如何利用广义量词的语义性质判断扩展三段论的有效性.pdfVIP

逻辑学研究 2013 年第2 期，42–56 文章编号：1674-3202(2013)-02-0042-15 如何利用广义量词的语义性质判断扩展三段论的 有效性* 张晓君 林胜强 四川师范大学政治教育学院 四川师范大学政治教育学院 福建省仿脑智能系统重点实验室（厦门大学） lsq0820@ zhangxj566@163.com 摘 要：在国内外最新研究成果的基础上，笔者通过对文中的定理和推论的证明，主 要说明了以下几点：（1）利用广义量词的相关语义性质，比如单调性和对称性，既可以 解释亚氏三段论的有效性，又可以解释带有广义量词的扩展三段论的有效性；（2）一 些有效的扩展三段论仅仅表征了广义量词的左或右单调性，还有一些有效的扩展三段 论同时表征了广义量词的多个语义性质；（3）利用广义量词的东南或西北或西南或东 北方向的单调性可以判断一些带有限制条件的扩展三段论的有效性。此研究将有利于 广义量词理论的发展，对于计算机科学中的知识表示和知识推理的研究都具有较为重 要的理论价值和实践意义。 关键词：1, 1 类型的广义量词；单调性；对称性；亚氏三段论；扩展三段论 中图分类号：B81 文献标识码：A 广义量词（generalized quantifiers）除了包括全称量词和存在量词外，还 包括限定词以及由限定词a，an，the 或其他量化关系指称所形成的所有名词 短语。比如：“正好四支铅笔、我的书、所有的楼盘、没有、几个、两者都不、 一打的、没有超过五个”都是广义量词。广义量词是一阶逻辑的经典量词 和 的推广。（[13]，p. 67）广义量词引入的主要原因是：为了解释亚氏三段 论以外的大量有效推理，提升一阶逻辑的表达力，使得计算机能够更好地处 理自然语言。（[16]，p. 18）20 世纪80 年代在集合论的基础上形成的广义量词 理论，主要根据广义量词的论元所涉及的集合的性质，或者集合之间的关系 来解释广义量词的语义普遍性（[10]）, 并通过分析名词短语或限定词的量化 意义来解释自然语言中许多直观上成立的推理，这拓展了正确的逻辑推理形 收稿日期：2012-10-15 *基金项目：教育部人文社科研究规划项目“面向自然语言信息处理的广义量词理论研 究”（编号为：12YJ。 张晓君, 林胜强 如何利用广义量词的语义性质判断扩展三段论的有效性 43 式的范围，打破了仅仅凭借经典逻辑给出的那些公理及其推理规则来判断有 效推理的常规。（[2]）广义量词理论处理问题的方式直观简洁，其成果适用范 围广，这对知识表示和知识推理都具有极为重要的意义。若无特别说明，本文 中的量词均是指广义量词。 1 相关概念 在自然语言中绝大部分广义量词都是1 类型或1, 1 类型量词，而对 绝大部分1 类型量词的研究都可以转化为对其1, 1 类型的亲缘量词的研 究，故本文重点研究1, 1 类型量词。1, 1 类型量词是指在每个论域上表 示集合之间的二元关系的量词；绝大部分限定词都是1, 1 类型量词。（[15]， p. 103）所有包含1, 1 类型量词的量化语句都可以表示成 这样的 三分结构，其中 表示量词，， 表示量词的论元所对应的集合， 是左 论元， 是右论元。广义量词通过其真值定义来揭示其论元集合之间的关 系，从而达到描述广义量词的语义性质的目的。（[7]，pp. 10-49）例如：“大 多数的人都想一夜发财”中的广义量词“大多数的”的真值定义为：大多数的 ，其中 表示“人”的个体所形成的集合， 表 示“想一夜发财”的个体所组成的集合；“大多数的”的语义就是通过 与 交集的基数大于 与 的差集的基数来刻画的，具体地说，就是“想一夜发 财的人多于不想一夜发财的人”。 广义量词的主要语义性质有：同构闭包性、驻留性（conservativity）、扩展 性（extension）、单调性、对称性（symmetry）、相交性等1 ；单调性是广义量 词最为重要的一种语义性质；满足单调