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

• 作者: 周北海 陈星群
• 来源期刊: 中国哲学年鉴
• 学科: 哲学
• 关键词: 概称句 逻辑系统 认知主义 语义结构 完全性 词项逻辑 语义观 涵义
• 年，卷（期）: 2018,（1）
• 页码范围: 342-343
• 页数: 2页
• 分类号: B

摘要

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