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

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

4.1 思考の断崖：直感に反する「真」

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

「もし $P$ ならば $Q$」という命題において、前提 $P$ が偽であるとき、命題全体は結論 $Q$ のいかんを問わず「真」とされる。日常言語では、前提が間違っている議論は「無意味」あるいは「嘘」と切り捨てられる。しかし、数学という厳密な体系において、すべての言明は真か偽かに峻別されなければならず、その一貫性を維持するために、数学はこの「空虚な真」というルールを選んだ。

4.2 集合論における決定的な役割：空集合 $\varnothing$

「空虚な真」が、現代数学の「酸素」のように不可欠な存在であることを示すのが、集合論における空集合（Empty Set）の扱いである。

4.2.1 部分集合の定義

集合論において、$A\subseteq B$（$A$ は $B$ の部分集合である）とは、次のように定義される。 $\forall x(x\in A⟹x\in B)$ （すべての $x$ について、もし $x$ が $A$ の要素であるならば、$x$ は $B$ の要素でもある）

ここで、$A$ が空集合（$\varnothing$）である場合を考える。数学には「空集合はあらゆる集合の部分集合である」という基本定理がある。その根拠はまさに「空虚な真」である。 「$x\in \varnothing$」という前提は、要素が存在しない以上、常に偽である。前提が偽であるとき、この「ならば」の鎖は論理的に「真」となる。

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

もし数学者が「前提が偽のときは真とは限らない」というルールを採用していたら、集合の包含関係という最も基礎的な概念に、常に「ただし空集合でない場合に限る」という煩わしい例外規定を付け加えなければならなくなる。空虚な真は、数学という巨大なシステムにおいて、例外処理をエレガントに自動化するためのインフラなのである。

4.3 全称命題と反例の不在

数学における「真」とは、必ずしも「積極的に正しいこと」を意味しない。「偽であることを立証する手段が存在しないこと」をも含んでいる。

• 例： 「この部屋にいるすべてのドラゴンは火を吹く」 もし部屋にドラゴンが一匹もいないなら、この主張は数学的に真である。なぜなら、この主張を「間違いだ」と言うためには、「火を吹かないドラゴン」という反例を提示しなければならないが、ドラゴンがいない以上、それは不可能だからである。

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

数学における「if」は、対象が存在しない「無」の領域においてさえ、その論理的な一貫性を失わない。空虚な真を理解することは、数学という学問の「懐の深さ」と、一切の例外を認めない「論理の冷徹さ」を同時に理解することである。

次章では、この「if」を能動的に動かし、真理を自らの手でもぎ取るための戦術――「証明法」の世界へと足を踏み入れることにしよう。