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

摘要

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