数学唯名論批判
Illustration
イントロダクション
数学の授業で「2は素数である」や「実数は連続した数の集合だ」と聞くと、概念に実体があるように感じられる。本稿は、数学的対象が実在しないと主張する哲学的立場「唯名論」を整理し、次の三つの観点からその妥当性を検証する。
- 実在性の問題 ― 数学的対象は科学の説明に不可欠か。
- 発見性の問題 ― 「新しい定理」の発見は何を意味するか。
- 真理条件の問題 ― 命題の真偽はどのように評価できるか。
最後に形式主義・構造主義との関係を踏まえて総合的に評価し、唯名論は「実在性の説明力」‑「発見の新規性」‑「真理の客観性」の三点で説明力が不足している と結論付ける。
1. 唯名論の基本概念
核心的主張
- 数・集合・関数などの普遍的概念は実体を持たず、概念や名前に過ぎない とする。
- ウィリアム・オッカムは「説明に必要のない実体は増やすべきでない」――オッカムの剃刀として余計な抽象実体の導入を批判した。
数学的対象の位置付け
- 自然数・実数・集合・関数・位相空間は抽象的対象として哲学で「数学的対象」と呼ばれる。
- 唯名論では、これらは「名前（nomen）」としてのみ存在し、物理的・精神的実体は持たないと考える。
2. 唯名論が提示する利点
パラドックスの回避
- 「永遠不変の数」や「無限集合」など、実在させると矛盾が生じやすい概念を「名前だけ」にすることで、集合論における自己言及的な矛盾（例：ラッセルのパラドックス）を緩和できる。
形而上学的負担の軽減
- 不要な実体を仮定しないため、理論はシンプルになり、説明の経済性が高まると評価される。
3. 実在性の問題
批判 実数や微分といった概念は、物理学の方程式に頻繁に用いられ、科学の説明に不可欠であると指摘される。不可欠性論法（クワイン・パトナム）は、数学的対象が科学理論に不可欠であることが実在を支持する根拠になると主張するが、唯名論はこの論法を乗り越える必要がある。
唯名論側の応答 唯名論者は記号を言語的構造として位置付け、観測結果と対応させる規則が存在すれば実体の有無に関わらず有用であると主張する。近年の唯名論者であるハートリー・フィールドは、物理学を数学なしで記述しようとする「数のない科学」の試みを通じて、数学的不可欠性への応答を試みている。
評価 ハートリー・フィールドの試みでも、物理的説明における数学の利便性や不可欠性を完全に代替できているとは言い難い。したがって唯名論は説明の十分性が担保されていない。実在を前提としない科学観の構築が不十分であり、実在性の必要性を十分に説明できていない。
4. 発見性の問題
批判 数学は新しい定理や性質を発見する学問である。素数が無限に存在することやフェルマーの最終定理など、過去に存在しなかった性質が「見つかる」ことが多い。対象が実在しないとすれば、何を発見したのか が不明瞭になる。
唯名論側の応答 唯名論者は発見を「既存の構造の再認識」と解釈し、論理的に導かれる帰結の展開そのものが「発見」であると主張する。新しい定理は、すでにある記号体系内の関係性を新たに明らかにしたに過ぎず、実体の創出ではなく構造的認識の深化であるとする。
評価 この解釈では再認識が新規性を失う危険がある。プラトン主義（実在論）であれば、未知の領域を探索し新たな対象を「発見」したと説明できるが、唯名論ではそれが単なるパズルの再解決に過ぎないと批判できる。たとえばフェルマーの最終定理は、単なる再認識にとどまらず、長い歴史の中で新たな証明手法や概念を創出した点がある。唯名論側の説明は、発見の新規性を十分に捉えきれていない。
5. 真理条件の問題
批判 数学的命題の真偽は、対象が実在しない場合、単なる記号の組み合わせにすぎないと解釈せざるを得ない。たとえば「2は素数である」は、対象が存在しなければ記号列に過ぎず、従来の「命題の真偽」の概念が揺らぐ。
唯名論側の応答 唯名論は真理を「語用的な合意」に基づくものと捉える。命題が数学的規則に照らして正しい操作であるかどうかを評価し、実体の有無は真理判定に必須ではないと主張する。
評価 語用的合意がコミュニティ内の合意に過ぎないとすれば、客観的な真理判定が困難になる点は指摘された通りである。したがって唯名論は真理の客観性を十分に保証できていない。
6. 限定詞説・虚構主義の位置付け
限定詞説（ホフウェーバー）
- 「2」などの数詞は単称語ではなく限定詞であり、具体的な対象を指し示さないとする立場。数詞が指す対象が何かという実在性問題に直接関わる。
虚構主義（フィールズ）
- 数詞は単称語であることを認めつつ、命題全体を架空の物語として扱い、実在対象への指示を否定する。虚構主義は「数学は有用だが偽である」と主張し、真理条件の問題と直接衝突する。唯名論が語用的合意に頼るのに対し、虚構主義は真理そのものを虚構として捉えるため、真理の客観性に対する批判がより強くなる。
7. 形式主義・構造主義との比較
形式主義との共通点
- 形式主義は「数学は記号操作にすぎない」とし、唯名論の「実体は名前だけ」という立場と合致する。
形式主義との相違点
- 形式主義は記号操作の正当性を内部的に保証し、実体の有無については中立的である。一方、唯名論は実体を積極的に否定する点で立場が異なる。さらに、形式主義はプログラムの正当性保証（型理論や形式的検証）に直接応用できる点で、計算機科学との親和性が高い。
構造主義との関係
- 構造主義は「対象そのものは実在しなくても、構造は客観的に存在する」と主張し、唯名論の実体否定を受け入れつつ、構造そのものの客観性を強調する。特に対象なき構造主義は、対象が存在しないことを認めながらも構造自体を客観的実在とみなすことで、唯名論が抱える実在性・新規性・真理の問題を「構造の客観性」「構造的拡張」「形式的合意」という形で還元し、解決しようとする。
8. 総合評価と結論
唯名論は「数学的対象は名前だけで実体はない」というシンプルな立場を提示し、パラドックス回避や形而上学的負担の軽減という利点を持つ。
しかし、次の三点で説明力が不足している。
科学的説明への実在性
- 「実数や微分が科学の方程式に不可欠である」という前提が検証されずに採用され、不可欠性論法による実在主張を乗り越える方法が示されていない。ハートリー・フィールドの試みでも、数学の利便性を完全に代替できていないため、実体が不要である根拠が薄い。
発見の新規性
- 「新しい定理は既存構造の再認識にすぎない」という解釈では、プラトン主義が提示する「未知の対象の探索」に比べて新規性が失われる。フェルマーの最終定理が示すように、新たな証明手法や概念の創出は単なる再認識では説明できない。
真理の客観性
- 真理を語用的合意に還元すると、合意が主観的なコミュニティに依存するため、数学が目指す客観的真理判定と乖離する。
唯名論は「言語的構造」や「規則的操作」で応答するが、実在論や構造主義が提供する対象や構造の客観的説明力には及ばない。
結論 唯名論は哲学的興味として価値があるが、現代数学の実在性を完全に否定する立場としては、実在論的あるいは構造主義的アプローチ、特に対象なき構造主義が実在性・新規性・真理の三問題をそれぞれ構造の客観性、構造的拡張、形式的合意という形で解決できる と評価できる。
計算機科学や形式的検証の領域では、実体を仮定しない記号操作が実用的に有効である点から、唯名論的視点が一定の有用性を持つ可能性も指摘できる。
