[论文解读] On the Concept of Arithmetic Conseqeunce

Alexander V. Gheorghiu|arXiv (Cornell University)|Mar 10, 2026

Philosophy and Theoretical Science被引用 0

一句话总结

该论文主张在算术领域，证明性语义下的可证性与语义支持可能发生分歧；理论在语义上可以支持其 Con，但在可证性上并不证明它，从而重新阐释哥德尔的不完备性。

ABSTRACT

Gödel's second incompleteness theorem is standardly understood as showing that no sufficiently strong, consistent theory of arithmetic can prove its own consistency, a result typically interpreted against a model-theoretic background in which arithmetical language is evaluated with respect to an independently given structure of natural numbers. This paper develops an alternative perspective grounded in proof-theoretic semantics. We distinguish between derivability and a semantic notion of consequence given by support, defined compositionally in terms of the inferential roles fixed by a theory. For suitable arithmetical theories A formulated in a finite signature (such as Robinson's Q and Peano Arithmetic), these two notions can diverge in a principled way: although A does not prove its own consistency, it nevertheless supports its formalized consistency statement, and more generally supports sentences not derivable within it. This does not conflict with Gödel's incompleteness theorem, but instead reframes incompleteness as a divergence between two internally determined notions of consequence associated with a single theory, rather than as a gap between syntactic provability and truth in a mind-independent structure. The result clarifies the relationship between reflection, consistency, and inferentialist approaches to meaning, and shows how substantial semantic determinacy may arise from the inferential structure of arithmetic itself.

研究动机与目标

• 引入一种将意义与推理角色绑定的算术证明性语义，而非外在真值条件。
• 区分算术理论中的句法可证性与语义支持。
• 在适当的有限签名理论（如 Q、PA）下，证明 Con(A) 在语义上被支持但不可证。
• 阐明这一分离如何影响对反身性原则的理解以及对哥德尔定理的解释。
• 将推理主义与算术中的一致性与意义的传统概念联系起来。

提出的方法

• 将基本集合定义为刻画主体承诺的一组原子推理规则。
• 引入从基 B 得到的可导性（⊢_B）和对公式的语义支持关系（⊩_B）。
• 给出 Sandqvist 的证明性语义，包含对逻辑常量的组合性条款。
• 在“语言中无限多个常量”的条件下证明一一对应的健全性/完备性关系（定理 8）。
• 将 Con(A) formal 化为 Prov_A(⊥) 的否定并且 show A ⊩ Con(A) 同时不具有 A ⊢ Con(A)。
• 将极大一致基和反身原则纳入解释框架的讨论。

实验结果

研究问题

• RQ1 在固定的算术理论 A 内，语义支持是否可能与句法可证性分离？
• RQ2 在何种条件下 A 在语义上支持 Con(A) 而不证明它？
• RQ3 有限签名的算术性质如何影响推理结果与语义后果之间的关系？
• RQ4 反身原则在将证明性语义与哥德尔不完备定理联系起来中扮演何种角色？
• RQ5 这一框架如何重新解释算术中的意义与一致性？

主要发现

• 在适合的有限签名算术理论 A 中，语义支持导致 A ⊩ Con(A)，尽管 A ⊬ Con(A)已成立。
• 哥德尔的第二不完备性定理在可证性意义上仍然成立，但并不排除对一致性陈述的语义支持。
• 可证性与支持之间的差距源自语言中缺乏要求无限多未使用常量的完整性条件。
• 这一结果将不完备性重新表述为两种内部确定的结果蕴涵之间的分歧，而非可证性与独立于心灵的真理之间的差距。
• 此方法阐明了反身原则、 一致性与对数学意义的推理主义之间的关系。
• 该框架将 Dummett 的“无限延展性”思想通过以可证明性作为构造性扩展，与形式化的反身 notions 联系起来。