Того факта, что метафизика занимается синтетическими априорными суждениями и что их наличие является проблемой, еще не достаточно, по мнению Канта, чтобы обосновать необходимость решения этой проблемы, то есть подвергнуть чистый разум критике, прежде чем приступать к построению метафизики. Ибо, как он полагает, он может доказать, существует еще одна наука, чьи выводы являются синтетическими суждениями a priori и которая обрела обширное и неоспоримое владение и неуклонно прогрессирует, никогда не занимаясь вопросом о возможности синтетических суждений a priori: математика. Существует также ряд метафизических положений, которые, даже если они независимы от опыта, тем не менее признаются общим согласием опыта и поэтому могут рассматриваться как неоспоримое синтетическое априорное знание, хотя проблема относительно таковых еще не решена.
Это те положения, которые естествознание, являющееся не проблемной, а реально данной наукой, использует в качестве принципов и воплощение которых можно назвать чистой наукой о природе, например, положение о связи следствий с их причинами (все, что происходит, имеет свою причину), или положение о том, что при всех изменениях телесной природы количество материи остается неизменным, или что при любой связи движения следствие и противодействие должны всегда оставаться неизменными. То, что суждения математики и чистого естествознания являются априорными суждениями, следует из того, что мы должны признать их необходимость и строгую всеобщность. Ведь опыт может научить нас только тому, что нечто является фактическим, но никак не тому, что оно абсолютно необходимо, и опыт никогда не дает своему суждению истинной или строгой, а только предполагаемой или сравнительной общности, так что на самом деле оно должно означать: насколько мы до сих пор воспринимали, из того или иного правила не существует исключения. Если, следовательно, суждение мыслится одновременно с его необходимостью или в строгой всеобщности, т.е. так, что никакое исключение не допускается как возможное, то оно является a priori». Необходимость и всеобщность являются определенными характеристиками априорного знания и к тому же неразделимы. Синтетический характер суждений математики и чистого естествознания также легко распознать. Исключение составляют лишь некоторые математические принципы, которые, однако, служат лишь цепью метода, а не принципами, например, целое равно самому себе или целое больше своей части. Если, например, рассмотреть арифметическое выражение 7 +5 = 12, то окажется, что понятие суммы 7 и 5 содержит не что иное, как сведение обоих чисел к одному, при этом совершенно не задумываясь, что это за единое число, которое объединяет оба. Чтобы найти это число, нужно выйти за пределы понятий «семь» и «пять», используя визуализацию и постепенно добавляя на картинке от пяти до семи предметов, например точек, и таким образом увидеть, как появляется число двенадцать. Особенно если мы возьмем несколько большие числа, то очевидно, что, если мы будем крутить и переворачивать наши понятия как угодно, мы никогда не сможем найти сумму, просто дробя наши понятия. Что касается геометрических суждений, то возьмем, к примеру, принцип, согласно которому прямая линия между двумя точками является самой короткой. То, что это является синтетическим, поскольку понятие прямой линии не содержит в себе величины, а только качество, и поэтому понятие кратчайшей линии не может быть выведено из понятия прямой линии путем какого-либо деления, а может быть только объединено с ним для формирования суждения с помощью некой интуиции. Наконец, что касается суждений чистого естествознания, рассмотрим высказывание о том, что при всех изменениях в физическом мире количество материи остается неизменным. В понятии материи я думаю не о постоянстве, а лишь о ее присутствии в пространстве через выполнение одного и того же; таким образом, я действительно выхожу за пределы понятия материи, чтобы априорно мыслить нечто в дополнение к нему, чего я не мыслил в нем; следовательно, это суждение является не аналитическим, а синтетическим.
Зачем же метафизике нужна наука, определяющая возможность, принципы и объем всякого знания a priori и имеющая своей задачей объяснение возможности синтетических суждений a priori, если математика, которая также целиком занимается синтетическими суждениями a priori, не имеет такой потребности? И когда даже ряд метафизических положенитй (те, которые в совокупности составляют чистое естествознание) признаются с полной очевидностью и подтверждают себя во всем опыте, хотя никто до сих пор даже не заметил проблемы возможности синтетических суждений a priori? Отвечая на этот вопрос, Кант не ограничивается указанием на неудачу всех имевшихся до сих пор попыток создать метафизику, требующую всеобщего признания; он также проводит различие между знаниями, к которым стремится метафизика в той мере, в какой она хочет быть чем-то большим, чем чистое естествознание, В этом заключается причина, по которой метафизика, в отличие от математики и естествознания, должна дождаться завершения критики разума, прежде чем начать свое предприятие, и которая объясняет, почему попытки метафизики до сих пор не увенчались успехом. Различие между математическим и метафизическим знанием (включая положения чистого естествознания) состоит, по его мнению, в том, что последнее, как и аналитическое, есть знание, выводимое из понятий, тогда как последнее есть знание, выводимое из построения понятий, т.е. из представления представлений, соответствующих понятиям, и притом из представления этих представлений чистым разумом, который ничего не берет из опыта. Математик, например, считает, что Например, если он хочет выяснить, как сумма углов треугольника может быть отнесена к прямому, то он не считает, что может достичь своей цели, просто рассматривая понятие треугольника как фигуры, заключенной в три прямые линии, а начинает с построения фигуры, соответствующей этому понятию треугольника, и проведения некоторых вспомогательных линий, и таким образом, через цепь умозаключений, всегда руководствуясь интуицией, приходит к совершенно правдоподобному и в то же время общему решению вопроса. Таким образом, математика имеет дело с предметами и знаниями лишь в той мере, в какой эти предметы и знания могут быть визуализированы. Из метафизических познаний те, которые составляют чистое естествознание, хотя и не могут быть соответствующим образом рассмотрены, например, понятия причины и субстанции, тем не менее имеют с математическими то общее, что они относятся к предметам восприятия (причем не чистого, а эмпирического восприятия). С другой стороны, в той мере, в какой метафизика стремится быть чем-то большим, чем чистое естествознание, в той мере, в какой ее усилия направлены на познание Бога, свободы, бессмертия (см. выше, с. 6), она выходит из области всевозможного опыта и ищет знания, выходящего за пределы мира чувств, где опыт не может дать ни ориентиров, ни поправок, как, например, когда легкий голубь в свободном полете, разделяя воздух, сопротивление которого он ощущает, приходит к мысли, что в безвоздушном пространстве ему будет гораздо легче. Именно эта особенность метафизики делает справедливой и разумной постановку вопроса о том, как разум может прийти ко всем этим познаниям «априори», каковы их объем, обоснованность и ценность.
Если начинание критики разума оправдывается для догматизма постановкой проблемы, составляющей возможность синтетических априорных суждений, и указанием на ту особенность метафизики, что искомое ею синтетическое априорное знание выходит за пределы мира чувств, то, по Канту, оно находит свое оправдание для скептицизма в доказательстве существования синтетических априорных суждений как непреложного достояния в двух науках, в математике и в естествознании. «Если бы в действительности не существовало, говорит Кант в Пролегоменах, таких чистых синтетических априорных суждений, их следовало бы считать совершенно невозможными, с чем действительно столкнулся Давид Юм, хотя он и не ставил вопрос в таком общем виде, как это сделано здесь и должно быть сделано, если ответ должен иметь решающее значение для всей метафизики. Ибо как это возможно, говорил этот проницательный человек, чтобы, когда мне дано понятие, я мог выйти за его пределы и соединить с ним другое, которое вовсе не выводится из этого понятия, и притом так, как если бы это понятие обязательно принадлежало этому понятию? Только опыт может дать нам такие связи (так он заключал из той трудности, которую считал невозможной), а вся эта мнимая необходимость или, что бы это ни было, знание a priori, принимаемое за нее, есть не что иное, как долгая привычка находить что-либо истинным и, следовательно, считать субъективную необходимость объективной.» «Я охотно признаюсь, что воспоминание о Дэвиде Юме было тем самым, что впервые прервало мою догматическую дремоту много лет назад и придало моим исследованиям в области спекулятивной философии совершенно иное направление. Я был далек от того, чтобы прислушиваться к его выводам, которые проистекали лишь из того, что он не представлял себе свою задачу в целом, а обрушивался лишь на ее часть, которая, не рассматривая целого, может не дать никакого сведения». В частности, скептицизм должен быть противопоставлен математике, поскольку, как показывает пример Юма, сомнение не стесняется отрицать значение реального знания для построений чистого естествознания до тех пор, пока его подходу не помогает математика. Ошибка Юма, как неоднократно отмечает Кант, заключалась в том, что он рассматривал математические высказывания как аналитические. «Ведь если бы он этого не сделал, то расширил бы свой вопрос о происхождении наших синтетических суждений далеко за пределы своего метафизического понятия причинности, а также распространил бы его на возможность математики a priori; ведь он должен был предположить, что она также является синтетической. Но тогда он ни в коем случае не мог основывать свои метафизические положения на простом опыте, потому что в противном случае он подверг бы опыту и аксиомы чистой математики, а для этого он был слишком проницателен. Хорошая публика, в которой оказалась бы метафизика, предохранила бы ее от опасности позорного оскорбления, так как шутки, предназначенные для последней, должны были бы затронуть и первую, но он так не считал, да и не мог считать: таким образом, проницательный человек был бы втянут в рассуждения, которые должны были бы стать похожими на те, которыми мы сейчас занимаемся.»
Он никогда бы не поддался на разрушающее всю чистую философию утверждение, что синтетическое суждение о связи следствий с их причинами «априори» совершенно невозможно и что все, что мы называем метафизикой, равносильно простому заблуждению, Если бы у него перед глазами была наша задача в ее общем виде, то он понял бы, что, согласно его аргументации, не может быть и чистой математики, поскольку она непременно содержит синтетические суждения a priori, и тогда здравый смысл, вероятно, уберег бы его от этого утверждения. " -Задача «Критики чистого разума» более подробно сформулирована Кантом в ответах на четыре вопроса. Поскольку существуют две науки, знание которых состоит из синтетических суждений «априори», чистая математика и чистое естествознание, то общий вопрос, на который должна ответить «Критика чистого разума», вопрос о том, как возможны синтетические суждения «априори», содержит прежде всего два вопроса: как возможна чистая математика? и как возможно чистое естествознание? Как возможно чистое естествознание? Третий вопрос касается возможности такого синтетического знания a priori, которое, в отличие от математического и научного знания, выходит из области всевозможного опыта, мира чувств, поэтому, если называть вместе с Кантом олицетворением всех возможных синтетических знаний a priori из понятий метафизику, то метафизика, в той мере, в какой она хочет быть больше, чем чистое естествознание, или, если брать термин метафизика в более узком смысле, как это делает Кант в данном контексте, то возможность метафизики как таковой. Что касается метафизики в этом более узком смысле, то, поскольку она еще не стала реальностью, остается открытым вопрос о том, возможна ли она вообще. «Но в известном смысле, говорит Кант, такого рода знание также должно рассматриваться как данное, и метафизика, хотя и не как наука, тем не менее реальна как естественная диспозиция. Ибо человеческий разум неумолимо, не будучи движим к этому простой тщеславной целью, движимый собственной потребностью, переходит к таким вопросам, на которые нельзя ответить никаким эмпирическим применением разума и, следовательно, заимствованными принципами, и поэтому во всех людях действительно была и всегда будет некоторая метафизика, как только разум расширяет себя в них до уровня спекуляции». Таким образом, вопрос о критике разума применительно к метафизике может быть сформулирован следующим образом: Как возможна метафизика как естественная диспозиция, т.е. как вопросы, которые чистый разум ставит перед собой и на которые он вынужден отвечать по мере сил в силу собственной необходимости, вытекают из природы всеобщего человеческого разума? К этим вопросам Кант добавляет четвертый: Как возможна метафизика как наука? Смысл его, по-видимому, таков: Каким путем следует идти, чтобы сделать метафизику действительной, если под ней понимать воплощение всех тех синтетических познаний» priori из понятий, которые, согласно ответу на предыдущие вопросы, возможны, т.е. достижимы человеческим разумом?
Деление «Критики чистого разума» не выводится из этого деления вопроса, поставленного перед ней для ответа, но согласуется с ним. Кант сначала выделяет (в соответствии со своим делением формальной логики на общее элементарное учение и общее методологическое учение) две основные части: трансцендентальное элементарное учение и трансцендентальное методологическое учение. Если, по его словам, воплощение всего знания чистого и спекулятивного разума рассматривать как здание, о котором мы имеем в себе хотя бы представление, то элементарное учение намечает и определяет строительный материал, к какому зданию какой высоты и прочности он принадлежит; методологическое же учение не касается ни материала, ни плана; оно есть определение формальных условий целостной системы чистого разума.
Соответственно, из четырех приведенных вопросов первому придется отвечать на первые три, второму на последний. Элементарное учение, которое по своему объему и значению значительно превосходит методологическое, Кант разделяет на трансцендентальную эстетику и трансцендентальную логику. Первая исследует чувственность, т.е. способность приобретать представления через способ воздействия на нас предметов, т.е. представления, через которые нам даются предметы, одним словом, взгляды, чтобы выяснить, способны ли мы через них к синтетическим суждениям a priori»; вторая с той же точки зрения рассматривает рассудок, способность, через которую мы мыслим предметы и из которой возникают понятия. Поскольку суждения математики приходят к своему синтезу с помощью наблюдения, а суждения чистого естествознания и метафизики без него (см. выше), то самая трансцендентальная эстетика должна будет объяснить возможность математики, трансцендентальная логика возможность чистого естествознания, а метафизика возможность метафизики как естественной диспозиции. Трансцендентальная логика, в свою очередь, распадается на трансцендентальную аналитику и трансцендентальную диалектику. Аналитика показывает, что рассудок, в той мере, в какой он является способностью образовывать понятия и выносить суждения, способен к определенным синтетическим познаниям a priori об предметах, данных чувственности, т.е. о тех вещах, которые могут быть для нас предметами опыта, о физических вещах; Диалектика показывает, что рассудок, поскольку он способен рассуждать, или, что то же самое, поскольку он есть рассудок, неизбежно имеет ложную видимость способности к синтетическому познанию» priori» о вещах, доступных опыту, как будто он способен познавать и то, что недоступно опыту, сверхчувственное, и, разоблачая эту ложную видимость как таковую, он отвергает гиперфизическое использование чистого рассудка (чистого разума) как необоснованную презумпцию. Соответственно, из двух вопросов о том, как возможно чистое естествознание и как возможна метафизика как естественная диспозиция, первый относится к аналитике, другой к диалектике. Под общим для всех этих названий эпитетом «трансцендентальный» Кант поясняет: «Я называю так чистое естествознание и метафизику как естественную диспозицию.