论证可视化

在先验阐明中，康德从一个我们都接受的事实——几何学是成立的——出发反向推论，以证明我们的心灵必须是什么样子，才能使这一事实成为可能。

什么是“先天综合”？

这是康德所说的一类特殊知识。它结合了两种看似相反的特征：

  • 综合的（提供信息的）：它告诉我们关于世界的新东西（例如“此刻正在下雨”）。通常，这来自经验。
  • 先天的（必然的）：它在逻辑上普遍为真（例如“所有单身汉都是未婚的”）。通常，这只是在解释定义。

几何学的奇迹：几何学两者兼具。它告诉我们关于图形的新东西（综合的），但我们知道这些东西必定在任何地方、任何时候都为真（先天的）。这是怎么做到的？

逻辑图：为什么空间必须“在我们之内”

康德论证说，如果空间“在外面”、在对象之中，那么我们就必须等到看见对象之后才能知道几何学。但我们并不是这样等待的；我们可以在头脑中确定地算出三角形的性质。因此，空间必定是我们带入经验的“画布”。

%%{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

要点：我们不是通过测量宇宙中的每一个三角形来验证几何学的。我们是通过审视我们自身观看能力（空间）的结构来验证它的。