1. Все математические суждения – синтетические. Это положение до сих пор, по-видимому, ускользало от внимания аналитиков человеческого разума; более того, оно прямо противоположно всем их предположениям, хотя оно бесспорно достоверно и очень важно для дальнейшего исследования. В самом деле, когда было замечено, что умозаключения математиков делаются по закону противоречия (а это требуется природой всякой аподиктической достоверности), то уверили себя, будто основоположения также познаются исходя из закона противоречия; но это убеждение было ошибочным, так как синтетическое положение, правда, можно усмотреть из закона противоречия, однако никак не само по себе, а таким образом, что при этом всегда предполагается другое синтетическое положение, из которого оно может быть выведено.
Прежде всего следует заметить, что настоящие математические положения всегда априорные, а не эмпирические суждения, потому что они обладают необходимостью, которая не может быть заимствована из опыта. Если же с этим не хотят согласиться, то я готов свое утверждение ограничить областью чистой математики, само понятие которой уже указывает на то, что она содержит не эмпирическое, а исключительно только чистое априорное знание.
То, с чем работает Кант, – это не только поле философии, но и поле науки. В этом смысле его проект имеет всеобщую значимость.
Работа с чистой математикой как априорной наукой показывает, что есть определенная структура и механика работы априорного, которая лежит в основе всякого познания. Понять эту механику – значит заложить фундамент науки.
На первый взгляд может показаться, что положение 7 + 5 = 12 чисто аналитическое [суждение], вытекающее по закону противоречия из понятия суммы семи и пяти. Однако, присматриваясь ближе, мы находим, что понятие суммы 7 и 5 содержит в себе только соединение этих двух чисел в одно и от этого вовсе не мыслится, каково то число, которое охватывает оба слагаемых. Понятие двенадцати отнюдь еще не мыслится оттого, что я мыслю соединение семи и пяти, и сколько бы я ни расчленял свое понятие такой возможной суммы, я не найду в нем числа 12. Для этого необходимо выйти за пределы этих понятий, прибегая к помощи созерцания, соответствующего одному из них, например своих пяти пальцев или (как это делает Зегнер в своей арифметике) пяти точек, и присоединять постепенно единицы числа 5, данного в созерцании, к понятию семи. В самом деле, я беру сначала число семь и затем, для получения понятия пяти, прибегая к помощи созерцания пальцев своей руки, присоединяю постепенно к числу 7 с помощью этого образа единицы, ранее взятые для составления числа 5, и таким образом вижу, как возникает число 12. То, что 5 должно было быть присоединено к 7, я, правда, мыслил в понятии суммы = 7 + 5, но не мыслил того, что эта сумма равна двенадцати. Следовательно, приведенное арифметическое суждение всегда синтетическое. Это становится еще очевиднее, если взять несколько большие числа, так как в этом случае ясно, что, сколько бы мы ни манипулировали своими понятиями, мы никогда не могли бы найти сумму посредством одного лишь расчленения понятий, без помощи созерцаний.
Точно так же ни одно основоположение чистой геометрии не есть аналитическое суждение. Положение прямая линия есть кратчайшее расстояние между двумя точками – синтетическое положение. В самом деле, мое понятие прямой содержит только качество, но ничего не говорит о количестве. Следовательно, понятие кратчайшего [расстояния] целиком присоединяется к понятию прямой линии извне и никаким расчленением не может быть извлечено из него. Поэтому здесь необходимо прибегать к помощи созерцания, посредством которого только и возможен синтез.
Только немногие из основоположений, предполагаемых геометрами, суть действительно аналитические суждения и основываются на законе противоречия. Однако они, будучи тождественными положениями, служат только для методической связи, а не в качестве принципов; таковы, например, суждение а = а, целое равно самому себе, или (a + b) › а, т. е. целое больше своей части. Но даже и эти суждения, хотя они имеют силу на основании одних только понятий, допускаются в математике лишь потому, что могут быть показаны в созерцании. Если мы обыкновенно думаем, будто предикат таких аподиктических суждений уже содержится в нашем понятии и, стало быть, суждение аналитическое, то это объясняется исключительно двусмысленностью выражений. Мы должны, как мы говорим, мысленно присоединить к данному понятию некоторый предикат, и эта необходимость связана уже с самими понятиями. Между тем вопрос состоит не в том, что мы должны мысленно присоединить к данному понятию, а в том, что мы действительно мыслим в нем, хотя и смутно. При такой постановке вопроса оказывается, что предикат связан с указанными понятиями, правда необходимо, однако не как нечто мыслимое в самом понятии, а с помощью созерцания, которое должно быть добавлено к понятию.
2. Естествознание (Physica) заключает в себе априорные синтетические суждения как принципы. Я приведу в виде примеров лишь несколько суждений: при всех изменениях телесного мира количество материи остается неизменным или при всякой передаче движения действие и противодействие всегда должны быть равны друг другу. В обоих этих суждениях очевидны не только необходимость, стало быть, априорное происхождение их, но и их синтетический характер. В самом деле, в понятии материи я не мыслю ее постоянности, а имею в виду только ее присутствие в пространстве через наполнение его. Следовательно, в приведенном суждении я действительно выхожу за пределы понятия материи, чтобы мысленно присоединить к нему a priori нечто такое, чего я в нем не мыслил. Таким образом, это суждение не аналитическое, а синтетическое, и тем не менее оно мыслится a priori; точно так же обстоит дело и с другими положениями чистого естествознания.
3. Метафизика, даже если и рассматривать ее как науку, которую до сих пор только пытались создать, хотя природа человеческого разума такова, что без метафизики и нельзя обойтись, должна заключать в себе априорные синтетические знания; ее задача состоит вовсе не в том, чтобы только расчленять и тем самым аналитически разъяснять понятия о вещах, a priori составляемые нами; в ней мы стремимся a priori расширить наши знания и должны для этого пользоваться такими основоположениями, которые присоединяют к данному понятию нечто не содержавшееся еще в нем; при этом мы с помощью априорных синтетических суждений заходим так далеко, что сам опыт не может следовать за нами, как, например, в положении мир должен иметь начало, и т. п. Таким образом, метафизика, по крайней мере по своей цели, состоит исключительно из априорных синтетических положений.
Кант последовательно проходит по общим местам разных наук, показывая, что априорное синтетическое знание является основой как и для математики, так и для естествознания. И он идет дальше. Для Канта важно, чтобы метафизика заняла свое почетное место в мире наук. Метафизика до Канта занималась аналитикой – расчленяла понятия и разъясняла их, тогда как изначально она (метафизика) появилась из вопроса о начале, который является синтетическим априорным.