Classical Logic without Bivalance

この論文は、サンドクヴィストの二値原理を欠く古典論理のセマンティクスをメタ数学に応用し、超順序数や認識を越えた真理に頼らずにペアノ算術の無矛盾性を証明する枠組みを提示する。

要約

この論文は、**「数学の真理とは何か？」**という難しい哲学的な問いを、新しい視点からシンプルに解き明かそうとするものです。

タイトルにある「二値性なしの古典的算術」という言葉は少し難しそうですが、要するに**「『真』か『偽』かという二択だけで数学を語る必要はないし、それでこそ数学の本当の姿が見えてくる」**という主張です。

以下に、専門用語を排し、日常の例え話を使ってこの論文の核心を解説します。

---

1. 従来の「数学の悩み」というおとぎ話

昔から数学者たちは、数学をどう捉えるかで二つの派閥に分かれていました。

• 形式主義者（ルールゲーム派）：
  「数学はただの記号の遊びだ。ルールに従って記号を並べ替えるだけ。意味なんてない」と考えます。

  • 悩み： 「ルール通りに『1+1=2』は証明できるのに、『すべての数について〜』という大きな話になると、なぜか証明できなくなることがある（ω-不完全性）」というジレンマに陥ります。まるで、すべての個々のピースは揃っているのに、完成図が描けないパズルのようです。

• 記述主義者（現実派）：
  「数学は、頭の中に存在しない『完璧な世界』を描写している」と考えます。

  • 悩み： 「じゃあ、その『完璧な世界』ってどこにあるの？誰が見たの？」という、現実離れした仮定をしなければならず、哲学的な難問にぶち当たります。

2. 新しい解決策：「意味は使い方で決まる」

この論文の著者（アレクサンダー・ゲオルギウ）は、**「推論主義（インフェレンシオリズム）」**という第三の道を選びました。

【例え話：料理のレシピ】
料理の味（意味）は、その食材が「何であるか（現実の世界にあるか）」で決まるのではなく、**「レシピ（ルール）の中で、他の食材とどう組み合わさるか（推論関係）」**で決まります。

• 「卵」という言葉の意味は、卵が実際にスーパーに並んでいるかどうかではなく、「卵＋牛乳＝オムレツ」「卵＋砂糖＝プリン」という使い方のルールによって決まるのです。

この論文では、**「数学の数（0, 1, 2...）の意味も、それらが『どう計算されるか』というルールだけで決まる」**と主張しています。

3. この考え方がすごい点：パズルの欠片がなくなる

従来の「形式主義」では、パズルのピース（個々の数字）は揃っているのに、全体像（すべての数）が見えないという矛盾がありました。

しかし、この新しい考え方では：

• 「すべての数」という概念は、**「私たちが知っている数字（0, 1, 2...）の集まりそのもの」**です。
• 「見えない数」なんて存在しません。私たちが計算できるルールの中で定義されるものだけが「存在」するのです。

【例え話：村の住民】

• 昔の考え方： 「村には住民がいる。でも、名前を呼ばれていない住民もいるかもしれない。だから『すべての住民』について話すのは危険だ」という不安がありました。
• 新しい考え方： 「村の住民とは、名前を呼ばれている人たちのことだ。名前を呼ばれていない人は、その村には存在しない（あるいは、名前がつけばすぐに住民になる）」と定義し直しました。
  • これにより、「名前を呼ばれていない住民」についての不安（ω-不完全性）は、最初から消えてなくなります。

4. 最大の成果：「数学の矛盾なし」を証明する

この論文の最大のハイライトは、「ペアノ算術（PA）」という数学の基礎システムが、矛盾（破綻）しないことを証明したことです。

• 従来の証明： 「無限の階段を登って、神様のような視点（超限順序数）から全体を見下ろさないと、矛盾がないか確認できない」という、非常に複雑で重厚な証明が必要でした。
• この論文の証明： 「普通の足し算の感覚（自然数を使った帰納法）」だけで証明できました。

【例え話：塔の強度】

• 昔： 「この塔が倒れないか確認するには、空からヘリコプターで全体を見下ろす必要がある」と言われていました。
• 今回： 「塔のブロック一つ一つを順番に積み上げていく感覚（帰納法）だけで、『この塔は倒れない』と証明できました。特別なヘリコプター（神の視点）は不要です。」

これは、数学の基礎を「神の視点」や「複雑な論理」に頼らず、私たちが普段使っている「計算のルール」そのもので守り抜いたことを意味します。

5. 結論：数学は「現実」ではなく「ルール」の勝利

この論文が伝えたいことはシンプルです。

「数学の真理は、どこか遠くにある『完璧な世界』に頼る必要はありません。私たちが『0 から始めて、1 つずつ増やす』というルールを共有し、そのルールの中で矛盾がないことを確認できれば、それで数学は安全なのです。」

著者は、「矛盾がないこと（一貫性）」を証明するために、無理やり「無限」や「現実離れした存在」を持ち出す必要はもはやないと宣言しています。

これは、数学を「神様が見ている世界」から、**「私たちが実際に使っている言葉とルールの世界」**へと引き戻す、とても人間味のある、そして力強い主張なのです。

技術概要

アレクサンダー・V・ゲオルギウ（Alexander V. Gheorghiu）による論文「非二値性のない古典的算術（Classical Arithmetic Without Bivalence）」の技術的要約を以下に記します。

1. 問題意識（Problem）

従来の形式論理学は、数学そのものを数学的手法で研究する「メタ数学」のために発展してきました。これには主に二つの立場があります。

• 形式主義（Formalism）: 数学を解釈されていない記号の操作体系とみなし、証明可能性に焦点を当てる（ヒルベルトなど）。しかし、$\omega$-不完全性（任意の数値 $n$ に対して $\phi(n)$ が証明されても、$\forall x \phi(x)$ が証明されない現象）を説明する際、理論が決定する存在論と矛盾が生じるという難点があります。
• 記述主義（Denotationalism）: 数学的語彙が心から独立した構造を指し示すとみなし、モデルにおける真理保存として論理的帰結を定義します（タルスキなど）。しかし、これは実在論的な形而上学と真理条件意味論を前提としており、論理の基礎づけとして循環論法を犯す可能性があります（デュメットなど）。

デュメット以降、反実在論的な立場から古典的推論を正当化する試みが求められてきました。サンドクヴィスト（Sandqvist, 2009）は「非二値性のない古典論理」の推論主義的意味論（証明論的意味論）を提案しましたが、これがメタ数学の核心的な問い（特に算術の無矛盾性証明）にどう応えるかは未解決でした。

2. 方法論（Methodology）

本論文は、サンドクヴィストの**推論主義的意味論（Inferentialist Semantics）**をペano 算術（PA）のメタ理論として適用します。

• 意味論の基礎:
  • 原子規則と基底（Base）: 非論理的な推論規則の集合を「基底 $B$」とし、これが主体の推論的コミットメントを表します。
  • 支持関係（Support, $\Vdash_B$）: 論理定数の意味は、基底 $B$ における「支持」関係によって帰納的に定義されます（図 1 参照）。これはモデル理論的な真理ではなく、推論的役割に基づいています。
  • 非二値性: 真理値が常に「真」か「偽」の二値に限定されることを前提としません。
• 算術の定式化:
  • 算術理論 $\Gamma$ が「数値的に確定（Numerically Definite）」であるとは、任意の閉項 $t$ に対して、ある数値 $\bar{n}$ が存在し $\Gamma \Vdash (t = \bar{n})$ となることを意味します。
  • この定義の下では、全称記号 $\forall$ は言語内の項（数値）に限定され、理論が決定する存在論の範囲を超えて「浮遊」しません。

3. 主要な貢献と結果（Key Contributions & Results）

A. $\omega$-不完全性の解消と帰納法の意味論的構成

• 命題 5: 数値的に確定した理論 $\Gamma$ は、$\omega$-完全です。つまり、すべての数値 $\bar{n}$ に対して $\Gamma \Vdash \phi(\bar{n})$ ならば、$\Gamma \Vdash \forall x \phi(x)$ が成り立ちます。
  • 理由: 推論主義的意味論では、存在するものは言語内の項（数値）に限定されるため、名前のない「非標準的な要素」が存在する余地がありません。
• 命題 6: 数値的に確定した理論において、数学的帰納法（$\phi(0)$ と $\forall x(\phi(x) \to \phi(S(x)))$ から $\forall x \phi(x)$ を導く）は、単なる公理ではなく、数値を調査することが全空間を網羅することを保証する**意味構成的（meaning-constitutive）**な原理として導かれます。

B. ペアノ算術（PA）の無矛盾性の証明（定理 9）

本論文の最大の成果は、通常の自然数上の帰納法のみを用いて、PA の無矛盾性を証明することです。

• 証明の概要:
  1. PA の公理（等号公理、算術公理、帰納法公理）をすべて支持する「基底 $A$」を明示的に構成します（図 2 参照）。
  2. 閉項 $t$ に対して重み関数 $w(t)$ を定義します（$0$は$0$、$S(t)$は$w(t)+1$、加算・乗算は重みの和・積など）。
  3. 基底 $A$ における導出において、等式 $t_1 = t_2$ が導かれるならば $w(t_1) = w(t_2)$ であることを項の構造に関する帰納法で示します。
  4. もし $A \Vdash \bot$（矛盾）であれば、$1=0$が導かれ、$w(1)=w(0)$となるはずですが、これは$1=0$ を意味し矛盾します。
  5. したがって、$A \Vdash \bot$ は成り立たず、PA は無矛盾です。
• 特徴: この証明は、形式主義が要求する超限順序数や、記述主義が要求する心から独立したモデルへの言及を一切必要としません。

C. 完全性と拡張

• 言語に無限個の定数（$c_i$）を追加し、それらをすべて $0$と同一視する基底に拡張することで、この意味論が古典的導出可能性（$\vdash$）に対して完全（Complete）かつ健全（Sound）であることも示されています。この場合でも、上記の無矛盾性証明はそのまま成立します。

4. 意義と哲学的含意（Significance）

1. ヒルベルト・プログラムへの再評価:
   本証明は、PA の無矛盾性を PA より「弱い」メタ理論（形式主義的な意味での有限主義）で証明したわけではありません。むしろ、推論主義的意味論という別の哲学的基盤において、無矛盾性が「自然数上の帰納法」という日常的かつ直感的な手法で証明可能であることを示しました。これはデュメットが指摘した「実用的な循環（pragmatic circularity）」の正当な例です。

2. $\omega$-不完全性の解消:
   形式主義における $\omega$-不完全性は、理論が記述できない「非標準モデル」の存在を認めることで説明されますが、推論主義的意味論では、理論が決定する存在論（数値）以外に何もないとみなすため、この問題自体が解消されます。Q（ロビンソン算術）と PA の間のギャップは、モデル理論的な視点では存在しますが、推論主義的視点（理論が項の集合を決定する）では意味を失います。

3. 反実在論的基礎づけ:
   数学的真理は心から独立した構造に依存するのではなく、推論的役割（インダクションなど）によって構成されるとする反実在論的立場（デュメット、サンドクヴィスト）が、算術の無矛盾性というメタ数学の核心課題に対して、実用的かつ厳密な解決策を提供できることを示しました。

4. 無限の扱い:
   意味論の定義には集合論的用語が使われていますが、推論主義的立場では、無限の記号列などは「完成された無限集合」としてではなく、「任意の段階で新たな記号を導入できる可能性としての無限（potential infinity）」として扱われます。これにより、反実在論の枠組みを維持したまま、標準的な数学的推論（帰納法など）を正当化しています。

結論

本論文は、サンドクヴィストの「非二値性のない古典論理」の枠組みを用いることで、ペアノ算術の無矛盾性を、超限順序数や実在論的モデルに依存することなく、自然数上の通常の帰納法のみを用いて証明可能であることを示しました。これは、推論主義的意味論がメタ数学の基礎として機能しうることを示す重要なステップであり、$\omega$-不完全性などの古典的な問題を、存在論の再定義によって解消する可能性を提示しています。