%0 Journal Article
%T 概称句词项逻辑系统GAG 与Gaa 的完全性<br>Completeness for Systems GAG and Gaa of Generic Sentences
%A 陈星群
%A 周北海&lt
%A br&gt
%A Xingqun Chen
%A Beihai Zhou
%J 逻辑学研究
%D 2017
%X GAG 与Gaa 是关于概称句推理的逻辑系统。概称句词项逻辑的要点是引入了表示概念的词项，从而以更自然的方式表示概念在推理中的作用，这也带来了概称句词项逻辑语言的特点。涵义语义是用于概称句词项逻辑语言的形式语义。在涵义语义下GAG 与Gaa 是可靠的，但是完全性证明一直空缺。通过完全性证明，发现有必要对原来的涵义语义做一些补充和完善，为此提出涵义语义结构的一般形式，进而给出全涵义结构和实涵义结构。原来的语义结构实际上是全涵义结构。完全性证明需要使用实涵义结构。实涵义结构的框架部分与解释函数有关，因而不完全独立于被解释的语言。实涵义结构更像是认知主义语义观下的语义构造。长期以来，实在论语义观在逻辑学研究中根深蒂固。实涵义结构的提出，对这类逻辑研究的哲学基础提出了反思。<br
%K 概称句
%K 词项逻辑
%K 完全性
%K &lt
%K br&gt
%U https://studiesinlogic.sysu.edu.cn/CN/abstract/abstract281.shtml