第4章：空虚な真（Vacuous Truth）――「もし偽ならば」の逆説

――無の中の真理と、論理的整合性の極致

4.1 思考の断崖：日常的直感の死と論理の誕生

数学を学ぶ者が、第1章で学んだ真理値表という「冷徹な規律」に真の意味で打ちのめされる瞬間がある。それが本章の主題である「空虚な真（Vacuous Truth）」に出会うときである。

「もし $P$ ならば $Q$」という命題において、前提 $P$ が偽であるとき、命題全体は結論 $Q$ のいかんを問わず「真」とされる。この事実は、私たちが義務教育を通じて培ってきた「意味」や「納得」という直感を根底から揺さぶる。日常言語において、前提が間違っている議論は「無意味」あるいは「嘘」と切り捨てられるのが常識だからだ。しかし、数学という厳密な知の伽藍において、「無意味」という逃げ場は許されない。すべての言明は、真か偽かのいずれかに峻別されなければならず、その一貫性を維持するために、数学はこの「空虚な真」という、一見すると不気味なほどの寛容さを選んだ。

本章では、なぜ数学がこの直感に反するルールを必要としたのか、そしてこの「空虚な真」がいかにして数学の全体系を守り、美しく、そして堅牢なものにしているのかを、徹底的に解剖していく。これは、日常の「意味」という呪縛から解き放たれ、純粋な「形式」の宇宙へと跳躍するための、知的な通過儀礼である。

4.2 空虚な真の定義：記号論理学の要請

改めて、命題 $P⟹Q$ における「前件偽（False Antecedent）」のケースを振り返ろう。

1. 定義： 前提 $P$ が偽（F）であるとき、命題 $P⟹Q$ は常に真（T）である。
2. 名称の由来： 英語の Vacuous（空虚な、中身のない）は、その真理性が結論 $Q$ の内容（正しさや価値）に一切依存しておらず、単に「前提が一度も満たされなかった」という形式的な事実のみによって自動的に与えられていることを示唆している。

日常の例で言えば、「もし月がチーズでできているならば、2+2=5である」という命題は、数学的には完全に「真」である。なぜなら、月がチーズであるという事実はこの宇宙に存在しないため、この「ならば」が嘘であることを証明する機会（反例を提示する機会）が永遠に失われているからだ。数学における「真」とは、必ずしも「積極的に正しいこと」を意味しない。「偽であることを立証する手段が存在しないこと」をも含んでいるのである。

4.3 集合論における決定的な役割：空集合 $\varnothing$ という「論理の守護者」

「空虚な真」が、単なる詭弁や言葉遊びではなく、現代数学の「酸素」のように不可欠な存在であることを最も鮮やかに示すのが、集合論における空集合（Empty Set）の扱いである。

4.3.1 部分集合の定義という試練

集合論において、集合 $A$ が集合 $B$ の部分集合である（$A\subseteq B$）とは、次のように定義される。

定義： $\forall x(x\in A⟹x\in B)$ （すべての $x$ について、もし $x$ が $A$ の要素であるならば、$x$ は $B$ の要素でもある）

ここで、$A$ が空集合（$\varnothing$）である場合を考えてみよう。数学の教科書の第1章には必ず、「空集合は任意の集合の部分集合である（$\varnothing \subseteq B$）」という定理が記されている。この定理の根拠こそが、空虚な真である。

「$x\in \varnothing ⟹x\in B$」という命題を評価するとき、前件である「$x\in \varnothing$」は、空集合に要素がない以上、すべての $x$ に対して「偽」である。前件が偽であるとき、前述の定義により命題全体は「真」となる。ゆえに、この「ならば」の鎖は決して切れることがなく、空集合は数学のあらゆる場所に部分集合として潜り込むことができる。

4.3.2 もし空虚な真がなかったら

もし数学者が「前提が偽のときは真とは限らない」というルールを採用していたら、数学の体系はどうなっていただろうか。集合の包含関係という最も基礎的な概念に、「ただし $A$ が空集合でない場合に限る」という煩わしい例外規定を付け加えなければならなくなる。これは、後に続くすべての定理を「例外の継ぎ接ぎ」に変えてしまうだろう。空虚な真は、数学という巨大なシステムにおいて、例外処理をエレガントに自動化するための、必要不可欠な「知のインフラ」なのである。

4.4 全称命題と反例の不在：戦わずして勝つ論理

空虚な真は、全称記号（$\forall$：すべての～について）を伴う言明において、その真の威力を発揮する。

4.4.1 「すべてのドラゴンは火を吹く」という真実

想像してみてほしい。一人の学者が「この部屋にいるすべてのドラゴンは、バイオリンが弾ける」と主張したとする。その部屋には、実際にはドラゴンは一匹もいない。このとき、学者の主張は正しいか、間違っているか。

数学的な審判はこう下る。「この主張は真である」。 なぜなら、学者の主張が「間違いである」と立証するためには、私たちは「この部屋にいるドラゴンでありながら、バイオリンが弾けない個体」を見つけ出し、反例として提示しなければならないからだ。しかし、そもそもドラゴンが存在しない以上、そのような反例を提示することは不可能である。

数学における「真理」は、しばしば「反例の不在」として定義される。全称命題 $\forall x(P(x)⟹Q(x))$ を否定するためには、前提 $P$ を満たしつつ結論 $Q$ を満たさない要素を一つでも連れてこなければならない。前提 $P$ を満たす要素がそもそも存在しない（空虚である）場合、反論する権利そのものが失われ、命題は自動的に勝利を収めるのである。

4.4.2 存在命題との対比

一方で、存在記号（$\exists$：少なくとも一つ存在する）を用いた場合は、空虚な真は通用しない。 「この部屋にいるドラゴンの中に、バイオリンが弾けるものが少なくとも一匹存在する」 これは、ドラゴンがいない部屋では明らかに「偽」である。存在を主張するためには、実際にその実例を提示する責任が生じるからだ。

この「全称命題は空虚に真になりうるが、存在命題はそうではない」という峻別こそが、数学における「定義」と「実在」の境界線を厳密に守っている。空虚な真は、存在しないものについても「一貫した記述」を可能にするための、論理学的な魔法の杖なのである。

4.5 哲学的な深淵：なぜ宇宙は「無」に対して真実を認めるのか

「空虚な真」は、数学の枠を超え、存在論的な問いを私たちに突きつける。

4.5.1 論理における「関係」の優位

日常の私たちは「実体（何があるか）」に注目するが、論理学は「関係（もし～ならば）」に注目する。空虚な真が教えてくれるのは、前提となる実体が存在しなくても、その「もし～ならば」という関係自体は、論理の宇宙に構造として厳然と存在しうるということである。

4.5.2 無矛盾性という究極の正義

数学者が「偽ならば真」という定義を死守するのは、それが「無矛盾性（Consistency）」を保つ唯一の道だからである。もし前提が偽のときに命題全体を「偽」としてしまうと、それは「$\neg P$ から $\neg (P⟹Q)$」を導くことになり、論理体系の中に不必要な制約と矛盾を生み出す。空虚な真は、論理という機械が「前提がない」という状況下で空回りすることなく、安全に停止（真として処理）するためのブレーキの役割を果たしている。

---

4.6 爆発原理（Ex Falso Quodlibet）：偽がもたらす「論理の猛火」

空虚な真の概念を極限まで押し進めると、論理学における最も過激な原則の一つである「爆発原理（Principle of Explosion）」、別名 “Ex Falso Quodlibet”（偽からは何でも導かれる）に辿り着く。これは、「もし矛盾が真であるならば、あらゆる命題が真である」という、ある種の論理的カタストロフィを記述したものである。

4.6.1 矛盾がすべてを飲み込むプロセス

なぜ、一つの偽（矛盾）が宇宙のすべての真理を書き換えてしまうのか。その論理的な証明過程は驚くほどシンプルである。

1. 前提として「$A$ であり、かつ $\neg A$ である」という矛盾を認める。
2. $A$ が真であることから、「$A$ または $B$」という命題も真となる（$B$ が何であっても）。
3. しかし、前提から $\neg A$（$A$ ではない）も真である。
4. 「$A$ または $B$」が真であり、かつ「$A$ ではない」のであれば、論理的に残された道は「$B$ が真である」ことのみである。

ここでの $B$ は、何でもよい。「私は神である」でも「1=0」でもよい。つまり、数学的論理において、一度でも前提の「偽」や「矛盾」を許容してしまえば、もはや真理を峻別する能力は完全に失われる。空虚な真とは、この「爆発」の手前で論理が踏みとどまっている状態、あるいは爆発の可能性を「真」というラベルで封じ込めている状態とも言える。

4.6.2 数学の「盾」としての空虚な真

数学者は、この爆発原理を恐れると同時に、それを逆手に取って体系を守っている。もしある公理系から矛盾が導かれたならば、その公理系における「if」はすべて空虚に真となり、体系は意味を失う。裏を返せば、数学において「if」が意味のある（空虚ではない）真理を語り続けられるのは、その前提が「偽」に陥っていない、すなわち体系が無矛盾であるときのみである。空虚な真は、数学という巨大な情報のネットワークにおいて、矛盾の混入を即座に検知し、警報を鳴らすための「論理的センサー」としての役割を果たしているのだ。

4.7 数学的帰納法と空虚な真：ドミノ倒しを支える「見えない支柱」

数学的帰納法は、無限を支配する最も強力な証明法の一つだが、その構造の細部を注意深く観察すると、そこには「空虚な真」が静かに、しかし決定的な役割で機能している。

4.7.1 帰納ステップ $P(k)⟹P(k+1)$ の深層

帰納法の第2ステップでは、「もし $n=k$ で成り立つならば、$n=k+1$ でも成り立つ」ことを示す。ここで、もしある $k$ に対して $P(k)$ が成り立たない（偽である）としたらどうなるか。 論理学的には、その $k$ において $P(k)⟹P(k+1)$ という「ならば」の鎖は、空虚な真として成立し続ける。この性質があるからこそ、私たちは「まだ証明されていない（真偽不明の）$k$」を仮定（If）として置いて、論理を前進させることができる。

4.7.2 空集合からの帰納

より高度な集合論的帰納法（超限帰納法など）においては、「最小の要素がない場合」や「対象となる集合が空である場合」の処理が問題となる。このとき、「空集合のすべての要素について $P$ が成り立つ」という空虚な真の保証がなければ、帰納法の出発点さえ作ることができない。空虚な真は、無限の連鎖の底が抜けないように支えている、透明な土台なのである。

4.8 コンピュータ科学における「if」： Nullチェックと空リストの挙動

現代のプログラミング言語、あるいはソフトウェアの形式検証の世界において、空虚な真は「バグを防ぐための仕様」として厳密に実装されている。

4.8.1 all 関数と every メソッド

Pythonの all() 関数やJavaScriptの Array.prototype.every() メソッドを考えてみよう。これらは、リスト（配列）のすべての要素が特定の条件を満たすかどうかを判定する関数である。 もし、空のリスト [] に対してこれらの関数を呼び出した場合、結果はどうなるか。

// JavaScriptの例
[].every(x => x > 0); // 結果は true

これはまさに、集合論における $\forall x\in \varnothing ,P(x)$ の実装である。「空リストのすべての要素が正である」という主張は、反例（正でない要素）を一つも提示できないため、プログラム上も「真（true）」と判定される。

4.8.2 なぜ true でなければならないのか

もしこれが false を返したとしたら、プログラマは空リストを扱うたびに例外的な条件分岐（if文）を記述しなければならなくなり、コードは煩雑化し、論理的な一貫性は崩壊する。たとえば「未払いの請求書がすべて処理済みであれば、システムをシャットダウンする」というロジックにおいて、請求書が0枚（空リスト）である場合、当然シャットダウンは許可されるべきだ。数学的「if」の空虚な真という仕様が、現代のコンピュータシステムの安定性を支えているのである。

4.9 心理的抵抗の正体：グライスの「協調の原理」との決定的断絶

なぜ、これほどまでに合理的で不可欠な「空虚な真」が、私たちの直感には「詭弁」や「不自然なもの」として映るのか。その理由は、人間のコミュニケーションを支配する「協調の原理（Cooperative Principle）」にある。

4.9.1 「情報の過不足」に対する脳のアラーム

言語哲学者ポール・グライスによれば、人間は会話において「必要以上の情報を与えず、かつ必要な情報を不足させない」という暗黙のルールに従っている。日常で「もし～ならば」と言うとき、聞き手は「前提が起こる可能性がある」と考え、かつ「前提と結論に関連性がある」と期待する。 「空虚な真」は、この期待を真っ向から裏切る。起こり得ない前提（偽）を置き、関連性のない結論（真理値のみ）を語る行為は、生物としての生存には無益な情報のノイズでしかない。私たちの脳は、この「無駄な情報」を排除するために、空虚な真に対して不快感や違和感を覚えるように進化してきたのだ。

4.9.2 理性の飛躍：バイアスを脱ぎ捨てる勇気

数学を学ぶということは、この進化が刻み込んだ「情報の有用性というバイアス」を一時的に停止させ、純粋な「形式の一貫性」へと理性を飛躍させることである。空虚な真を受け入れられるようになったとき、人は初めて、日常の主観的な世界から、宇宙の普遍的な論理の宇宙へと足を踏み入れたと言えるだろう。

4.10 第4章の結語：無を飼い慣らす知性

本章では、数学的「if」の中で最も孤独で奇妙な概念である「空虚な真」について詳述した。

空虚な真は、

• 定義において、反例が存在しないことをもって真理と見なす厳格さを示し、
• 集合論において、空集合を体系の例外としないためのエレガントな解決策を与え、
• コンピュータ科学において、空の状態を安全に処理するための論理的基盤を提供し、
• 認知科学において、人間の直感がいかに論理の純粋さから遠いかを浮き彫りにした。

数学における「if」は、対象が存在しない「無」の領域においてさえ、その論理的な一貫性を失わない。むしろ、「無」であるからこそ、いかなる矛盾も許さない完璧な真理の要塞を築き上げているのである。空虚な真を理解することは、数学という学問の「懐の深さ」と、一切の例外を認めない「論理の冷徹さ」を同時に理解することである。

さて、この「無の中の真理」という極めて静的な論理を学んだ私たちは、次章において、いよいよ「if」を能動的に動かし、真理を自らの手でもぎ取るための動的な戦術――「証明法」の世界へと足を踏み入れることになる。対偶法、背理法、そして数学的帰納法。これらの強力な武器がいかにして「if」の構造を利用し、目に見えない真実を白日の下にさらけ出すのか。そこには、論理の剣を振るう数学者たちの、勇気と知略に満ちた物語が待っている。