В соответствии с этим положения чистого естествознания не являются сразу определенными; для каждого из них должно быть дано доказательство, показывающее, что оно выражает условие возможности опыта; пока одно из этих положений не доказано таким образом, оно еще не является знанием. При этом возможны два случая: либо доказательство основывается на фактах опыта (а именно опыта об опыте), либо оно осуществляется из простого понятия опыта или, что то же самое, объекта, который может быть опытен, путем расчленения этого понятия, показывая, что именно ему принадлежит, чтобы быть объектом опыта. Однако в первом случае доказываемая пропозиция не является знанием s priori, поскольку пропозиции, которые могут быть доказаны только путем вывода из эмпирических пропозиций, сами являются эмпирическими; во втором случае она не является синтетической, поскольку получается путем простого расчленения понятия, а именно понятия познаваемого объекта. В любом случае предложения чистого естествознания не являются синтетическим априорным знанием, если исходить из того, как Кант объясняет их возможность.

Как Кант не смог доказать существование этой возможности a priori, объяснив возможность синтетического знания a priori, так и не смог обеспечить это доказательство a postsriori, а именно продемонстрировав такое знание. Очевидно также, что эта попытка не удалась с самого начала. Ведь хотя можно привести предложения, в отношении которых не вызывает сомнений, что они одновременно синтетические и априорные, все же остается доказать, что это не произвольные утверждения и даже не просто предложения веры, а реальные познания, истинные суждения, выработанные с пониманием их истинности, и это доказательство может быть дано, если не опровергнуть приведенные выше соображения, то такое доказательство может быть дано только путем доказательства данных суждений либо из фактов опыта, либо из простых понятий, т.е. путем получения эмпирического или аналитического знания s priori из приведенных синтетических утверждений. Если бы, например, пришлось признать, что закон причинности является синтетическим суждением a priori, то можно было бы с полным основанием объявить его, как и Юм, простым предложением веры, хотя, возможно, по уверенности не уступающим никакому знанию, пока его истинность не будет доказана либо фактами, либо простым сравнением идей, и тогда можно было бы обладать в одном случае эмпирическим, а в другом – аналитическим знанием о нем. Не иначе обстоит дело и с принципами математики. Вряд ли Юм последовал бы предпосылке Канта и, доказав, что математические предложения также синтетичны и не основаны на опыте, снял бы свое сомнение относительно закона причинности; По крайней мере, можно с тем же правом предположить, что здравый смысл, на который ссылается Кант, подсказал бы ему, что принципы математики, как и принцип причинности, – это пропозиции, которым мы не прочь довериться, но которые даны нам только инстинктом, дарованным нам благосклонной природой, и поэтому их нельзя знать, а можно только верить.

Однако попытка Канта доказать синтетическое априорное знание в пропозициях математики и чистого естествознания отнюдь не зависит от этого выхода. Ведь нет необходимости признавать, что эти предложения являются синтетическими. Что

Прежде всего, что касается арифметических предложений, то Лейбниц на примере 2 +2 = 4 убедительно показал, что они следуют из одних только определений числовых терминов, т.е. из аналитических суждений, и поэтому сами являются аналитическими (см. т. I, с. 442). Если 2 означает столько же, сколько 1 +1, 3 – сколько 2 +1, 4 – сколько 3 +1, то из 3 +1 = 4 следует сначала 2 +1 +1 = 4 и далее 2 +2 =4. Не так просто объяснить анализ, который приводит к геометрическим принципам, но можно убедиться простым наблюдением, что и здесь мы имеем дело с аналитическими суждениями. Возьмем, к примеру, утверждение Канта о том, что прямая линия между двумя точками является кратчайшей. Ясно, что свойство, приписываемое здесь прямой линии, обусловлено тем, что это прямая линия. То, что линия является кратчайшей, очевидно, не добавляется к тому, что она является линией и что она является прямой, как нечто новое в этом вопросе, как, например, к свойствам, составляющим понятие определенного вида растений, можно добавить запах или целебный блеск как свойство, общее для всех растений этого вида, но тождественное в этом вопросе с тем, что она является прямой или с чем-то, содержащимся в ней. Итак, через одно только понятие прямой линии, поскольку оно предшествует всем суждениям о ней, можно получить не косвенно, через нечто другое, к чему они относятся, а непосредственно и без остатка и так, как они есть сами по себе. Поэтому мы должны быть в состоянии обнаружить в прямой линии свойство, тождественное или каким-то образом содержащееся в прямолинейности, что она является кратчайшей между своими конечными точками, наблюдая ее в той мере, в какой мы имеем ее перед глазами через ее понятие, точно так же, как мы можем обнаружить два плюс два в четырех, т.е. три плюс один. А это означает не что иное, как то, что это свойство должно быть узнаваемо из простого понятия прямой линии, или что данная пропозиция, как только она выражает реальное познание (чего не происходит до тех пор, пока она считается истинной лишь в силу неосознаваемого ограничения способности восприятия), является аналитической. Действительно, для познания математических истин необходимо обладать способностью восприятия; предложение 2 +2 = 4, хотя и может быть выведено из простых определений путем строгого умозаключения, также предполагает наличие способности восприятия, поскольку понятия числа получают свое содержание из восприятия, а для человека, не обладающего способностью восприятия, эти определения были бы не более чем комбинациями слов или знаков.