Classical Logic without Bivalance

이 논문은 두메트의 반실재론적 관점에서 고전 논리를 재해석한 산드퀴스트의 의미론을 메타수학에 적용하여, 초한 순서수나 초월적 진리 개념 없이도 자연수 귀납법만으로 페아노 산술의 일관성을 증명하고 $\omega$-불완전성과 귀납법의 의미 구성적 성격을 설명합니다.

핵심

이 논문은 **"진짜 수학은 어떻게 증명되는가?"**라는 아주 깊은 질문에 대해, 기존의 방식과는 완전히 다른 새로운 시선으로 답을 제시합니다.

제목인 '이중성 (Bivalence) 없는 고전 산술'은 조금 어렵게 들릴 수 있지만, 쉽게 비유하자면 다음과 같습니다.

🌟 핵심 아이디어: "진짜/거짓"보다 "사용 규칙"이 중요하다

기존의 수학 철학 (형식주의나 실재론) 은 수학을 **"진짜로 존재하는 우주"**나 **"완벽한 기계"**로 보았습니다. 하지만 이 논문의 저자 (알렉산더 게오르기우) 는 **"수학은 우리가 사용하는 언어의 규칙"**이라고 봅니다.

마치 체스를 생각해보세요.

• 기존 관점: 체스 말들이 실제 나무로 만들어져 있고, 그 말들이 움직이는 법칙이 우주에 이미 정해져 있다고 믿는 것입니다.
• 이 논문의 관점: "말이 움직이는 법칙 (규칙)" 자체가 체스라는 게임의 의미입니다. 말들이 실제로 존재하든 말든, 규칙을 어떻게 적용하느냐가 중요합니다.

---

🧩 1. 문제: "모든 숫자를 다 확인했나?" (ω-불완전성)

기존 수학에서는 "모든 자연수 n 에 대해 A 가 참이다"라고 증명해도, "모든 자연수 x 에 대해 A 가 참이다"라고 결론 내리기 어려운 경우가 있습니다. (예: 1 은 맞고, 2 는 맞고, 3 은 맞지만... 무한히 계속되는 모든 숫자를 다 확인할 수 없기 때문이죠.)

이를 $\omega$-불완전성이라고 하는데, 마치 "모든 학생이 시험에 합격했다"고 증명하려면, 학교에 학생이 100 명인지 100 만 명인지, 혹은 이름 없는 학생이 숨어있지는 않은지 확인해야 하는 것처럼 복잡하고 위험한 문제였습니다.

💡 2. 해결책: "숫자는 이름표일 뿐이다"

이 논문은 Sandqvist 라는 학자의 새로운 논리 체계를 가져와서 이 문제를 해결합니다.

• 비유: 수학에서 '숫자'는 우주에 숨겨진 보물 같은 것이 아니라, 우리가 붙인 이름표일 뿐입니다.
• 해석: 만약 우리가 "이름표 1, 2, 3... 이 모두 규칙을 따른다"고 증명했다면, 그 이름표가 붙은 모든 것이 규칙을 따르는 것입니다. 숨겨진 '이름 없는 숫자' 같은 괴물은 존재할 수 없습니다.
• 결과: "모든 숫자를 확인했다"는 말이 "모든 이름표를 확인했다"는 뜻이 되므로, 더 이상 복잡한 의심이 필요 없어집니다.

🛡️ 3. 대박 성과: "간단한 방법으로 수학의 안전성 증명"

수학의 가장 큰 걱정거리는 **"수학 자체가 모순 (모순된 결론) 을 내뱉지 않을까?"**입니다. (예: 1+1=2 이면서 동시에 1+1=3 이 되는 상황).

• 기존 방식: 이걸 증명하려면 무한한 차원이나 신비로운 초월적인 힘 (초한 수 등) 을 동원해야 했습니다. 마치 1 층 건물의 안전성을 증명하기 위해 100 층짜리 빌딩을 짓는 것처럼 과한 일이었습니다.
• 이 논문의 방식: 자연수 (1, 2, 3...) 에 대한 아주 단순한 '계산'과 '규칙'만 사용했습니다.
  • 저자는 "수학의 규칙 (PA)"을 따르는 **가상의 게임판 (Base)**을 만들었습니다.
  • 이 게임판 위에서 "모든 규칙을 따르더라도 '모순 (⊥)'이라는 결과가 나오지 않는다"는 것을 단순한 계산으로 증명했습니다.
  • 핵심: "우리가 수학을 어떻게 정의하느냐 (규칙)"가 중요하지, "수학이 우주에 실재하느냐"는 중요하지 않습니다. 규칙만 잘 지키면 수학은 안전합니다.

🎭 4. 왜 이것이 중요한가? (철학적 의미)

이 논문은 **"수학의 진리는 우리가 발견하는 것이 아니라, 우리가 만드는 것이다"**라고 말합니다.

• 비유: 수학은 레고 블록입니다.
  • 레고 블록이 우주에 이미 완성된 성으로 떠다니고 있는 게 아닙니다.
  • 우리가 "이 블록은 저 블록 위에 올려야 한다"는 **규칙 (규칙성)**을 정하면, 그 규칙 안에서 성이 만들어집니다.
  • 만약 규칙이 모순되지 않는다면, 그 성은 안전합니다. 우리가 그 성을 '진짜'라고 믿을 필요는 없습니다. 규칙이 통하는 한, 그 자체로 충분합니다.

📝 요약: 한 문장으로 정리

"수학은 우주에 숨겨진 진리를 찾는 게 아니라, 우리가 정한 규칙 (규칙성) 안에서 **이름표 (숫자)**를 어떻게 다루느냐의 문제입니다. 이 논리는 복잡한 우주론 없이, 단순한 규칙의 일관성만으로 수학이 안전하다는 것을 증명해냈습니다."

이것은 수학이 더 이상 신비롭거나 두려운 것이 아니라, 우리가 매일 사용하는 언어와 논리의 규칙 그 자체임을 보여줍니다.

기술 요약

논문 요약: 이진성 (Bivalence) 없는 고전 산술

1. 연구 배경 및 문제 제기 (Problem)

• 전통적 접근의 한계: 형식주의 (Formalism) 와 지칭론 (Denotationalism) 은 산술의 불완전성, 독립성, 일관성 증명에 강력한 결과를 제공했으나, 기초론적 측면에서 문제가 있습니다.
  • 형식주의: $\omega$-불완전성 (모든 숫자 $n$에 대해 $\varphi(n)$은 증명되지만 $\forall x \varphi(x)$는 증명되지 않는 현상) 을 이론의 본체론적 결정과 모순되는 '단순한 특징'으로 치부합니다.
  • 지칭론: $\omega$-불완전성을 설명할 수 있지만, 이는 실재론적 형이상학과 진리 조건적 의미론을 전제해야 하므로, 논리학의 기초가 되어야 할 '의미'의 본질을 묻는 Dummett 의 반실재론적 요구를 충족시키지 못합니다.
• 핵심 질문: Dummett 이후 반실재론적 관점에서 고전 논리 (Classical Logic) 를 어떻게 정당화할 수 있으며, 이를 통해 산술의 일관성 (Consistency) 을 어떻게 증명할 수 있는가?

2. 방법론 (Methodology)

이 논문은 **Sandqvist(2009)**가 제안한 **이유론적 의미론 (Inferentialist Semantics)**을 산술의 메타수학 (Metamathematics) 에 적용합니다.

• 근거 (Base) 와 지지 (Support):
  • 의미는 진리 조건이 아닌 **추론 역할 (Inferential Role)**에 의해 결정됩니다.
  • 기저 (Base, $B$): 비논리적 추론 규칙 (원자적 규칙) 의 집합으로, 에이전트의 물질적 추론적 의무를 나타냅니다.
  • 지지 판단 ($\Vdash_B$): 논리 상수 ($\to, \forall, \bot$ 등) 의 의미는 기저 $B$에서의 추론 가능성에 의해 귀납적으로 정의됩니다 (그림 1 참조).
  • 이중 진리값 부재: 이 체계는 진리값이 항상 참 또는 거짓이어야 한다는 이분법 (Bivalence) 을 요구하지 않습니다.
• 산술 이론의 정의:
  • 산술 언어의 기호는 $\langle 0, S, +, \cdot \rangle$이며, 등식 공리 (EQ1-EQ4) 를 포함합니다.
  • 수치적 명확성 (Numerically Definite): 모든 닫힌 항 (closed term) $t$에 대해 어떤 숫자 기호 $\bar{n}$이 존재하여 $\Gamma \Vdash (t = \bar{n})$이 성립하는 이론. 이는 이론이 도메인이 숫자 기호로 포착됨을 '아는' 상태를 의미합니다.

3. 주요 기여 및 결과 (Key Contributions & Results)

가. $\omega$-불완전성의 해결 및 귀납의 의미 구성성

• Proposition 5: 이론 $\Gamma$가 '수치적 명확성 (Numerically Definite)'을 가지면, $\Gamma \Vdash \varphi(\bar{n})$이 모든 숫자 기호 $\bar{n}$에 대해 성립할 때, $\Gamma \Vdash \forall x \varphi(x)$가 성립합니다. 즉, $\omega$-완전성이 보장됩니다.
  • 이유: 추론론적 관점에서 존재는 언어 내 항의 추론적 역할에 의해 결정되므로, 이론이 숫자 기호로 도메인을 포착하면 양화사 범위는 숫자 기호로 제한됩니다.
• Proposition 6 (귀납 원리): 수치적 명확한 이론에서 귀납 원리는 증명 가능한 결과입니다. 모든 숫자 기호에 대한 성립이 전체 도메인에 대한 성립을 함의하므로, 귀납은 산술적 의미 이해의 **구성적 요소 (Meaning-constitutive)**가 됩니다.
• Q 와 PA 의 차이 해소: 모델 이론적 관점에서는 Robinson 산술 (Q) 과 Peano 산술 (PA) 의 차이가 존재하지만, 이 의미론에서는 이론 자체가 본체론을 고정하므로 두 이론의 차이가 사라집니다. 이는 결함이 아닌 특징으로 간주됩니다.

나. Peano 산술 (PA) 의 일관성 증명 (Theorem 9)

• 증명 전략: PA 의 모든 공리가 어떤 기저 $A$에서 지지되지만, 모순 ($\bot$) 은 지지되지 않음을 보이는 것.
• 구체적 구성:
  1. 산술 기저 $A$ 정의: 등식 공리와 PA 의 공리 (PA1-PA7) 를 지지하는 원자적 규칙들의 집합을 구성합니다 (그림 2).
  2. 가중치 함수 (Weight Function, $w(t)$): 닫힌 항 $t$에 대해 정의된 함수:
     • $w(0) = 0$
     • $w(S(t')) = w(t') + 1$
     • $w(t_1 + t_2) = w(t_1) + w(t_2)$
     • $w(t_1 \cdot t_2) = w(t_1) \cdot w(t_2)$
  3. 일관성 논증: $A$-추론에서 $t_1 = t_2$가 유도된다면 $w(t_1) = w(t_2)$임이 귀납적으로 증명됩니다.
     • 만약 $A \Vdash \bot$이라면, $1=0$이 유도되어야 하므로$w(1)=w(0)$이어야 합니다.
     • 그러나 $w(1)=1$이고 $w(0)=0$이므로 모순입니다.
     • 따라서 $A \nVdash \bot$이며, PA 는 일관적입니다.
• 중요한 특징: 이 증명은 유한한 자연수 위의 귀납법만을 사용하며, 초유한 순서수 (transfinite ordinals) 나 인식 초월적 진리 (recognition-transcendent truth) 에 호소하지 않습니다.

다. 고전 논리로의 확장 (Soundness & Completeness)

• Sandqvist의 의미론은 고전 논리에 대해 건전 (Sound) 합니다 ($\Gamma \vdash \varphi \implies \Gamma \Vdash \varphi$).
• 따라서 PA 가 의미론적으로 일관적 ($\text{PA} \nVdash \bot$) 이라면, 고전 논리에서도 일관적입니다 ($\text{PA} \nvdash \bot$).
• 언어에 무한한 상수들을 추가하여 완전성 (Completeness) 을 확보하더라도, 가중치 함수를 확장하여 동일한 일관성 증명이 유효함을 보입니다.

4. 의의 및 철학적 함의 (Significance)

• 힐베르트 프로그램의 재해석: 이 결과는 힐베르트 프로그램의 전통적 의미 (PA 보다 약한 메타이론으로 PA 의 일관성 증명) 를 달성하는 것이 아닙니다. 대신, **추론론적 의미론 (Inferentialism)**이라는 대안적 기초 위에서, 산술의 일관성이 자연수 개념의 이해 (귀납법) 에 내재되어 있음을 보여줍니다.
• 반실재론적 정당화:
  • 형식주의 비판: 메타이론의 복잡성 (양화사 교차 등) 에 대한 비판은 형식주의를 표준으로 삼는 전제에서 비롯된 것입니다. 추론론적 관점에서는 지지 관계가 산술화될 수 있는 단일 공식이 아니라, 논리 언어 사용의 의미에 대한 메타이론적 설명입니다.
  • 모델 이론 비판: 귀납법이 자연수의 객관적 구조에 의존한다는 모델 이론적 우려는, 이 접근법에서는 자연수 개념 자체가 추론적 역할에 의해 구성되므로 무의미합니다. 귀납은 가정된 도메인에 대한 가정이 아니라, 자연수 이해의 구성 요소입니다.
• 잠재적 무한성: 의미론 정의에 사용된 무한 집합 (예: 상수들의 열) 은 완성된 총체 (completed totality) 가 아니라, 필요에 따라 새로운 기호를 도입할 수 있는 **잠재적 무한성 (Potential Infinity)**으로 해석됩니다. 이는 현대 수학의 관행과 부합합니다.

5. 결론

이 논문은 Sandqvist의 의미론을 적용하여, 이중 진리값을 전제하지 않으면서도 고전 산술 (PA) 의 일관성을 증명할 수 있음을 보였습니다. 이 증명 과정은 초유한 수학적 도구를 배제하고 자연수 위의 단순 귀납법만을 사용하며, 산술적 용어의 의미는 산술 이론 자체의 추론적 규칙에 의해 결정됨을 보여줍니다. 이는 Dummett 이후의 반실재론적 논리학이 고전 논리와 산술의 기초를 어떻게 재건할 수 있는지를 보여주는 중요한 사례입니다.