文献类型：期刊文章

作　　者：陈星群[1] 周北海[2]

机构地区：[1]深圳大学人文学院哲学系 [2]北京大学哲学系

出　　处：《逻辑学研究》

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

年　　份：2017

卷　　号：10

期　　号：2

起止页码：2-21

语　　种：中文

收录情况：CSSCI、CSSCI2017_2018、NSSD、RWSKHX、普通刊

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

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

分 类 号：B812]