广义量词的单调性与数字三角形-重庆理工大学学报.PDFVIP

重庆理工大学学报（社会科学）　　２０１０年第２４卷第３期 逻辑学与科学方法论 ＪｏｕｒｎａｌｏｆＣｈｏｎｇｑｉｎｇＵｎｉｖｅｒｓｉｔｙｏｆＴｅｃｈｎｏｌｏｇｙ（ＳｏｃｉａｌＳｃｉｅｎｃｅ）Ｖｏｌ２４Ｎｏ．３２０１０ 广义量词的单调性与数字三角形 张晓君，郝一江 （中国社会科学院，北京　１００７３２） 摘要：回顾了广义量词的背景知识；在介绍数字三角形画法的基础之上，对 Ｓ．Ｐｅｔｅｒｓ和 Ｄ． Ｗｅｓｔｅｒｓｔｈｌ的数字三角形简图进行了改进；在整理相关文献的基础之上，给出了更加全面的广 义量词的单调性定义，并给出了更加全面的各种单调性的形式化表述，从而更加清楚直观且全 面深入细致地探讨了类型为〈１〉的广义量词和类型为〈１，１〉的广义量词的单调性与数字三角形 之间的关系。 关键词：广义量词；单调递增；单调递减；数字三角形；数字三角形简图 中图分类号：Ｂ８１　　　　文献标识码：Ａ 文章编号：１６７４－８４２５（２０１０）０３－００１８－０７ 　　２０世纪以来，为了解释亚里斯多德三段论形 指表示事物的集合之间的二元关系的量词，比如 式以外的大量的有效推理而引入了广义量词。虽 ｆｅｗｅｒｔｈａｎｆｉｖｅ，ｅｘａｃｔｌｙｆｏｕｒ，ｔｗｏ，ａｔｌｅａｓｔａｔｈｒｅｅ 然一阶逻辑能够处理计算机科学中的诸多问题， ｆｉｆｔｈｓｏｆｔｈｅ，ｍｙｍｏｔｈｅｒ’ｓ，ｍｏｓｔ。自然语言中绝大 但是仍然有很多问题需要甚至只能依赖于更强大 部分量词都是这两类量词。一般说来，广义量词 ［２］ 的逻辑来加以解决。“在可控的方式下通过广义 理论是外延性的语义理论 。若没有作特别说 量词的方法是增强一阶逻辑的表达力的方法之 明，在本文中，量词都是指广义量词，并且用“ｉｆｆ” ［１］ 一。” 从１９５７年Ｍｏｓｔｏｗｓｋｉ开始研究关于基数量 表示“当且仅当”。 词的广义量词以来，广义量词的研究受到了业内 人士的普遍关注。广义量词除了包括来自于一阶 一、数字三角形的画法 逻辑语境下的两个标准量词———全称量词和存在 量词外，还包括由限定词 ａ，ａｎ，ｔｈｅ或其他量化关 在自然语言中，许多广义量词都具有单调性。 系指称所形成的所有名词短语 ＮＰ，故广义量词理 笔者认为，广义量词的单调性的检测方法主要有 论是一阶逻辑理论的扩充，该理论不仅适用于标 以下两种：自然语言检测法和数字三角形法。自 准量词，而且使得非标准量词的定义和表达成为 然语言检测法的主要思想是把要检测的广义量词 可能。该理论提出了自然语言中的广义量词的一 放在具体的语言环境中从而对其单调性进行判 些重要的语义普遍特征，适合处理与量词有关的 断。而数字三角形法主要用于类型为〈１〉的量词 大量的语义现象，从而提升了一阶逻辑的表达力， 和类型为〈１，１〉的量词的单调性的检测，因该方法 是计算机更好地处理自然语言的理论基石。 直观明了、分析力强、分析的范围广而得到了逻辑 类型为〈１〉的量词是指表示事物的集合的性 学者的广泛传播和不断完善。 质的量词，比如：ｍｏｓｔｇｉｒｌｓ，ｅｖｅｒｙｏｎｅ，ｎｏｂｏｄｙ，ｅｖｅ 在介绍广义量词的数字三角形画法之前，需 ｒｙｏｎｅ，ｎｏｏｎｅ，ｅｖｅｒｙｔｈｉｎｇ；类型为〈１，１〉的量词是 定义一个基数间的二元关系Ｑ：（１）若类型为〈１〉 　　收稿日期：２０１０－１２－１６ 基金项目：北京市哲学社会科学“十一五”规划项目（０６ＢａＺＸ０２２）资助。 作者简介：张晓君（１９７０—），女，四川南