广义量词理论对一阶逻辑的扩展

摘要：

广义量词理论是一阶逻辑的扩展。该理论已经成为逻辑学和语言学中重要的推理工具之一。广义量词是对来自于一阶逻辑中两个标准量词（全称量词和存在量词）的推广。对一阶逻辑进行扩展的主要原因有二：其一是为了解释亚氏三段论形式以外的大量的有效推理；其二是为了提升一阶逻辑的表达力，使得计算机能够更好地处理自然语言。文章阐述了广义量词理论来自于哪里，是如何得来的。现代谓词逻辑首先通过固定一阶逻辑中的全称量词和存在量词的真值定义，然后把它们的真值定义推广到〈1〉类型的广义量词，之后把〈1〉类型的广义量词的真值定义推广到任意的广义量词。这样就可以把任意的广义量词添加到一阶逻辑中，从而得到表达力更强的逻辑———广义量词理论。

关键词：广义量词、一阶逻辑、全称量词、存在量词、真值定义

分类号：B81(逻辑学(论理学))

资助基金：国家社会科学基金西部项目“面向中文信息处理的汉语主谓句的逻辑语义及其推理模式研究”15XYY012

在线出版日期：2015-12-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：9-14