第6章：述語論理と限定記号――「すべての x について、もし～ならば」

――個別の事実から、全宇宙を支配する普遍的法則へ

6.1 命題論理の限界：原子的な世界からの脱却

これまで扱ってきた命題論理（Propositional Logic）は、数学的思考の「原子」を扱う学問であった。「2は偶数である」「3は素数である」といった、具体的な対象について固定された真理値を組み合わせるルールとしては、命題論理は完璧な体系であった。しかし、数学という学問が真に目指しているのは、特定の数字や図形についての個別の事実を列挙することではない。数学の本質は、無限に存在する対象すべてに共通する「普遍的な法則」を記述することにある。

例えば、「すべての偶数は2の倍数である」という言明を考えてみよう。命題論理の枠組みでこれを記述しようとすれば、無限個の命題（$P_2$: 2は2の倍数である、$P_4$: 4は2の倍数である……）を「かつ（$\wedge$）」で繋ぎ続けなければならない。これは有限の存在である人間にとっても、また論理的な形式体系にとっても、不可能な作業である。

数学が個別の事実の羅列から、全宇宙の構造を記述する普遍的な言語へと進化するためには、二つの新しい道具が必要であった。それが、対象を指し示す「変数（Variable）」と、その範囲を規定する「限定記号（Quantifier）」である。この導入によって、数学的「if」は、個別のケースを越えて、無限の海を統べるための「法」へと昇華したのである。

6.2 述語（Predicate）：真理の「型」としての「if」

述語論理（Predicate Logic）への第一歩は、命題を「固定された真理値」から「変数の関数」へと解体することである。

6.2.1 変数という「空席」

命題論理における $P$ は、それ自体で「真」か「偽」かが決まっていた。しかし、述語論理における $P(x)$ は、$x$ に何を入れるかによって真偽が変わる。 例：$P(x)$ を「$x$ は素数である」とする。

• $P(2)$ は真である。
• $P(4)$ は偽である。 ここでの $x$ は、具体的な中身を待つ「空席（Placeholder）」である。述語 $P$ は、その空席に何かが座った瞬間に真偽を吐き出す「装置」あるいは「型」のような役割を果たす。

6.2.2 性質から関係への拡張

述語は一つの変数だけでなく、複数の変数（$x,y,z$）を取ることもできる。 例：$L(x,y)$ を「$x$ は $y$ より大きい」とする。 数学における「if」は、これら複数の変数の間の複雑な関係性を記述するための、最も重要な接続詞となる。述語論理における「if」は、単なる事象の結合ではなく、対象たちが従うべき「関係の法則」を定義する。

6.3 全称限定記号（$\forall$）：法則を宣言する「if」

数学において最も頻繁に、そして最も威厳を持って語られる記号が、全称記号（Universal Quantifier） $\forall$ である。これは英語の “For All” の頭文字 A を反転させたものであり、その名の通り「すべての～について」を意味する。

6.3.1 標準的な形式：$\forall x(P(x)⟹Q(x))$

数学の定理のほぼすべては、この形式をとる。 「すべての $x$ について、もし $x$ が性質 $P$ を持つならば、$x$ は性質 $Q$ も持つ。」

なぜ、全称記号 $\forall$ は、これほどまでに執拗に「ならば（$⟹$）」とペアを組むのか。それは、数学的な法則とは、対象を「選別」し、その選ばれたものに対して「保証」を与える行為だからである。

• $P(x)$：選別の基準（フィルター）。例：「もし $x$ が素数であり、かつ 2 でないならば」
• $Q(x)$：保証の内容。例：「$x$ は奇数である」

もし $\forall x(P(x)\wedge Q(x))$（すべての $x$ は $P$ であり、かつ $Q$ である）と書いてしまったら、それは「宇宙のあらゆるものが素数であり、かつ奇数である」という、あまりにも乱暴で誤った主張になってしまう。数学における「if」は、全称記号という無限の射程を持つ武器が、特定の対象（$P$ を満たすもの）を精密に狙い撃つための「照準器」の役割を果たしているのである。

6.4 反例（Counterexample）：普遍的「if」の唯一の急所

「すべての～について、もし～ならば」という普遍的な主張は、極めて強力である。しかし、強力であるがゆえに、それは非常に脆い一面も持っている。

6.4.1 論理的な否定の構造

全称命題 $\forall x(P(x)⟹Q(x))$ を否定することを考えてみよう。 論理学の法則によれば、この否定は次のようになる。 $\neg (\forall x(P(x)⟹Q(x)))⟺\exists x(P(x)\wedge \neg Q(x))$ （すべての $x$ について $P⟹Q$、ではない $⟺$ 性質 $P$ を持ちながら $Q$ ではない $x$ が、少なくとも一つ存在する）

この「性質 $P$ を満たしながら結論 $Q$ を裏切る存在 $x$」のことを、数学では反例（Counterexample）と呼ぶ。

6.4.2 100万回の成功を無にする一つの「No」

数学の歴史において、多くの美しい「予想（もし～ならば、～であるはずだ）」が、たった一つの反例によって灰燼に帰してきた。 例えば、「すべての奇数は素数である」という「if」を考えよう。

• 3は奇数 $⟹$ 素数（OK）
• 5は奇数 $⟹$ 素数（OK）
• 7は奇数 $⟹$ 素数（OK） しかし、$x=9$ という存在が、「9は奇数であるにも関わらず、素数ではない」という事実（反例）を突きつけた瞬間、この普遍的な「if」は、法廷における虚偽の証言のように完全に破棄される。

数学における「if」は、100万個の「Yes」によって強化されることはあっても、決して「真」として確定することはない。ただ一つの「No（反例）」が存在しないことが論理的に証明されて初めて、その「if」は定理としての永遠の命を授けられるのである。数学者が厳密さに病的なまでにこだわるのは、全称記号と「if」が結びついた瞬間に背負うことになる、この「例外を絶対に許さない」という究極の潔癖さのためである。

6.5 存在限定記号（$\exists$）：特定の「if」を求める旅

全称記号の対極にあるのが、存在記号（Existential Quantifier） $\exists$ である。これは英語の “Exist” の頭文字 E を反転させたものであり、「少なくとも一つ存在する」ことを意味する。

6.5.1 存在命題における「if」の弱さ

「ある $x$ が存在して、もし $P(x)$ ならば $Q(x)$ である」という形式（$\exists x(P(x)⟹Q(x))$）は、数学的にはあまり強い意味を持たないことが多い。 なぜなら、第4章で学んだ「空虚な真」がここでも猛威を振るうからである。もし性質 $P$ を満たさない $x$ がこの世に一つでも存在するならば、その後件 $Q(x)$ が何であれ $P(x)⟹Q(x)$ は真となる。したがって、そのような $x$（例えば、人間でない石ころなど）を一つ持ってくるだけで、この存在命題全体が「真」になってしまう。

6.5.2 実在の証明としての $\exists$

ゆえに、存在記号が真に輝くのは、「if」を伴わず、あるいは「かつ（$\wedge$）」を伴って、特定の性質を持つものの「実在」を主張するときである。 $\exists x(P(x)\wedge Q(x))$（$P$ を満たし、かつ $Q$ を満たす $x$ が存在する） 数学における「if」が、全称命題において「法の支配」を司るのに対し、存在命題は、その「法」が適用されるべき「実体」が確かに存在することを保証する役割を担っている。

---

6.6 限定記号の順序と「if」の変質：$\forall$ と $\exists$ の力学的逆転

述語論理において、初心者が最も躓き、かつ数学者が最も繊細に扱う領域が、複数の限定記号が並ぶ際の「順序」である。特に全称記号（$\forall$）と存在記号（$\exists$）の順序を入れ替えることは、その背後に控える「if」が保証する真理の性質を、根底から作り変えてしまう。

6.6.1 「依存」の論理：$\forall x\exists y$

次の二つの文の決定的な違いを、日常的なメタファーで考えてみよう。

1. 「すべての人（$\forall x$）に、その人を愛する誰か（$\exists y$）がいる」
2. 「ある誰か（$\exists y$）がいて、すべての人（$\forall x$）を愛している」

1番の文（$\forall x\exists y$）では、愛してくれる人 $y$ は、愛される人 $x$ に依存して決まってよい。太郎さんには花子さんが、次郎さんには良子さんがいる、という状態である。これを数学的な「if」の形式で捉え直すと、「もし $x$ という対象が与えられるならば、それに応じて適切な $y$ を見つけ出すことができる」という、「受動的な対応」としての if を意味する。

6.6.2 「独立」の論理：$\exists y\forall x$

一方、2番の文（$\exists y\forall x$）は極めて強力である。すべての人を同時に、たった一人で愛する「聖者のような存在」が一人いなければならない。これを「if」の言葉で言えば、「ある特定の $y$ を選んでおけば、どんな $x$ が来ようとも（もし $x$ ならば）関係が成立する」という、「能動的な支配」としての if を意味する。

6.6.3 解析学への予兆：一様性の壁

この順序の差は、後に第8章で詳述する「連続性」と「一様連続性」の差として、解析学という巨大な壁を形成する。

• 各点連続： $\forall x$（どの点でも） $\forall ϵ$（もし誤差 $ϵ$ が与えられたなら） $\exists \delta$（それに応じた $\delta$ がある）。
• 一様連続： $\forall ϵ$（もし誤差 $ϵ$ が与えられたなら） $\exists \delta$（どんな $x$ に対しても一律に使える無敵の $\delta$ がある）。

限定記号の順序を入れ替えるだけで、後ろに控える「if」が、場所ごとに柔軟に対応する「オーダーメイドの服」になるか、どこでも通用する「既製服」になるかが決まる。数学における「if」は、それを包み込む記号の順序によって、その「射程」と「強度」を劇的に変質させるのである。

6.7 フレーゲの革命：数学史を断絶させた「概念記法」

述語論理という、現代数学にとって呼吸のように自然な道具が誕生したのは、1879年のことである。ドイツの数学者・哲学者ゴットロープ・フレーゲが著した『概念記法（Begriffsschrift）』が、2000年以上続いたアリストテレスの論理学を葬り去り、新しい「if」の時代を切り拓いた。

6.7.1 アリストテレスの限界：名辞論理の呪縛

アリストテレスの論理学（名辞論理）は、「S（主語）はP（述語）である」という形式に基づいていた。「すべての人間は死ぬ」という文を「人間」と「死ぬ」という二つの言葉の関係として扱ったが、この形式では「関係の連鎖」を記述できなかった。例えば、「すべての円には中心がある」や「すべての人間はある母親から生まれる」といった、二つの対象の関係が絡み合う命題を正確に数式化できなかったのである。

6.7.2 フレーゲの慧眼：主語を捨て、関数を取る

フレーゲは、言語を数学の「関数」のモデルで再構築した。彼は「主語」という概念を捨て、それを「引数（引数）」、述語を「関数」として定義し直した。 そして、この関数の中に「if（含意）」と「限定記号」を埋め込んだ。フレーゲの功績は、それまで「推論の技術（レトリック）」であった論理を、「真理を計算するための代数」へと変えたことにある。

フレーゲが構築したこの「多重限定記号を伴う述語論理」こそが、現代数学のすべての証明を支えるOSとなった。もしフレーゲがいなければ、私たちは今でも「すべての……はある……に対して……」という日常言語の霧の中で、曖昧な推論を繰り返していたかもしれない。

6.8 自由変数と束縛変数：「if」が支配する有効範囲（スコープ）

述語論理における「if」を厳密に扱う上で、避けて通れない技術的な概念が、変数の「束縛」である。

6.8.1 開いた式と閉じた命題

「$x$ が 4 の倍数ならば、$x$ は 2 の倍数である」という式がある。この $x$ に具体的な数字（例えば 5）を入れない限り、この文全体の真偽は定まらない。このような変数を自由変数（Free Variable）と呼び、この状態の式を「開いた式」と呼ぶ。

一方、全称記号 $\forall x$ を冠した瞬間、この $x$ は「特定の誰か」ではなく「宇宙の全員」という役割を担わされ、限定記号に束縛（Bound）される。束縛された変数は、外部から値を代入することはできず、ただ命題内部の「if」の構造を記述するためだけのパーツとなる。

6.8.2 スコープという領土

限定記号の影響力が及ぶ範囲をスコープ（Scope）と呼ぶ。 $\forall x(P(x)⟹Q(x))\wedge R(x)$ この式において、最後の $R(x)$ の $x$ は、$\forall x$ のスコープの外側にいる。数学的な「if」の正しさは、その変数がどの限定記号に「統治」されているか、すなわちどのスコープに属しているかによって、全く異なる意味を持つ。プログラミングにおける変数の有効範囲と同様、数学における「if」もまた、その影響力が及ぶ領土を厳密に画定されているのである。

6.9 多重限定記号の迷宮：$ϵ-\delta$ 論法の論理的解剖

数学において最も美しく、かつ最も恐れられている「if」の構造は、限定記号が三重、四重に積み重なったものである。その典型が、第8章の主役である「極限の定義（$ϵ-\delta$ 論法）」である。

$\forall ϵ>0,\exists \delta >0,\forall x(0<|x-a|<\delta ⟹|f(x)-L|<ϵ)$

この式を「if」の観点から読み解くと、知の極限とも言える高度な「取引」が行われていることがわかる。

1. 第一層（$\forall ϵ$）： 攻撃者が誤差の許容範囲（目標）を提示する。
2. 第二層（$\exists \delta$）： 防衛者が、その目標を達成するための条件（入力の絞り込み）を考案する。
3. 第三層（$\forall x$）： 宇宙のあらゆる点 $x$ をサンプリングする。
4. 第四層（$⟹$）： 「もし、その点 $x$ が防衛者の決めた条件を満たしているならば、必ず目標の誤差範囲に収まっていること」を保証する。

この入れ子状の「if」の構造は、人類が手に入れた「無限を記述するための最も精密な言語」である。単なる「ならば」という接続詞が、限定記号という階層構造の中に組み込まれることで、一瞬の動き（極限）や、無限の広がりを、静止した論理式の中に完璧に固定することに成功したのである。

6.10 第6章の結語：言語の透明化と普遍的知性

本章では、述語論理がいかにして「if」という概念を、個別の事実から普遍的な法則へと押し上げたかを詳述した。

• 述語（関数）の導入により、真理は「型」へと抽象化された。
• 全称記号（$\forall$）は、「if」を無限を統べる「法」へと変えた。
• 反例という概念は、「if」の真理性を判定するための唯一の、そして冷徹な基準となった。
• 限定記号の順序は、情報の「依存関係」と「支配関係」を定義した。
• フレーゲの革命により、数学は日常言語の主観から解放された。

述語論理をマスターすることは、数学という言語の「レンズ」を磨くことと同義である。このレンズを通せば、日常の曖昧な言葉の下に隠されていた、鋼鉄のように堅牢な論理の骨組みが姿を現す。

数学における「if」は、ここにおいて、ただの言葉ではなく、宇宙の構造を記述するための「座標系」そのものとなった。私たちはこの座標系を使って、いよいよ数学の真の土台である「集合論」や、無限の神秘を扱う「解析学」の深淵へと、確信を持って足を踏み入れることができるのである。

---