2025-11-24T12:46:24.179884

From real analysis to the sorites paradox via Reverse Mathematics

Dean, Sanders
This paper presents a reverse mathematical analysis of several forms of the sorites paradox. We first illustrate how traditional formulations are reliant on Hölder's Representation Theorem for ordered Archimedean groups. While this is provable in RCA$_0$, we also consider two forms of the sorites which rest on non-constructive principles: the continuous sorites of Weber & Colyvan (2010) and a variant we refer to as the covering sorites. We show in the setting of second-order arithmetic that the former depends on the existence of suprema and thus on arithmetical comprehension (ACA$_0$) while the latter depends on the Heine-Borel Theorem and thus on Weak König's Lemma (WKL$_0$). We finally illustrate how recursive counterexamples to these principles provide resolutions to the corresponding paradoxes which can be contrasted with supervaluationist, epistemicist, and constructivist approaches.
academic

実数解析からソライツのパラドックスへ：逆向数学を通じて

基本情報

  • 論文ID: 2502.06596
  • タイトル: From real analysis to the sorites paradox via Reverse Mathematics
  • 著者: Walter Dean, Sam Sanders
  • 分類: math.LO（数理論理学）、math.HO（数学史および概論）
  • 発表日: 2025年2月10日
  • 論文リンク: https://arxiv.org/abs/2502.06596

要旨

本論文は逆向数学の方法を用いてソライツのパラドックス（連鎖論法のパラドックス）の複数の形式を分析する。著者らはまず、従来の表現がいかに順序付きアルキメデス群のヘルダー表現定理に依存するかを示す。この定理はRCA₀で証明可能であるが、論文ではさらに非構成的原理に依存する2つのソライツパラドックスの形式を考察する：Weber & Colyvan（2010）による連続的ソライツパラドックスと、著者らが被覆的ソライツパラドックスと呼ぶ変種である。二階算術の枠組みにおいて、著者らは前者が上限の存在性に依存し、したがって算術理解公理（ACA₀）を必要とすること、また後者がハイネ・ボレル定理に依存し、したがって弱キング補題（WKL₀）を必要とすることを証明する。最後に、著者らはこれらの原理の再帰的反例がいかに対応するパラドックスに対する解決策を提供するかを示し、これらの解決策は超付値主義、認識論主義および構成主義的アプローチと対比することができる。

研究背景と動機

問題の重要性

ソライツのパラドックスは、哲学、言語学、心理学、意思決定理論および経済学など複数の分野で関心を持たれている曖昧性現象の中心的問題である。このパラドックスは「背が低い」「オレンジ色である」などの曖昧な述語が連続体上で適用される場合に関わり、これらの述語は微小で識別不可能な差異に対する「許容性」を有すると考えられている。

既存アプローチの限界

  1. 従来の離散形式の限界：古典的なソライツのパラドックスは主に離散列に焦点を当てるが、連続体上の曖昧な述語の処理には十分ではない
  2. 数学的基礎の軽視：既存の分析はしばしばソライツパラドックスの議論に内在する数学的表現への依存を見落とす
  3. 体系的な強度分析の欠如：異なる形式のソライツパラドックスが必要とする数学的原理の強度の体系的な比較が不足している

研究の動機

本論文の中核的な動機は、逆向数学の道具を用いて異なる形式のソライツパラドックスが依存する数学的原理の論理的強度を正確に分析し、これらのパラドックスの理解と解決に新たな視点を提供することである。

核心的貢献

  1. ソライツパラドックスと測度論の関連性の確立：従来のソライツパラドックスの表現がヘルダー表現定理に依存することを証明
  2. 被覆的ソライツパラドックスの提案：完全性ではなく緊密性に基づく新しい形式のソライツパラドックスを導入
  3. 精密な逆向数学分析：
    • 連続的ソライツパラドックスがACA₀と同値であることを証明
    • 被覆的ソライツパラドックスがWKL₀と同値であることを証明
    • 従来の離散的ソライツパラドックスがRCA₀で処理可能であることを証明
  4. 新しい解決策の提供：再帰的反例を通じてソライツパラドックスに対する計算複雑性に基づく解決策を提供

方法の詳細

測度論的枠組み

基本設定

著者らはソライツパラドックスを測度論的枠組みに置き、構造A = ⟨A, ≺, ◦⟩を考察する。ここで：

  • Aは対象の領域を含む
  • ≺は線形順序関係（例えば「より背が低い」）
  • ◦は結合操作

ヘルダー表現定理

定理1：構造Aが順序付き、正性、正則性、アルキメデス半群の公理を満たす場合、任意の固定されたc ∈ Aと正実数r ∈ ℝ⁺に対して、準同型φ: A → ℝ⁺が存在して以下を満たす：

  • φ(a ◦ b) = φ(a) + φ(b)
  • a ≺ b → φ(a) < φ(b)
  • φ(c) = r

連続的ソライツパラドックス

ライプニッツ連続性条件（LCC）

Weber & Colyvanが提案した許容性原理：

LCCsup(Ψ): ∀X ⊆ ℝ(X ≠ ∅ ∧ BA(X) ∧ ∀x(x ∈ X → Ψ(x)) → Ψ(sup(X)))

開帰納法原理

著者らは連続的ソライツパラドックスを開帰納法と関連付ける：

OI₁(Ψ): (Open(Ψ) ∧ Prog[0,1](Ψ)) → (∀x ∈ [0,1])Ψ(x)

ここで：

  • Open(Ψ)：Ψの拡張は開集合
  • Prog0,1：進行性条件

被覆的ソライツパラドックス

被覆条件

新たに提案された許容性原理は以下の直観に基づく：各点は十分に小さい領域に囲まれており、その領域内のすべての点は曖昧な述語上で一致する。

形式化するとC = {Oᵢ: i ∈ I}を満たす被覆が存在する：

  • ∀x ∈ 0,1∃i(x ∈ Oᵢ)
  • ∀i ∈ I∀x,y ∈ Oᵢ(Ψ(x) ↔ Ψ(y))

蔓延補題（Creeping Lemma）

CL(Ψ): (∃CCov(Ψ,C) ∧ Ψ(0)) → ∀x ∈ [0,1]Ψ(x)

実験設定

逆向数学の枠組み

著者らは二階算術の標準的な階層を使用する：

  • RCA₀：再帰的理解公理、計算可能数学に対応
  • WKL₀：弱キング補題、緊密性原理に対応
  • ACA₀：算術理解公理、完全性原理に対応

符号化方法

  • 実数は有理数の急速収束列を通じて符号化される
  • 開集合は有理区間の和を通じて符号化される
  • 関数と列は集合を通じて符号化される

実験結果

主要な同値性定理

定理6（連続的ソライツパラドックスの強度）：以下の命題はRCA₀上で同値である：

  • (a) 算術理解公理ACA
  • (b) 有界単調列の収束
  • (c) コーシー列の収束
  • (d) 有界集合の上限の存在
  • (e) Σ₁⁰公式に対する開帰納法原理OI₁(Ψ)

定理7（被覆的ソライツパラドックスの強度）：以下の命題はRCA₀上で同値である：

  • (a) 弱キング補題WKL
  • (b) 可算被覆に対するハイネ・ボレル定理
  • (c) Σ₁⁰公式に対する蔓延補題CL(Ψ)

再帰的反例

スペッカー列

計算可能な増加有界列(sₙ)を構成し、その極限sは計算不可能な実数である。述語を定義する：

Σ(x) := 0 ≤ x ∧ ∃n(x < sₙ)

計算可能実数モデルRecにおいて、Σ(x)は連続的ソライツパラドックスのすべての前提を満たすが、¬Σ(1)であり、したがって矛盾を回避する。

特異被覆

すべての計算可能実数を被覆するが、総長が1未満である開区間の列を構成し、計算可能モデルにおいて被覆的ソライツパラドックスを回避する。

関連研究

曖昧性理論

  • 超付値主義（Fine 1975）：精密化を通じて曖昧性を処理
  • 認識論主義（Williamson 1994）：鋭い境界を認めるが不可知であると主張
  • 構成主義的アプローチ：直観主義論理に基づく処理

測度論

  • Krantzら（1971）による古典的測度論の枠組み
  • 一般化可測性と表現定理

逆向数学

  • Simpson（2009）の標準的枠組み
  • 実解析定理の分類研究

結論と考察

主要な結論

  1. 階層構造：3つのソライツパラドックスは厳密な強度の階層を形成する：
    • 離散的ソライツパラドックス ≤ RCA₀
    • 被覆的ソライツパラドックス ≡ WKL₀
    • 連続的ソライツパラドックス ≡ ACA₀
  2. 新しい解決策：再帰的反例は計算複雑性に基づくパラドックスの解決策を提供し、これらの解決策は：
    • 古典論理を保持する
    • 真理値の間隙または認識論的承諾を回避する
    • 連続体の計算特性に基づく

限界

  1. 適用範囲：主に度量述語に適用可能であり、他の種類の曖昧な述語への適用可能性は限定的
  2. 哲学的承諾：解決策の受容度は数学的基礎に対する哲学的立場に依存する
  3. 実践的関連性：自然言語における曖昧性の実際の使用との関連性はさらなる探索が必要

今後の方向性

  1. より高次の逆向数学の枠組みへの拡張
  2. 他の種類の曖昧な述語の数学的依存性の研究
  3. 計算言語学との関連性の探索
  4. 計算複雑性に基づく曖昧性理論の発展

深層的評価

利点

  1. 方法の革新性：ソライツパラドックスの分析に逆向数学を体系的に適用した初めての研究であり、精密な数学的道具を提供
  2. 理論的深さ：異なる形式のソライツパラドックス間の本質的な差異と数学的依存関係を明らかにする
  3. 新規な解決策：非古典論理を回避しつつ哲学的承諾も不要な再帰的反例による解決途を提供
  4. 厳密性：すべての結果は完全な数学的証明を備えており、分析は厳密で信頼性がある

不足点

  1. 哲学的議論の深さ：再帰的反例の哲学的意義に関する議論は比較的簡潔
  2. 実用性：実際の言語使用における曖昧性現象との関連性が十分ではない
  3. カバー範囲：主に度量述語に焦点を当てており、他の種類の曖昧な述語への考慮が不足している

影響力

  1. 学際的交差：論理学、哲学および計算理論の交差研究に新たな方向性を開く
  2. 理論的貢献：曖昧性理論に新しい数学的基礎を提供
  3. 方法論的価値：逆向数学の哲学的問題分析への応用可能性を実証

適用場面

  1. 理論研究：曖昧性、パラドックスおよび数学哲学の理論研究に適用可能
  2. 計算応用：不確実性を扱う計算システムに理論的基礎を提供
  3. 教育ツール：数学と哲学の関連性を示す教育事例として機能

参考文献

論文は豊富な文献を引用しており、以下を含む：

  • 逆向数学の古典文献（Simpson 2009など）
  • 曖昧性理論の重要著作（Fine 1975、Williamson 1994など）
  • 測度論の基礎文献（Krantz et al. 1971など）
  • ソライツパラドックスの最新研究（Weber & Colyvan 2010など）

本論文は逆向数学の哲学的問題分析への応用の優れた例を提供し、精密な数学的道具を通じてソライツパラドックスの深層構造を明らかにし、この古典的な哲学的問題に対する全く新しい理解の視点を提供するものである。