广义量词理论的渊源及其发展趋势

《广义量词理论的渊源及其发展趋势》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、第29卷第7期重庆与世界2012年7月【论文选粹】广义量词理论的渊源及其发展趋势张晓君，黄朝阳(厦门大学哲学系，福建厦门361005)摘要:介绍广义量词理论的发展简史;论述广义量词理论的基本思想、方法和优势，给出了广义量词的语义解释方法和语义类型;总结广义量词理论的三个主要研究方向。广义量词理论注重广义量词的语义和推理特征的研究，它比一阶逻辑具有更强大的表达力。广义量词理论为计算机科学中的知识表示和知识推理注入了新的活力。关键词:广义量词理论;广

2、义量词;量化语句;集合中图分类号:B81文献标识码:A文章编号:1007－7111(2012)07－0084－04在自然语言中，常常通过一个词语的意义(meaning)故，严格地说，名词短语或限定词的指称对应于广义量词。来解释另一个词语的意义。但是，这种表示方法常常由于在本研究中，若无特别说明，量词都是指广义量词。没有固定的模式可以遵循，显得模糊，让人感觉琢磨不定。要对自然语言的信息进行计算机处理，就需要对词语的意一、广义量词理论产生的历程义进行精确刻画。如何突破语言学的框架来解释词语的意义呢?研究发现:我们可以通过数学的方法和其他非语

3、自然语言中存在诸多量化(quantification)现象。早在言学的方法，来解释自然语言中无处不在的广义量词(gen-2300多年前，亚里士多德就对量化有所研究。亚里士多eralizedquantifiers)的意义。这一方法除了可以清晰地表德从对all、some、no、notall这四个亚里士多德量词(简称亚示广义量词本身的意义外，还可以用广义量词来分析更大氏量词)的逻辑研究开始了他的量化研究;亚氏三段论可范围内的非逻辑表达式的意义，包括分析时态副词、时间以看作是对这四个亚氏量词的意义的推理性质的形式化［2］27副词、模态动词、条件

4、动词、态度动词和某些不能够显性量解释。但是，我们如何解释自然语言中存在的亚氏三化的名词短语的意义。也就是说，广义量词是语言学中极段论形式以外的大量的有效推理呢?换句话说，为了解释少的几个富有表现力的工具之一。亚氏三段论形式以外的大量的有效推理是引入广义量词广义量词除了包括一阶逻辑的全称量词和存在量最主要的动因。词外，还包括由限定词a，an，the或其他量化关系指称所中世纪的逻辑学家和哲学家致力于量化语句的语义［3］形成的所有名词短语。后来，限定词也纳入了广义量词的研究，尤其是三段论的研究。从中世纪开始到19世纪范畴。比如:“正好四个

5、苹果、我的书、所有的学生、没有、末现代逻辑的出现，这期间皮尔士、皮亚诺和罗素都对量几个、两者都不、一打的、没有超过五个、大多数的、少于一化有所研究，经过塔斯基对真值的形式处理，逐渐转化成［1］半的”都是广义量词。表示广义量词的名词短语叫做量关于量化的现代模型论观点，这种观点认为形式语言中量化表达式，而包含量化表达式的语句叫做量化语句，之所化语句的真值条件是相对于解释或模型而言的。除了亚以这么称呼是因为它们允许我们讨论事物的数量。量词里士多德外，对广义量词理论做出历史贡献的另一个主要表达式指称的是广义量词本身。人物就是作为现代逻辑创始人的

6、弗雷格。他除了引进了这里需要说明的是，名词短语或限定词是个语法概带有语句联结词、等词的谓词逻辑语言外，还引进了变元念，而广义量词则是语义概念;对自然语言中的名词短语约束算子和(和是现代逻辑记号，并非弗雷格创或限定词进行语义解释后就得到了集合论中的广义量词，造)。此外，弗雷格的研究还发现:所有的亚氏量词都可以收稿日期:2012－05－10基金项目:教育部人文社科研究规划项目“面向自然语言信息处理的广义量词理论研究”(12YJA72040001)。作者简介:张晓君(1970—)，女，博士后，研究方向:自然语言逻辑、模态逻辑、认知行动

7、逻辑等;黄朝阳(1964—)，男，博士，教授，研究方向:现代逻辑、逻辑学教育应用问题等。张晓君，等:广义量词理论的渊源及其发展趋势85根据(和语句联结词来加以定义，比如，all(A，B)可以用强的理论，它所揭示出的广义量词的语义关系几乎适合于x(A(x)→B(x))来定义，some(A，B)可以用﹁x任何自然语言。［2］30－40(A(x)→﹁B(x))来定义。二、广义量词理论的主要思想及其优势20世纪20年代，指称全称量词和存在量词的“

8、量［4］182－186词(quantifier)”的用法才在逻辑学中被确立下来，广义量词理论采用模型论的标准做法，把论域处理成逻辑学家们在这两个标准量词研究的基础上逐步形成了集合，有关广义量词的形式化表述都