概称句词项逻辑系统GAG与Gaa的完全性

摘要：

GAG与Gaa是关于概称句推理的逻辑系统.概称句同项逻辑的要点是引入了表示概念的同项,从而以更自然的方式表示概念在推理中的作用,这也带来了概称句同项逻辑语言的特点.涵义语义是用于概称句同项逻辑语言的形式语义.在涵义语义下GAG与Gaa是可靠的,但是完全性证明一直空缺.通过完全性证明,发现有必要对原来的涵义语义做一些补充和完善,为此提出涵义语义结构的一般形式,进而给出全涵义结构和实涵义结构.原来的语义结构实际上是全涵义结构.完全性证明需要使用实涵义结构.实涵义结构的框架部分与解释函数有关,因而不完全独立于被解释的语言.实涵义结构更像是认知主义语义观下的语义构造.长期以来,实在论语义观在逻辑学研究中根深蒂固.实涵义结构的提出,对这类逻辑研究的哲学基础提出了反思.

关键词：概称句、同项逻辑、完全性

所属期刊栏目：10

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

资助基金：国家社科基金重大项目"基于多学科视域的认知研究"12&ZD119

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

页数：共20页

页码：2-21