[논문 리뷰] On the Concept of Arithmetic Conseqeunce

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

Philosophy and Theoretical Science인용 수 0

한 줄 요약

이 논문은 산술에서 유도 가능성(derivability)과 의미적 지지가 증명적-이론적 의미론 하에서 다르게 나타난다고 주장한다; 어떤 이론은 그 Con을 의미적으로 지지할 수 있지만 그것을 도출 가능하게 증명하지는 못하며, Gödel의 불완전성에 대한 재구성을 제시한다.

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)가 의미적으로 지지되지만 유도 가능하지 않음을 보여준다.
• 이 구분이 반영 원리와 Gödel의 정리들에 대한 해석에 어떻게 정보를 주는지 명확히 한다.
• 산술에서의 추론주의를 전통적인 일관성과 의미 개념과 연결한다.

제안 방법

• 에이전트의 약속을 포착하는 원자 추론 규칙들의 집합으로 베이스를 정의한다.
• 기본 B로부터의 유도 가능성(⊢_B)과 공식을 위한 의미적 지지 관계(⊩_B)를 도입한다.
• 논리 상수에 대한 구성적 절을 포함한 Sandqvist의 증명적 의미론을 제시한다.
• 무한히 많은 상수의 조건하에서 음향성/완전성 연결을 보인다(정리 8).
• Con(A)를 Prov_A(⊥)의 부정으로 형식화하고 A ⊩ Con(A)임을 보이되 A ⊬ Con(A)임을 보인다.
• 해석 체계의 일부분으로 최대일관 베이스와 반사 원리에 대해 논의한다.]

실험 결과

연구 질문

• RQ1 고정된 산술 이론 A 내에서 의미적 지지가 구문적 유도 가능성과 다를 수 있는가?
• RQ2 어떤 조건에서 A가 Con(A)를 의미적으로 지지하지만 그것을 증명하지는 않는가?
• RQ3 산술의 유한 서명성(finitary nature)이 유도 가능성과 의미적 결과 사이의 관계에 어떻게 영향을 미치는가?
• RQ4 증명적 의미론을 Gödel의 불완전정리에 연결하는 데 반사 원리의 역할은 무엇인가?
• RQ5 이 프레임워크가 산술의 의미와 일관성을 어떻게 재해석하는가?

주요 결과

• 유한 서명 하의 적합한 산술 이론 A에 대해 의미적 지지는 A ⊩ Con(A)를 산출하지만 A ⊬ Con(A)임.
• Gödel의 제2 불완전성 정리는 유도 가능성 측면에서 여전히 유효하지만 일관성 진술의 의미적 지지를 배제하지는 않는다.
• 유도 가능성과 지지 사이의 차이는 언어에서 무한히 많은 사용되지 않는 상수를 필요로 하는 완전성 조건의 부재에서 비롯된다.
• 이 결과는 불완전성을 증명가능성과 마음으로부터의 독립적 진리 사이의 간극이 아니라 두 내부적으로 결정된 함의 개념 사이의 차이로 재구성한다.
• 이 접근법은 반사 원리, 일관성, 그리고 수학적 의미에 대한 추론주의 사이의 관계를 명확히 한다.
• 이 프레임워크는 무한히 확장될 수 있다는 Dummett의 아이디어를 형식적 반사 개념과 Provability를 통한 구성적 확장으로 연결한다.