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

逻辑学研究 2017 年第2 期，2–21 文章编号：1674-3202(2017)-02-0002-20 概称句词项逻辑系统GAG 与Gaa 的完全性* † 陈星群 周北海 深圳大学人文学院哲学系 北京大学哲学系 yangwenli@ zhoubh@ 摘 要：GAG 与Gaa 是关于概称句推理的逻辑系统。概称句词项逻辑的要点是引入 了表示概念的词项，从而以更自然的方式表示概念在推理中的作用，这也带来了概称句 词项逻辑语言的特点。涵义语义是用于概称句词项逻辑语言的形式语义。在涵义语义 下GAG 与Gaa 是可靠的，但是完全性证明一直空缺。通过完全性证明，发现有必要对 原来的涵义语义做一些补充和完善，为此提出涵义语义结构的一般形式，进而给出全涵 义结构和实涵义结构。原来的语义结构实际上是全涵义结构。完全性证明需要使用实 涵义结构。实涵义结构的框架部分与解释函数有关，因而不完全独立于被解释的语言。 实涵义结构更像是认知主义语义观下的语义构造。长期以来，实在论语义观在逻辑学 研究中根深蒂固。实涵义结构的提出，对这类逻辑研究的哲学基础提出了反思。 关键词：概称句；词项逻辑；完全性 中图分类号：B81 文献标识码：A 概称句词项逻辑引入了表示概念的词项，能更自然地表示概念在推理中的 [ ] 作用。GAG 与Gaa 是其中两个关于概称句推理的系统。（7 ）GAG 重在刻画 概念到概念的推理，Gaa 重在刻画概念到个例的推理。它们是可靠的。本文给 出了一直空缺的完全性证明，并补充和完善了原来技术层面的若干不足。在证 明中遇到了新的问题，由此得到了一些启发。 1 语言与系统 语言 符号 有可数无穷多的个体变项、个体常项、一元谓词；谓词函项、 ；词句函项；命题常项；命题连接词、；量词符号 ；辅助符 收稿日期：2016-09-02 * 基金项目：国家社科基金重大项目“基于多学科视域的认知研究”12ZD119。 † 致 谢：感谢2016 年全国现代逻辑学术研讨会的审稿人对初稿提出的修改意见。周北海 为本文通讯作者。 陈星群, 周北海 概称句词项逻辑系统GAG 与Gaa 的完全性 3 号、。其他常见符号按通常方式定义。 词 (1) 个体词：个体变项 等；个体常项 等。 表示任意个体词。 所有个体变项的集合记作 。 (2) 谓词：谓词符号；若 是谓词符号，则 也是谓词。 用 表示 或 。 公式 约定 作为 的缩写。 系统 系统M 由以下公理模式和初始规则构成。 • 公理模式 PL 命题逻辑的所有重言式 CK CMP • 初始规则 MP 从 和 可得 （分离） RCEA 从 可得 （前件等值置换） RN 从 可得 （正常化规则） RM 从 可得 （对定理的单调性） 系统MQ 是M 的量化扩张，以M 为基础增加以下公理模式和规则。 • 公理模式 ， 合适 Bf ，如 不在 中自由出现。 N N 4