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

Completeness for Systems GAG and Gaa of Generic Sentences

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

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

出　　处：《逻辑学研究》2017年第2期2-21,共20页Studies in Logic

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

摘　　要：GAG与Gaa是关于概称句推理的逻辑系统。概称句词项逻辑的要点是引入了表示概念的词项,从而以更自然的方式表示概念在推理中的作用,这也带来了概称句词项逻辑语言的特点。涵义语义是用于概称句词项逻辑语言的形式语义。在涵义语义下GAG与Gaa是可靠的,但是完全性证明一直空缺。通过完全性证明,发现有必要对原来的涵义语义做一些补充和完善,为此提出涵义语义结构的一般形式,进而给出全涵义结构和实涵义结构。原来的语义结构实际上是全涵义结构。完全性证明需要使用实涵义结构。实涵义结构的框架部分与解释函数有关,因而不完全独立于被解释的语言。实涵义结构更像是认知主义语义观下的语义构造。长期以来,实在论语义观在逻辑学研究中根深蒂固。实涵义结构的提出,对这类逻辑研究的哲学基础提出了反思。GAG and Gaa are systerms of term logic of generic sentences.The main idea of a term logic of generic sentences is the using of terms for concepects.It shows the roles of concepts more naturally.Sense semantics is a formal semantics for term logic of generics sentences,in which GAG and Gaa are sound.But the completeness result was not given.In order to prove the completeness,it is necessary to make some supplement,such as a general form for structures of the sense semantics,full and real sense structure,etc.The original structure in Beihai Zhou(2008) is a full sense structure indeed.The proof of completeness needs a real sense structure.The frame of a real sense strure is related with the interpretation,thus it is not independent from the object language.The real sense structure is similar to a semantic structure from the viewpoint of cognitive semantics.The realistic standpoint of semantics has been engrained for some time.The proposal of the real sense structure calls for a reflection on the philosophy base of the realistic standpoint.

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

分 类 号：B812[哲学宗教—逻辑学]