具有barcan公式的若干正规量词模态系统的代数语义.docxVIP

具有barcan公式的若干正规量词模态系统的代数语义 barcan公式的代数语义主要从具有赋值模态的正规量词模态系统的角度出发，将其思想推广到一般的术语结构中，用以描述基本论和量词模态论中认知概念及其语义关系。 barcan公式的若干正规量词模态系统的代数语义，可以通过barcan公式的四个分级概念来描述：属性函数（m）、代数式（formulae）、关系函数（r）和（n）。 首先，先谈到属性函数（m），它是描述具有正规量词模态系统内部概念实体部分特征的函数。它包括了该正规量词模态系统内部所有概念实体的相互之间的特征和关系，如大小、数量等，它表示了实体之间的概念语义关系。 其次，代数式（formulae）可以表示概念实体间的逻辑语义关系，它是由一个或多个属性函数m来形成的表达式。这些属性函数m的组合可以形成若干组合的思想，用以表现概念实体间的语义关系，如否定、蕴涵、选择等，从而构成了更加复杂的认知语义关系。 紧接着，有了上述属性函数m和代数式formulae，就可以给出关系函数r和规范个体n了。r函数表示了代数式的认知表现，以及属性函数和规范个体之间的关系。n则代表着被调整或叙述的概念实体，有时也被称作模态变量。