广义量词理论

广义量词理论（generalized quantifier theory），哲学-哲学-逻辑学-逻辑，20世纪80年代重要的形式语义学理论之一，它是为解决自然语言中限定词和名词短语的量化意义而产生的。广义量词理论的思想根源可以追溯到20世纪初。现代逻辑的创始人G.弗雷格最早提出广义量词的基本思想；20世纪50年代A.莫斯托夫斯基以A.塔尔斯基的真值条件论为工具，把弗雷格的广义量词思想进一步明确化；20世纪60年代P.林兹卓姆正式提出广义量词的概念；20世纪70～80年代，R.蒙太格以及J.巴威斯等人把量词的概念推广到自然语言的领域，使广义量词理论成为形式语义学的重要理论。广义量词理论采用模型论的标准做法，把论域处理成集合，有关广义量词的形式化表述都是建立在标准模型论的基础之上的，而且量词表达式的意义常常是根据该表达式所指称的模型论对象来表征的。真值的模型论概念是相对于非逻辑符号的一个解释和一个量化论域而言的，量化论域是由个体组成的集合。从语法上讲，一个广义量词就是一个变元约束算子，这种算子把每个定义域与该定义域的任意子集的性质或任意子集间的关系联系起来。