探究广义量词的单调性与其他语义性质之间的关系.docVIP

探究广义量词的单调性与其他语义性质之间的关系 　　一、引言 　　广义量词理论(generalized quantifier theory)是一阶逻辑的扩展理论，它比一阶逻辑更有利于计算机进行知识表示和知识推理，这是因为:l广义量词理论使得逻辑句法与自然语言的句法能够得到紧密的对应; (2)广义量词理论可以解释亚里士多德三段论不能够解释的许多直观上成立的推理，打破了仅仅凭借公理及其推理规则来判断有效推理的一阶逻辑的常规做法; ( 3)广义量词理论通过考察广义量词所涉及的论元集合的性质，或不同论元集合之间的关系来表示广义量词的一些重要的语义普遍特征，大大拓展了一阶逻辑处理现实世界的能力四;(4)广义量词理论处理问题的方式直观简洁，成果普适性强[Cal。基于这些原因，广义量词理论受到了逻辑学、理论语言学、计算语言学、计算机科学等交义领域的研究者的重视。 　　广义量词包括:由限定词a gt; an gt; the或其他量化关系指称所形成的所有名词短语;(2)限定词;(3)一阶逻辑的全称量词d和存在量词」。比如:“大多数的、所有的、至少一半的、这个、介于三与八之间的整数、无穷多个蚊子”等等都是广义量词[Cpl。广义量词的语义性质主要包括:同构闭包性(isomorphism closure)、驻留性(conservativit})扩展性(extension)、单调性(monotonicit})、对称性(symmetry)、相交性(interseetivity}逻辑性(logi-c;ality)。同构闭包性和扩展性是广义量词的两个基本性质;这两个概念与语言学高度相关，而且它们也是数理逻辑和计算机科学中常见的、重要的且有一定难度的概念。几乎自然语言中遇到的量词或者本身就具有同构闭包性，或者从系统层而上来看与同构闭包性有关。广义量词的单调性是广义量词最重要的语义性质，该性质是从逻辑角度研究自然语言信息处理绕不开的重要内容，这也是近年来国际逻辑学界研究的重点内容之一，其研究成果极其丰富。 　　由于(1)类型量词和(1gt;1)类型量词是自然语言中最为普遍存在的广义量词，因此本文重点研究这两类量词。常见名词短语对应(1)类型量词，这类量词表示其论元所组成集合的性质。绝大多数限定词对应(1gt;1)类型量词，这类量词表示广义量词的左论元和右论元所涉及的集合之间的二元关系[C i7。在本文中:A.B.:或A”. B”:”表示广义量词所涉及的论元所组成的集合，E.E是所讨论的论域;‘‘井”表示表示相互蕴涵;若没有特别说明，量词都是指广义量词。 　　二、相关背景知识 　　在汉语中，具有同构闭包性的量词包括:一些U)类型量词，比如，所有的钢笔、有些学生、有的鸡蛋、至少3个恐怖分子、正好3个人、无数的繁星、奇数、偶数;一些(1gt;1)类型量词，比如，至多3个(位、打、副等)、最少10个(位、打、副等)、无穷多的、大多数的、奇数的、偶数的、所有的、有的、有些、无、并不是所有的(全部的)等等。广义量词满足同构闭包性才能够保证“如果在一个逻辑语言中一个语句在一个模型中为真，那么该语句将在所有的同构模型中为真”，关系、个体等无关紧要的东西己经被抽象掉，结构的重要性被凸显出来。比如，an odd number of student*与an odd numberof eggs / dogs / tree*的单调性及其数字三角形只与an odd number of有关，与*tudents . eggs / dogs / trees无关。 　　扩展性的另一个标签是“论域独立性”，即“在每个论域上量词的意义都不变”。也就是说，只要论元不改变，当论域被扩大或缩小时，该广义量词的语义定义或真值条件不会改变。量词的这一性质叫做扩展性。例如:在“All children / girls /boys / women / wen / dogs / pigs are sleeping.”中“all”的意义与。hildren . girls . boys . women . wen . dogs .pig*这些具体的个体对象无关，也与上而这些对象的论域无关”all”的真值定义“all(Agt;B)}ACB”仅仅代表的是包含关系，即使把量化论域中的 　　三、广义量词的单调性与其他语义 　　性质之间的关系 　　我们首先来考察单调性与驻留性的关系。前而己经说明，研究量词的单调性时首先得假设该量词满足驻留性。事实上，如果没有这一假设，要使得单调性蕴涵驻留性，那么该量词必须满足非常苛刻的条件:即该量词必须是全域量词，为此，笔者提出: 　　定理1单调性与驻留性的关系 　　对于一个(1gt;1)类型量词Q