Первый тип познания относится к связям между понятиями. Второй — к оформленным чувственным впечатлениям, и третий — к постижению «форм».
Кант считает само собой разумеющимся, что существуют «синтетические априорные суждения». Вопрос заключается в том, как они возможны, а не в том, возможны ли они. Ответ состоит в том, что «синтетические априорные суждения» возможны благодаря тому, что всем познающим субъектам присущи определенные формы, которые служат условиями упорядоченного опыта.
Что Кант подразумевает под «синтетическим a priori»? Он определяет термины следующим образом [Напомним читателю, что обычно суждение А рассматривается как имеющее вид «S есть Р». Здесь S (логический субъект суждения А) обозначает предмет, о котором высказываются с помощью суждения А, а Р (логический предикат) обозначает то, что высказывается о логическом субъекте — В.К.]:
A priori: независимое от опыта — примером служит суждение «все холостяки являются неженатыми мужчинами».
A posteriori: зависимое от опыта — примером служит суждение «этот дом является белым».
Аналитическое:
1) суждение, в котором логический предикат «содержится» в логическом субъекте,
2) суждение, в котором отрицание логического предиката ведет к логическому противоречию — например, «все холостяки являются неженатыми мужчинами» (или «все тела протяженны») [Критика чистого разума, А7/В11, с.112.].
Синтетическое:
1) суждение, в котором логический предикат не «содержится» в логическом субъекте.
2) суждение, в котором отрицание логического предиката не ведет к логическому противоречию — например, «этот дом является белым» (или «все тела имеют тяжесть») [Критика чистого разума, А7/В11, с. 107.].
Иными словами, аналитические априорные суждения соответствуют типу познания, возникающему в результате анализа связей между понятиями, как его трактовали рационалисты и эмпи-рицисты. Синтетические апостериорные суждения соответствуют опытному познанию, как его понимали рационалисты и эмпирицисты [См. Гл. 29]. Щекотливым оказывается статус синтетических априорных суждений. Они являются утверждениями, которые не зависят от опыта (априорными). В то же самое время они являются и синтетическими, поскольку логический предикат «не содержится» в логическом субъекте. Кант убежден, что такие суждения (Urteile) существуют и что их примером будет утверждение «все, что происходит, имеет свою причину» [Критика чистого разума, А10/В13, с. 113.]. Это утверждение явно противоречит точке зрения эмпирициста Юма, который интерпретировал бы его либо в качестве аналитического априорного суждения (мы можем так определить «все случающееся», что по определению оно будет считаться «имеющим причину»), либо в качестве синтетического апостериорного суждения (это утверждение является обобщением частных случаев, и, следовательно, мы не знаем, будет ли оно истинным в будущем).
Кант утверждает, что все происходящее имеет причину, и что нам нет необходимости обращаться к опыту, чтобы знать, что все происходящее имеет причину (так как причинность принадлежит к нашим формам мышления). Утверждение «все, что происходит, имеет свою причину» относится к фундаментальным принципам естествознания (= механике Ньютона), которые, по мнению Канта, общезначимы и необходимы.
Кант также полагает, что, в частности, утверждение «прямая линия является самым коротким расстоянием между двумя точками» может служить примером синтетического априорного математического суждения.
Согласно Канту, математика и естествознание являются хорошо обоснованными науками. Используемые ими упорядочивающие формы присущи всем субъектам.
Итак, Кант опровергает то, что называл эмпирицистским скептицизмом. Ведь рефлексивное постижение условий познания демонстрирует, что две вышеупомянутые науки опираются на надежное основание.
