Визуализация аргумента

В трансцендентальном истолковании Кант идёт в обратном направлении — от факта, который все мы принимаем (геометрия работает), к доказательству того, каким должен быть наш ум, чтобы это было возможно.

Что такое «синтетическое a priori»?

Это особый класс знания у Канта. Он сочетает в себе две на первый взгляд противоположные черты:

  • Синтетическое (информативное): оно сообщает нам о мире нечто новое (например, «сейчас идёт дождь»). Обычно такое знание приходит из опыта.
  • A priori (необходимое): оно истинно логически и всеобще (например, «все холостяки не женаты»). Обычно это просто работа с определениями.

Чудо геометрии: геометрия является и тем, и другим. Она сообщает нам новое о фигурах (синтетическое), но мы знаем, что это должно быть истинно везде и всегда (a priori). Как это возможно?

Логическая схема: почему пространство должно быть «в нас»

Кант утверждает: если бы пространство было «там», в самих предметах, то, чтобы знать геометрию, нам пришлось бы ждать, пока мы их увидим. Но мы не ждём; мы можем с достоверностью вычислить свойства треугольника в уме. Следовательно, пространство должно быть тем «холстом», который мы сами привносим в опыт.

%%{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["Пространство есть A PRIORI"]
        Alt1 -.->|Не объясняет| P1
        Alt2 -.->|Не объясняет| P2
        C1 & C2 --> Conclusion["Пространство есть чистое созерцание a priori"]
        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

Вывод: Мы не проверяем геометрию, измеряя каждый треугольник во Вселенной. Мы проверяем её, исследуя структуру нашей собственной способности видеть (пространство).