广义斯科伦项理论:一种新的量词理论  

Generalized Skolem Term Theory:A new Quantifier Theory

作　　者：姚从军 朱乐亚 邹崇理 Yao Congjun;Zhu Leya;Zou Chongli

机构地区：[1]湘潭大学,湖南湘潭411105 [2]湘潭大学哲学系 [3]中国逻辑学会

出　　处：《学术研究》2021年第5期24-29,36,177,共8页Academic Research

基　　金：国家社科基金重大项目“面向计算机人工智能的组合范畴语法研究”(17ZDA027)的阶段性成果。

摘　　要：自然语言是人类交流沟通思想的工具,是逻辑学、计算机人工智能科学、语言学和认知科学等邻近学科跨学科交叉研究的对象。自然语言的语义尤其是量化语义显示出异常的复杂性,针对自然语言的量化语义,经典的量词理论(一阶逻辑和广义量词理论)由于其中全称量词和存在量词之间复杂的依存关系,造成所谓量词辖域歧义问题。而作为新的量词理论,广义斯科伦项理论能够贴近自然语言本身的句法构造去表征自然语言的量化语义,简化量词之间复杂的依存关系,解决量词辖域歧义问题。Natural language is a tool for human communication,and it is the subject of interdisciplinary research in logic,computer artificial intelligence,linguistics and cognitive science which are adjacent disciplines.The quantification semantics is one of natural language semantics,shows obvious complexity.For the quantification semantics of natural language,the complex dependency between universal quantifier and existential quantifier in the classical quantifier theory(first-order logic and generalized quantifier theory)results in the problem of socalled quantifier scope ambiguity.As a new quantifier theory,the generalized Skolem term theory can represent the quantification semantics of natural language simplify the complex dependency relationship between quantifiers,and solve the problem of quantifier scope ambiguity by approaching the syntactic construction of natural language.

关 键 词：广义斯科伦项 组合范畴语法 量词辖域歧义 

分 类 号：B81-06[哲学宗教—逻辑学]