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

作　　者：陈星群 周北海 

机构地区：[1]不详

出　　处：《中国哲学年鉴》2018年第1期342-343,共2页Chinese Philosophical Almanac

摘　　要：GAG与Gaa是基于“概称句是表示概念内涵的句子”这一观点而给出的概称句逻辑系统。这两个系统在涵义语义下是可靠的,但是完全性证明空缺。通过完全性证明,作者发现需要对原来的涵义语义加以修改,从而提出涵义语义结构的一般形式,进而给出全涵义结构和实涵义结构。实涵义结构的框架部分不能完全独立于被解释的语言,因此实涵义结构是符合认知主义语义观下的语义构造。

关 键 词：概称句 逻辑系统 认知主义 语义结构 完全性 词项逻辑 语义观 涵义 

分 类 号：B[哲学宗教]