序章：数学言語としての論理接続詞

〜歴史、認知、そして実践の狭間で〜

【拡張セクション 1：歴史的視座】

「ならば」のパラドックスと論理学の闘争史

我々が現在、数学の教科書で当たり前のように使っている「$P⟹Q$」という記号の意味（真理値表）は、天から降ってきたものではない。それは数千年にわたる哲学者たちの「血の滲むような論争」の結果、勝ち取られた合意である。

古代ギリシャ、紀元前4世紀。アリストテレスの論理学が支配的だった時代、メガラ学派の論理学者フィロン（Philo the Dialectician）は、ある急進的な主張を行った。 「条件文『もしPならばQ』が偽になるのは、Pが真でQが偽の場合のみである。それ以外はすべて真である」

これは現代の数学における「実質含意（Material Implication）」と全く同じ定義である。しかし、当時の多くの思想家、特にストア派の論理学者たちはこれに猛反発した。彼らはこう反論した。 「関連性のない事柄同士を結びつけて『真』とするのはおかしい。『もしいま夜なら、私は王である』という文は、昼間には真になるというのか？ そこには因果関係（Causality）が必要ではないか？」

この論争は、**「条件文は『推論の規則』なのか、単なる『真理値の関数』なのか」**という深淵な問いを含んでいた。

日常言語における「もし〜なら」は、常にある種の「必然性」や「因果」を伴う。 「もし火をつければ、熱くなる」（因果関係） 「もし彼が独身なら、結婚していない」（定義上の必然性）

しかし、19世紀後半から20世紀初頭にかけて、フレーゲやラッセル、そしてウィトゲンシュタインらが数学の基礎を再構築した際、彼らはフィロンの亡霊を蘇らせた。数学を「形式化」するためには、曖昧な「意味」や「因果」を排除し、純粋に記号の T（True）と F（False）の組み合わせだけで計算できるシステムが必要だったからだ。

彼らは断行した。「意味」の切断である。 数学における「If」は、もはや原因と結果の結びつきではない。それは、前のスイッチがONで後ろのスイッチがOFFの時だけエラーを吐く、無機質な回路へと作り変えられたのである。

我々が「If」に違和感を覚えるのは当然である。我々の直感は古代ストア派の側にあり、数学の定義はメガラ学派の側にあるからだ。数学を学ぶとは、この数千年の論争を追体験し、自らの脳内で近代的な決着をつけるプロセスに他ならない。

---

【拡張セクション 2：認知科学的視座】

ウェイソン選択課題とヒトの脳のバグ

なぜ人間はこれほどまでに論理的含意（If）の処理が苦手なのか。その答えを劇的に示したのが、1966年に心理学者ピーター・ウェイソンが考案した「4枚カード問題（Wason selection task）」である。

【実験】 テーブルの上に4枚のカードが置かれている。カードの片面には「アルファベット」、もう片面には「数字」が書かれている。現在、以下の面が見えている。

1. [ E ] （母音）
2. [ K ] （子音）
3. [ 4 ] （偶数）
4. [ 7 ] （奇数）

ここで被験者に一つのルール（命題）が提示される。 ルール：「もしカードの片面が母音ならば、その裏面は偶数でなければならない」

問い： このルールが正しいかどうかを確かめるために、ひっくり返して裏を確認しなければならないカードを、必要なものだけすべて選べ。

【結果と分析】 多くの人（一般大学生の約90%）が間違える。 最も多い回答は「Eと4」、あるいは「Eのみ」である。しかし、正解は**「Eと7」**である。

なぜか？

• [ E ] を選ぶ理由： これは正しい（Modus Ponens）。もし裏が奇数ならルール違反だからだ。
• [ 4 ] を選んでしまう理由（誤謬）： もし裏が子音でも母音でも、ルールは「母音ならば偶数」と言っているだけで、「偶数ならば母音」とは言っていない（逆は必ずしも真ならず）。したがって、4の裏を見る必要はない。しかし、人間は「マッチングバイアス」により、ルールに出てきた「偶数」という言葉に反応して4を選んでしまう。
• [ 7 ] を選ばない理由（致命的ミス）： もし7（奇数）の裏が母音だったらどうなるか？ 即座にルール違反（反例）となる。したがって、7は絶対に確認しなければならない。これは論理学における「対偶（Modus Tollens）」の確認である。

この実験が示唆するのは、人間の脳は**「確証（ルールに合致する例）を探すこと」には長けているが、「反証（ルールを破る例）を探すこと」は極めて苦手である**という事実である。

数学における「If」の証明や理解において、反例（Counter-example）の検討や対偶による証明がつまづきやすいのは、単なる勉強不足ではない。ヒトという生物種が持つ「確証バイアス」という認知的なバグ（あるいは生存戦略としての仕様）が、論理的厳密性と衝突しているからなのだ。

数学的に正しく思考するとは、この本能的なバイアスに抗い、意識的に「7のカード（反例の可能性）」を探しに行く訓練を積むことに他ならない。

---

【拡張セクション 3：実践的分野比較】

幾何学、解析学、そしてプログラミングの「If」

「If」という言葉は、数学の分野によって、あるいは隣接するプログラミングの世界によって、その「顔つき」を変える。

1. 幾何学における「定義のIf」と「定理のIf」 初等幾何学において、教科書はしばしば不親切である。 「二辺が等しい三角形を、二等辺三角形という」 これは定義である。したがって、論理的には If and only if (Iff) である。「二等辺三角形ならば二辺が等しい」も同時に成立する。 しかし、 「二等辺三角形ならば、二つの底角は等しい」 これは定理である。論理的には一方通行の If である（逆も真だが、それは別途証明が必要な「逆定理」である）。 初心者はこの「定義（Iff）」と「定理（If）」の区別がつかず、証明の中で混同してしまう。幾何学では、文脈に潜む「定義か、定理か」というメタ情報を読み取る力が不可欠となる。

2. 解析学における「Whenever」の躍動 微積分学（解析学）に入ると、論理は静止画から動画へと変わる。ここで主役となるのが Whenever のニュアンスである。 有名な「$ϵ-\delta$ 論法」を見てみよう。 「${\lim }_{x\to a}f(x)=L$」の定義において、 「For every $ϵ>0$, there exists $\delta >0$ such that whenever $0<|x-a|<\delta$, we have $|f(x)-L|<ϵ$.」

ここでなぜ “If” ではなく “Whenever” が好まれるのか。それは、この命題が「$x$ が条件を満たすたびに必ず」という反復性と普遍性を強調しているからだ。 ここでの論理は、単なる真偽の判定ではない。「あなたがどんなに厳しい誤差範囲（$ϵ$）を突きつけてきても、私はそれに対応する範囲（$\delta$）を提示して、その中にあるすべての $x$ について誤差をクリアしてみせる」という、無限の対戦ゲームにおける勝利宣言なのだ。 Whenever は、この「無限の試行に対する保証」という意味で、量化子（Quantifier）と密接に結びついている。

3. プログラミングにおける「命令としてのIf」 現代の学生にとって最も身近な論理は、プログラミング言語の if 文かもしれない。しかし、これは数学の論理的含意とは似て非なるものである。 コード if (x > 0) { print("Positive"); } において、もし $x$ がマイナスだったら何が起きるか？ コンピュータは単にその行をスキップする（何もしない）。 しかし、数学的論理において $P$ が偽であるとき、命題 $P⟹Q$ は「真という値を返す」。 プログラミングの if は「分岐命令（Control Flow）」であり、数学の If は「真理値関数（Truth Function）」である。 この違いを理解していないと、数学の証明問題で「$P$ が成り立たない場合」の議論を、「何もしなくていい（スキップしていい）」と勘違いしてしまう。数学では、条件が満たされない場合こそ、命題全体の真偽（空虚な真）を確認するという「見えない処理」が走っていることを意識せねばならない。

---

終章へのブリッジ

〜地図を手に入れろ〜

このように、「If」「If and only if」「Whenever」の三者は、歴史的な論争、認知的なバイアス、そして分野ごとの文脈という、分厚い背景の上に成り立っている。

これらは単なる単語ではない。数学という広大な領土を探索するためのコンパスであり、測量機器である。 次章以降、我々はこれらの機器を一つずつ分解し、その内部構造（真理値表と集合論的意味）を完全に理解していく。

第1章では、すべての基礎となる「If」の非対称性について。なぜ矢印は逆流できないのか、そして「十分条件」という言葉の真の意味とは何か。そこから始めよう。数学の論理という、冷徹だが美しい世界への扉は、すでに開かれている。