第8章：解析学における「if」―― 論法と条件付き定義
――無限を制御する精密なる論理のメス
8.1 直感の危機と論理の要請
17世紀に微分積分学が誕生したとき、その基礎は「限りなく近づく」という曖昧なイメージに頼っていました。19世紀、これを「もし～ならば」という厳密な不等式の関係へと翻訳したのが 論法です。
8.2 論法の解剖：構造としての「if」
極限の厳密な定義を「if」の観点から見てみましょう。
定義： とは、
この数式の心臓部は後半の です。
- 前件（If）： 入力を から 以内の範囲に絞り込む。
- 後件（Then）： 出力が から 以内の誤差に収まる。
これは「精度の支配（Control）」を意味する「if」です。あなたがどれほど厳しい精度（）を要求しても、私が適切な範囲（）を提示し、「もし範囲内なら（if）要求を満たす（then）」ことを証明できるなら、極限は存在すると言えるのです。
8.3 連続性と微分可能性
関数の連続性も「if」で定義されます。 「もし が に十分に近ければ、値 も に十分に近くなる」という「近さの保存」としての if です。このシンプルな「if」の連鎖が、バラバラの点たちを一本の「線」へと縫い合わせています。
8.4 一様連続性：スコープの広がり
通常の連続性が「点ごとに を選んでよい」という局所的な「if」であるのに対し、一様連続性は「全域で共通の が使える」という強力なグローバルな「if」です。この「if」の射程距離の違いが、関数の積分可能性を左右する決定的な要因となります。
8.5 第8章の結語：解析学という名の「if の要塞」
解析学における「if」は、人間の頼りない直感を飼い慣らし、無限を冷徹に規定するための「絶対的な法」です。 次章では、この「if」の論理が、物理的な回路によって動くデジタルな世界――コンピュータ科学へと移植される場面に立ち会いましょう。