Так и возникает кантовское различие чисто эмпирических и научно-теоретических обобщений. Определения понятий должны характеризоваться всеобщностью и необходимостью, т.е. должны быть заданы так, чтобы их не мог опровергнуть никакой будущий опыт.
Научно-теоретические обобщения и суждения, в отличие от чисто эмпирических, во всяком случае, претендуют на всеобщность и необходимость (как бы ни объяснять метафизические, психологические или антропологические основания такой претензии), на то, что они могут быть подтверждены опытом всех людей, находящихся в здравом уме, и не могут быть этим опытом опровергнуты. Иначе вся наука имела бы не больше цены, чем восклицания дурака из интернациональной притчи, который кстати и некстати произносит сентенции, уместные и оправданные лишь в строго оговоренных обстоятельствах ("таскать вам – не перетаскать" и т.п.), т.е. бездумно выдает суждение, применимое лишь к сугубо частному случаю, за абсолютно-всеобщее, верное в любом другом случае, в любых условиях места и времени...
Научно-теоретическое обобщение (и суждение, связующее два или более обобщения) обязано указать не только определение понятия, но и всю полноту условий его применимости, всеобщности и необходимости. Но тут-то и вся трудность. Можем ли мы категорически установить, что перечислили весь ряд необходимых условий? Можем ли мы быть уверены, что включили в этот ряд только действительно необходимые условия? А может быть, мы включили в него лишние, не безусловно необходимые?
Кант и этот вопрос оставляет открытым. И он прав, поскольку тут всегда таится возможность ошибки. В самом деле, сколько раз наука принимала частное за всеобщее. Во всяком случае, ясно, что "общая", т.е. чисто формальная, логика и тут не имеет права формулировать правило, позволяющее отличить просто общее от всеобщего; то, что наблюдалось до сих пор, от того, что будет наблюдаться и впредь, как бы долго ни продолжался наш опыт и какие бы широкие области фактов он ни охватывал. Для правил общей логики суждение типа "все лебеди белы" ровно ничем не отличается от суждений типа "все тела природы протяженны", ибо разница здесь заключается не в форме, а исключительно в содержании и происхождении понятий, входящих в состав суждения. Первое – эмпирично и сохраняет полную силу лишь по отношению к уже протекшему опыту (по терминологии Канта, оно верно лишь "апостериори"), второе же претендует на большее, на справедливость и по отношению к будущему, ко всякому возможному опыту относительно тел природы (в той же терминологии, оно верно "априори", заранее, до проверки опытом). Мы почему-то убеждены (а наука придает нашему убеждению характер аподиктического утверждения), что, сколько бы мы ни носились в просторах космоса и как бы глубоко в недра материи ни забрались, мы никогда и нигде не встретим "тела природы", опровергающего это наше убеждение, – "непротяженного тела".
Почему? Потому что непротяженных тел в природе быть не может? Отвечать так, полагает Кант, было бы неосмотрительно. Тут мы можем сказать только следующее: если даже в составе бесконечного универсума такие удивительные тела и существуют, то они, во всяком случае, в поле нашего зрения, в поле нашего опыта попасть никогда не смогут. А если и смогут, то и они будут восприняты нами как протяженные или же вообще никак не будут восприняты. Так уж устроены наши органы восприятия, что способны воспринимать вещи только под формой пространства, только как протяженные и продолжающиеся (под формой времени).
Может статься, что они и "сами по себе" (an sich) таковы, – этого Кант не считает возможным ни отрицать, ни утверждать. Но "для нас" они таковы и иными быть не могут, ибо в противном случае они вообще не могут быть включены в наш опыт, сделаться объектами опыта, а потому и послужить основанием для научных суждений и положений, для математики, физики, химии и других дисциплин.
Пространственно-временные определения вещей (способы их математического описания) тем самым и выводятся из-под угрозы опровержения со стороны всякого возможного опыта, ибо они как раз и верны при условии (или "под условиями") возможности самого этого опыта.
Как таковые, все теоретические положения (т.е. все суждения, связующие два и более определения) обретают всеобщий и необходимый характер и уже не нуждаются в подтверждении со стороны опыта. Поэтому-то все теоретические положения Кант и определяет как априорно-синтетические суждения. Именно в силу такого их характера мы и можем быть вполне уверены, что не только на нашей грешной земле, а и на любой другой планете 22 будет равно 4, а не 5 или 6, диагональ квадрата будет так же несоизмерима с его стороной, а в любом уголке Вселенной будут так же, как и в исследованном нами, соблюдаться законы Галилея, Ньютона и Кеплера. Ибо в составе таких положений связуются (синтезируются) только всеобщие и необходимые (в выше разъясненном смысле слова) определения, предикаты понятия.
Но если главной проблемой, с которой сталкивается наука, оказываются вовсе не аналитические, а как раз синтетические суждения, а общая логика правомочна судить лишь аналитическую правильность, то неизбежным становится вывод, что кроме общей логики должна существовать и специальная логика, имеющая дело лишь с теоретическим применением интеллекта, с правилами производства теоретических (по терминологии Канта, априорно-синтетических) суждений суждений, которые мы вправе расценивать как объективные. "...Если у нас есть основания считать суждение необходимо общезначимым... то мы должны признавать его и объективным, т.е. выражающим не только отношение восприятия к субъекту, но и свойство предмета; в самом деле, на каком основании суждения других должны были бы необходимо согласоваться с моим, если бы не было единства предмета, к которому все они относятся и которому они должны соответствовать, а потому согласоваться также и между собой"[9].
Мы, правда, еще не знаем о предмете самом по себе, т.е. вне опыта всех людей вообще, но что в опыте всех настоящих и будущих людей, организованных так же, как и мы, он будет обязательно выглядеть точно так же (а потому любой человек может проверить справедливость нашего суждения) – за это теоретическое суждение обязано поручиться.
Отсюда Кант и делает вывод, что должна существовать логика (или, точнее, раздел логики), специально трактующая о принципах и правилах теоретического применения мышления или об условиях применения правил общей логики к решению специально-теоретических задач, к актам производства всеобщих, необходимых и тем самым объективных суждений. Такая логика уже не имеет права, в отличие от общей, игнорировать разницу между знаниями (представлениями) по их содержанию и происхождению. Она может и должна служить достаточным каноном (если не органоном) для мышления, претендующего на всеобщность и необходимость своих выводов, обобщений и положений. Кант присваивает ей название трансцендентальной логики, или логики истины.
В центре внимания здесь, естественно, оказывается проблема так называемых синтетических действий интеллекта, т.е. действий, посредством которых достигается новое знание, а не просто разъясняется уже имеющееся в голове представление. Понимая под синтезом вообще "присоединение различных представлений друг к другу и понимание их многообразия в едином акте познания"[10], Кант тем самым придал синтезу роль и значение фундаментальной операции мышления, по существу и по времени предшествующей всякому анализу. Если анализ сводится к процессу разложения готовых представлений и понятий, то синтез как раз и выступает в качестве акта производства новых понятий. К этому акту, а значит, вообще к первоначальным, исходным формам работы мышления правила общей логики имеют весьма условное отношение.