Extensionalism without Logicism: Ambrose and Extensional Logic

以下は、フアン・J・コロミナ＝アルミナナによる論文「論理主義なき拡張主義：アンブローズと拡張論理」の解説を、日常言語とアナロジーを用いて翻訳したものです。

全体像：哲学的な「ジャスト・ミドル」の領域

20 世紀初頭の数学の世界を、巨大で騒がしい討論クラブだと想像してください。一方には、すべての数学を純粋な論理だけで構築できると信じた天才、バートランド・ラッセルがいます。彼はこれを論理主義と呼びました。彼にとって数学は、レンガの積み重ねだけで城を建てるようなものでした。また、彼は無限集合（すべての数など）が「すべて同時に」存在すると信じていました。まるで、誰もまだ読んでいなくても、すべての本がすでに棚に並んでいる完成された図書館のようだと考えたのです。

他方には、直観主義者（ブラウワーなど）がいます。彼らは数学は精神的な活動だと主張しました。「実際に通路を歩き、本を確認しない限り、図書館について語ることはできない」と彼らは言いました。彼らは「完成された無限」の概念を拒絶し、物事を一歩ずつ構築しなければならないと主張しました。

アリス・アンブローズは、その賢明な仲介者でした。この論文は、彼女が巧妙な「ジャスト・ミドル」の解決策を見出したと論じています。彼女はラッセルの「レンガ」のような明確さと厳密さ（拡張論理）を望みましたが、彼の「完成された図書館」（論理主義と物質的な無限）は受け入れませんでした。

彼女は、厳格で論理的なシステムを望みましたが、無限のものが存在する規則を書き留められるからといって、それが物理的に存在すると偽ることはしませんでした。

---

問題：「魔法」の公理

著者は、ラッセルの計画には隠された欠陥があったと説明します。彼の「純粋な論理」による城を機能させるために、彼は論理以外の追加の規則（公理）を忍ばせなければならず、それらは魔法の呪文のように働きました。

1. 無限の呪文：ラッセルは数学を行うために、無限の数のものが「実際に存在する」ことを仮定しなければなりませんでした。アンブローズは、これは論理的な事実ではなく、現実の性質に関する推測に過ぎないと主張しました。
2. 還元可能性の呪文：彼は、複雑な規則が常に単純な規則に還元できると仮定しなければなりませんでした。アンブローズはこれを、彼の論理の純粋性を損なう「応急処置」と呼びました。

アナロジー：ラッセルが純粋な小麦粉と水（純粋な論理）だけでケーキを焼こうとしていると想像してください。しかし、ケーキを膨らませるために、彼は密かに「魔法のイースト菌」（無限と還元可能性の公理）を少し加えました。アンブローズは言います。「ねえ、魔法のイースト菌が必要なら、もう小麦粉と水だけで焼いているわけじゃないでしょう。あなたは魔法で焼いているのです」

解決策：「論理主義なき拡張主義」

アンブローズの大きなアイデアは、方法（拡張主義）は維持しつつ、形而上学（論理主義）は捨てることです。

• 拡張主義（方法）：これは、物事を頭の中で何を意味するかではなく、それが何を含んでいるか、あるいはどのような結果をもたらすかによって見るアプローチです。
  • アナロジー：買い物リストを考えてみてください。拡張的な見方は、カートの中身（りんご、牛乳、パン）だけを気にします。なぜそれらを買ったのか、何を作ろうとしているのかは気にしません。ただ、「りんごはカートに入っていますか？はい、いいえ」という事実だけを気にするのです。
• 転換：アンブローズはこの「買い物リスト」のアプローチを、明確で客観的であるという理由から維持しました。しかし、その「無限のカート」が宇宙に存在する物理的な実体であるという考えは捨て去りました。

彼女は、「無限」が実際に完成した実体であると信じる必要なく、厳密な数学を行うことができると主張しました。無限は単に規則の集合として扱えばよいのです。

「パイ＝7」のパズル：テストケース

この論文は、アンブローズの新しい方法がどのように機能するかを示すために、特定のパズルを用いています。そのパズルは、数**円周率（π）**に関するものです。

問い：「円周率の小数展開に、3 つ連続した 7 は現れますか？」（例：...777...）

• ラッセルの見方：円周率は無限の数字のリストであるため、答えはすでに無限の図書館のどこかで「決定」されています。777 がそこにあるか、ないかは、私たちがまだ見つけていなくても決まっているのです。
• 直観主義者の見方：「実際に見つかるまで、それが真か偽かとは言えません。もし見つけられないなら、その問いは無意味です」
• アンブローズの「中道」：彼女は言います。「これを論理的な問いとして扱えますが、停止規則が必要です」

アナロジー：無限に続く高速道路で、特定の赤い車を探している状況を想像してください。

• ラッセルは言います。「その車は、10 億マイル先であっても、間違いなく高速道路のどこかにいます」
• アンブローズは言います。「その車について話すことはできますが、『その車は存在する』という命題が意味を持つようになるのは、私たちがいつ探すのをやめるかを教えてくれる規則を持っている場合に限られます。もし車を見つけたら、止まって『はい』と言います。もし見つけられなければ、魔法に基づいて単に『いいえ』とは言えません。検索が終わっていないことを認めなければなりません」

アンブローズは、この問いを無限の「または」の命題のリストとして再定式化しました。

• 「1 番目の場所にありますか？それとも 2 番目の場所ですか？それとも 3 番目ですか？」
• 彼女は、これが意味を持つためには有限の証人が必要だと主張しました。特定の場所（証人）を指差し、「ここにあります！」と言える必要があります。

もし証人（777 が現れる特定の場所）を生み出せないなら、存在の主張は不安定です。しかし、もし証人を作り出せるなら、それが真であると言うために「完成された無限」を信じる必要はありません。必要なのは、「見つかるまで探し続ける」という規則だけです。

なぜこれが重要なのか（論文によると）

著者は、アンブローズが「過渡的な人物」であったと結論付けています。彼女は以下の間の溝を埋めました。

1. ラッセルの形式主義：「数学は純粋な論理である」
2. ブラウワーの直観主義：「数学は精神的な構築である」

アンブローズは、実際の物理的な無限を信じるという形而上学的な荷物を背負うことなく、ラッセルの論理の厳密さ（明確で客観的な規則）を持つことができることを示しました。

「プロト・アルゴリズム」の洞察：
この論文は、アンブローズが偶然にも現代のコンピュータサイエンスの精神を発明していたことを示唆しています。「無限」の検索には「有限の停止規則」（証人）が必要だと主張することで、彼女は現在アルゴリズムと呼ばれるものを記述していたのです。

• アナロジー：ロボットに「777 を探せ。見つけたら止まってブザーを鳴らせ。見つからなければ探し続けろ」と指示するようなものです。アンブローズは、数学が抽象的で神秘的な無限の概念に頼るのではなく、明確で機械的なステップに従うロボットのように機能するときに最もよく機能することに気づいたのです。

一文で要約

アリス・アンブローズは、ゲームの厳格な規則（拡張主義）には同意しつつも、ゲーム盤そのもの（無限）が完成した物理的実体であると信じることを拒否し、代わりに実際に発見できるもの、あるいは有限のステップ・バイ・ステップの規則で証明できるものだけを数えることを堅持することで、論理的な数学の明確さを救い出しました。