论文部分内容阅读
自然语言的聚合语义研究表明:专名的合取、全称或数目名词的聚合用法以及普通名词的复数等特征的语义分析都需要区分原子个体和聚合个体的思想。本文在一阶逻辑的框架内描述自然语言的聚合语义,采用递归定义由原子个体域生成扩展的个体域,从而确立解释聚合语义的结构,据此构筑聚合谓词逻辑的公理系统,并证明其可靠性和完全性。