[論文レビュー] 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) が意味的に支持されるが導出不能であることを実証する。
• この分離が反省原理とゲーデルの定理の解釈にどのように影響するかを明らかにする。
• 推論主義を算術における整合性と意味の伝統的 notion に関連づける。

提案手法

• 原子推論規則の集合としての前提を定義し、エージェントのコミットメントを捉える。
• 基底Bからの derivability（⊢_B）と式の意味的支持関係（⊩_B）を導入する。
• 論理定数に対する成分的句を用いたSandqvist の証明論的意味論を提示する。
• 無限に多くの定数を持つ条件の下での健全性/完備性の関係を証明する（定理8）。
• Con(A) を Prov_A(⊥) の否定として形式化し、A ⊩ Con(A) でありながら A ⊢ Con(A) を持たないことを示す。
• 解釈的枠組みの一部として最大整合基底と反射原理を論じる。

実験結果

リサーチクエスチョン

• RQ1 固定された算術理論Aの中で意味的支持が文法的導出可能性と異なることはあり得るか。
• RQ2 どの条件下で A は Con(A) を意味的に支持するがそれを証明しないのか。
• RQ3 算術の有限署名性が導出可能性と意味的結果の関係にどう影響するか。
• RQ4 反射原理は証明論的意味論とゲーデルの不完全性定理を結ぶ役割をどのように果たすか。
• RQ5 この枠組みは算術における意味と整合性の意味をどのように再解釈するか。

主な発見

• 有限署名の適切な算術理論Aにおいて、意味的支持はA ⊩ Con(A) を与える一方で A ⊬ Con(A) である。
• ゲーデルの第二不完全性定理は導出可能性の観点では依然有効だが、整合性命題の意味的支持を排除するものではない。
• 導出可能性と支持の間のギャップは、言語に無限の未使用定数を要求する完備性条件が欠如していることに起因する。
• この結果は、不完全性を発現するのを、証明可能性と心依存の真理の間のギャップとしてではなく、内部的に決定される結果の概念の divergence として再定義する。
• このアプローチは、反射原理、整合性、推論主義と数学的意味の関係を明確にする。
• この枠組みはダメットの「 indefiniteness の拡張性」の考えを、証明可能性をConstructive な拡張として捉える公式的反映 notions に結びつける。