4. 量化された「もしも」：存在と普遍
命題論理の世界では、「もしPならばQ」という構造は、PとQが単一の真理値（真か偽か）を持つ原子としての役割を果たします。しかし、現実の思考において「もし」が関わる文脈の多くは、より複雑な構造を持っています。
「もしある人が犯罪を犯したなら、その人は罰を受けるべきか」
「もしすべての自然数nに対して、n+1 > n ならば、自然数は無限に増える」
ここで登場するのが**量化子（Quantifier）**です。量化子は、対象の範囲を「すべて（普遍量化子 ）」または「あるもの（存在量化子 ）」へと広げます。
4.1 普遍量化子 と「もしも」の絶対性
普遍量化子 は、「任意のxについて」という意味を持ちます。論理的には、これは無限の連言（AND）と見なすことができます。
このとき、「もし が三角形ならば、その内角の和は180度である」という命題は、すべての三角形について成り立つことを主張します。この「もしも」は、例外を許容しません。一つの反例（内角の和が180度ではない三角形）が存在すれば、この命題は偽となります。
この性質は、数学的真理の堅牢さを示しています。しかし、同時に、普遍量化子を用いた「もしも」は、非常に強い主張を含んでいることも意味します。私たちは、目に見えない無限のケースを一度に処理するために、この記号に依存しているのです。
4.2 存在量化子 と「もしも」の具体的化
一方、存在量化子 は、「あるxが存在して」という意味を持ちます。これは無限の選言（OR）と見なせます。
「もしある数が素数ならば、その数は2以上である」という文は、具体的に対象となる数を見つけることで検証可能です。存在量化子を用いた「もしも」は、抽象性から具体性への橋渡しを果たします。
4.3 述語論理における「もしも」の複雑さ
述語論理では、量化子と論理結合子が組み合わさることで、豊かな表現が可能になります。
この式は、「すべてのxについて、xが人間ならば、xは死すべきものである」という意味です。ここで注意すべきは、 implication () の性質です。前件（Human(x)）が偽の場合、後件（Mortal(x)）の真偽に関わらず、命題全体は真となります。
これは直感に反するように感じられるかもしれません。「人間ではないもの（例えば犬）について、死すべきものであるかどうかは問われていない」という解釈です。しかし、論理的には、この「問いかけ」自体が成立していることが重要です。
思考実験：
もし「すべての人間は死すべきものである」という命題が偽だとしたら、それはどのような状況でしょうか？
それは、「ある人間がいて、その人は死すべきものでない」という状況です。つまり、不死の人間が存在することになります。このように、否定（）を適用することで、「もしも」の裏側にある可能性の構造が浮き彫りになります。
この変形は、デ・モルガンの法則とインプリケーションの定義を用いて導かれます。この過程で、「もしも」の否定が、「存在する」という具体的な主張へと変換される様子がわかります。
5. 帰納法と演繹法の対比
論理の階梯を登るにつれて、私たちは「もしも」の使い分けを意識する必要があります。大きく分けて、**演繹（Deduction）と帰納（Induction）**という二つのアプローチがあります。
5.1 演繹：前提が真ならば結論も真
演繹は、一般的な公理や前提から、特定の結論を導き出す方法です。
- 前提1: すべての人間は死すべきものである。
- 前提2: ソクラテスは人間である。
- 結論: よって、ソクラテスは死すべきものである。
この推論過程において、「もしも」は前提として与えられた条件です。演繹の強力な点は、前提が真であれば、結論が偽になることがあり得ない（妥当性）ことです。数学的ifの核心はここにあります。
5.2 帰納：観察から一般法則へ
一方、帰納は、特定の観察事例から一般的な法則を導き出す方法です。
- 観察1: 白鳥Aは白かった。
- 観察2: 白鳥Bは白かった。
- …
- 観察N: 白鳥Nは白かった。
- 仮説: すべての白鳥は白い。
この場合、「もしも」は仮説的なものになります。「もしすべての白鳥が白いならば、次に観察される白鳥も白いはずだ」という予測が可能ですが、それは論理的必然ではなく、確率的な信頼性に基づいています。
5.3 科学における「もしも」の二重性
科学理論は、演繹的な論理構造を持ちながら、帰納的な検証プロセスを経ます。
ニュートンの運動法則 は、演繹的に多くの現象を説明できます。しかし、この法則自体が「真」であるかどうかは、観測データとの一致によって帰納的に判断されます。
ここで、「もしも」は二つの顔を持ちます。
- 演繹的if: 「もし法則が真ならば、物体はこの軌道を描く」
- 帰納的if: 「もし観測データが一致するならば、法則は支持される」
この二つの「もしも」を混同しないことが、科学的思考の鍵です。
6. 第1章のまとめ：論理の階梯の頂点へ
第1章では、命題論理から述語論理へと、「もしも」の表現力を高めてきました。量化子の導入により、私たちは「すべての場合」と「ある場合」を区別し、より精密な思考が可能になりました。
しかし、まだ解決されていない問題があります。
「すべての三角形の内角の和は180度である」という命題は、ユークリッド幾何学においては真です。では、非ユークリッド幾何学ではどうでしょうか？
この問いは、論理そのものの前提、つまり公理系の問題へと私たちを導きます。論理の階梯をさらに登ると、私たちは「真理」が絶対的ではなく、前提に依存していることを発見するでしょう。