論証を可視化する

超越論的究明において、カントは私たち誰もが受け入れている事実――幾何学は成り立つ――から遡って、それを可能にするためには私たちの心がどのようなものでなければならないかを証明します。

「ア・プリオリな総合」とは何か？

これはカントのいう特別な種類の認識です。一見正反対に見える二つの特徴を兼ね備えています。

  • 総合的（情報をもたらす）：世界について何か新しいことを教えてくれます（例：「いま雨が降っている」）。通常、これは経験から得られます。
  • ア・プリオリ（必然的）：論理的かつ普遍的に真です（例：「すべての独身者は結婚していない」）。通常、これは単なる定義の作業にすぎません。

幾何学の奇跡：幾何学はその両方です。図形について新しいことを教えてくれる（総合的）のに、それがいつでもどこでも真でなければならないことを私たちは知っています（ア・プリオリ）。どうしてでしょうか？

論理図：なぜ空間は「私たちのうちに」なければならないのか

カントの論によれば、もし空間が対象の側に「外に」あるのなら、幾何学を知るためには対象を見るまで待たなければならないはずです。しかし私たちは待ったりしません。三角形の性質を頭の中で確実に計算することができます。したがって、空間は私たちが経験に持ち込む「キャンバス」でなければならないのです。

%%{init: {
  "theme": "base",
  "themeVariables": {
    "fontFamily": "'IBM Plex Serif', 'IBM Plex Sans', serif",
    "textColor": "#e2e8f0",
    "lineColor": "#cccccc",
    "edgeLabelBackground": "transparent"
  }
}}%%
flowchart TD
        subgraph Facts
        P1["幾何学は新しい情報を加える\n（総合的）"]
        P2["幾何学は必然的である\n（必当然的）"]
        end
        subgraph Alternatives
        Alt1["概念だけでは分析的\n（定義するが拡張しない）"]
        Alt2["経験だけでは偶然的\n（かもしれない、であって、ねばならない、ではない）"]
        end
        P1 -->|概念からではない| C1["空間は直観である"]
        P2 -->|経験からではない| C2["空間はア・プリオリである"]
        Alt1 -.->|説明できない| P1
        Alt2 -.->|説明できない| P2
        C1 & C2 --> Conclusion["空間は純粋なア・プリオリな直観である"]
        Conclusion -->|対象に先立つので| Final["空間は主観の形式である"]
        
        classDef premise fill:transparent,stroke:#56b6c2,stroke-width:1.5px,color:#e6edf3;
        classDef alt fill:transparent,stroke:#abb2bf,stroke-width:1px,stroke-dasharray: 4 2,color:#abb2bf;
        classDef infer fill:transparent,stroke:#e5c07b,stroke-width:1.5px,color:#e6edf3;
        classDef concl fill:transparent,stroke:#98c379,stroke-width:2.5px,color:#e6edf3,font-weight:bold;
        
        class P1,P2 premise;
        class Alt1,Alt2 alt;
        class C1,C2,Conclusion infer;
        class Final concl;
    
    linkStyle default stroke:#cccccc,stroke-width:1.5px,color:#cccccc

要点：私たちは宇宙のあらゆる三角形を測定することによって幾何学を検証するのではありません。見るという自分自身の能力（空間）の構造を吟味することによって検証するのです。