第10章：日常言語との乖離と数学的厳密性への道
――心理から論理へ、主観から客観への「知の脱皮」
10.1 違和感の正体：冷たい if と 温かい if
数学における は、真理値のみによって規定される無機質な構造（冷たい if）です。対して、日常の「もし～ならば」は、期待や約束、因果関係を孕んだ情緒的な言葉（温かい if）です。この断絶こそが、数学教育における最大の障壁となっています。
10.2 協調の原理：日常言語が「裏」を読んでしまう理由
なぜ私たちは「もし宿題をしたらゲームをしていい」と言われると、「宿題をしなければゲームはダメだ」と勝手に解釈（裏を真だと誤認）するのでしょうか。 言語哲学者ポール・グライスによれば、人間は会話において「無駄なことは言わない」という協調の原理に従っています。もし宿題をせずともゲームができるなら、あえて条件を提示するのは無駄だからです。日常では正しいこの「行間を読む」行為が、数学においては論理的誤謬となります。
10.3 ウェイソン選択課題：脳は「裏切り者」を探す
心理学者ウェイソンの実験は、人間の脳が抽象的な「if」を扱うのがいかに苦手かを証明しました。
- 「母音の裏は偶数」という抽象的なルールを確認するのは難しい。
- しかし、「酒を飲むなら20歳以上」という社会的ルールなら一瞬で解ける。 私たちの脳は、純粋な論理回路ではなく、社会の「裏切り者（ルールを破る者）」を検知する装置として進化してきたのです。
10.4 フレーゲの闘い：心理主義からの脱却
現代論理学の父ゴットロープ・フレーゲは、論理を「人間の心の癖」から引き離し、客観的な「真理の法則」として再定義しました。彼は日常言語を捨て、純粋な記号による『概念記法』を作り上げました。私たちが今日、主観に左右されない数学の恩恵を享受できているのは、フレーゲが「if」を心理学から救い出したからです。
10.5 第10章の結語：普遍的知性への跳躍
日常の「if」を捨てて数学の「if」を選ぶことは、生物としての本能を理性の力で制御することを意味します。次章では、この洗練された理性が、数学のルールそのものをいかに作り上げていくのか、その「公理」の舞台裏を見ていきましょう。