Суждения опыта, все без исключения, имеют синтетический характер. Поэтому появление противоречия в составе такого суждения – естественный и неизбежный феномен в процессе уточнения понятий в согласии с данными опыта.
Иначе говоря, для способности суждения общая логика не имеет права давать рекомендаций, ибо сия способность вправе подводить под определения понятия такие факты, которые этим определениям прямо и непосредственно противоречат.
Любое эмпирическое понятие всегда находится поэтому под угрозой опровержения со стороны опыта, со стороны первого же попавшегося на глаза факта. Следовательно, суждение чисто эмпирического характера, т.е. такое, где субъектом выступает эмпирически данный, чувственно созерцаемый предмет или объект (например, то же суждение о лебедях), верно и правильно лишь с обязательной оговоркой: «Белы все лебеди, до сих пор побывавшие в поле нашего опыта». Такое суждение бесспорно, ибо оно и не претендует на отношение к тем единичным вещам того же самого рода, которых мы ещё не успели повидать. И дальнейший опыт вправе корректировать наши определения, менять предикаты суждения.
С подобными трудностями действительно постоянно сталкивается и всегда будет сталкиваться наше теоретическое познание.
Но если так, если наука развивается только через постоянное сопоставление понятий с фактами, через постоянный и никогда не завершающийся процесс разрешения вновь и вновь возникающего здесь конфликта, то сразу же остро встаёт проблема научно-теоретического понятия. Отличается ли научно-теоретическое обобщение (понятие), претендующее на всеобщность и необходимость, от любого эмпирически-индуктивного «обобщения»? (Сложности, здесь возникающие, остроумно обрисовал столетием позже Б. Рассел в виде забавной притчи: живёт в курятнике курица, каждый день приходит хозяин, приносит ей зёрнышек поклевать, курица, несомненно, сделает отсюда вывод: появление хозяина связано с появлением зёрнышек. Но в один прекрасный день хозяин явится в курятник не с зёрнышками, а с ножом, чем убедительно и докажет курице, что ей не мешало бы иметь более тонкое представление о путях научного обобщения...)
Иначе говоря, возможны ли такие обобщения, которые, хотя и сделаны на основе лишь фрагментарного опыта относительно данного объекта, могут тем не менее претендовать на роль понятий, обеспечивающих научное предвидение, т.е. быть с гарантией «экстраполированы» и на будущий опыт относительно того же самого объекта (учитывая, разумеется, влияние всех разнообразных условий, внутри которых он может в будущем наблюдаться)? Возможны ли понятия, выражающие не только и не просто более или менее случайные общие признаки, могущие в другом месте и в другое время и отсутствовать, а самоё «существо», самую «природу» данного рода объектов, закон их существования? То есть возможны ли такие определения, при отсутствии которых отсутствует (невозможен и немыслим) и сам объект данного понятия, а имеется уже другой объект, который именно поэтому не правомочен ни подтвердить, ни опровергать определения данного понятия? (Как, например, рассмотрение квадратов или треугольников не имеет никакого отношения к нашему пониманию свойств окружности или эллипса, поскольку в определения понятия «окружность» входят только такие предикаты, которые строго описывают границы данного рода фигур, границы, которые нельзя переступить, не переходя в другой род.) Понятие, стало быть, предполагает такие «предикаты», устранить которые (без устранения самого объекта данного понятия) не может никакой будущий, «всякий возможный», по терминологии Канта, опыт.
Так и возникает кантовское различие чисто эмпирических и научно-теоретических обобщений. Определения понятий должны характеризоваться всеобщностью и необходимостью, т.е. должны быть заданы так, чтобы их не мог опровергнуть никакой будущий опыт.
Научно-теоретические обобщения и суждения, в отличие от чисто эмпирических, во всяком случае, претендуют на всеобщность и необходимость (как бы ни объяснять метафизические, психологические или антропологические основания такой претензии), на то, что они могут быть подтверждены опытом всех людей, находящихся в здравом уме, и не могут быть этим опытом опровергнуты. Иначе вся наука имела бы не больше цены, чем восклицания дурака из интернациональной притчи, который кстати и некстати произносит сентенции, уместные и оправданные лишь в строго оговорённых обстоятельствах («таскать вам — не перетаскать» и т.п.), т.е. бездумно выдаёт суждение, применимое лишь к сугубо частному случаю, за абсолютно-всеобщее, верное в любом другом случае, в любых условиях места и времени...
Научно-теоретическое обобщение (и суждение, связующее два или более обобщения) обязано указать не только определение понятия, но и всю полноту условий его применимости, всеобщности и необходимости. Но тут-то и вся трудность. Можем ли мы категорически установить, что перечислили весь ряд необходимых условий? Можем ли мы быть уверены, что включили в этот ряд только действительно необходимые условия? А может быть, мы включили в него лишние, не безусловно необходимые?
Кант и этот вопрос оставляет открытым. И он прав, поскольку тут всегда таится возможность ошибки. В самом деле, сколько раз наука принимала частное за всеобщее. Во всяком случае, ясно, что «общая», т.е. чисто формальная, логика и тут не имеет права формулировать правило, позволяющее отличить просто общее от всеобщего; то, что наблюдалось до сих пор, от того, что будет наблюдаться и впредь, как бы долго ни продолжался наш опыт и какие бы широкие области фактов он ни охватил. Для правил общей логики суждение типа «все лебеди белы» ровно ничем не отличается от суждений типа «все тела природы протяжённы», ибо разница здесь заключается не в форме, а исключительно в содержании и происхождении понятий, входящих в состав суждения. Первое – эмпирично и сохраняет полную силу лишь по отношению к уже протекшему опыту (по терминологии Канта, оно верно лишь «апостериори»), второе же претендует на большее, на справедливость и по отношению к будущему, ко всякому возможному опыту относительно тел природы (в той же терминологии, оно верно «априори», заранее, до проверки опытом). Мы почему-то убеждены (а наука придаёт нашему убеждению характер аподиктического[45] утверждения), что, сколько бы мы ни носились в просторах космоса и как бы глубоко в недра материи ни забрались, мы никогда и нигде не встретим «тела природы», опровергающего это наше убеждение, – «непротяжённого тела».
Почему? Потому, что непротяжённых тел в природе быть не может? Отвечать так, говорит Кант, было бы неосмотрительно. Тут мы можем сказать только следующее: если даже в составе бесконечного универсума такие удивительные тела и существуют, то они, во всяком случае, в поле нашего зрения, в поле нашего опыта попасть никогда не смогут. А если и смогут, то и они будут восприняты нами как протяжённые или же вообще никак не будут восприняты. Так уж устроены наши органы восприятия, что способны воспринимать вещи только под формой пространства, только как протяжённые и продолжающиеся (под формой времени).
Может статься, что они и «сами по себе» (an sich) таковы, – этого Кант не считает возможным отрицать, так же, как и утверждать. Но «для нас» они таковы и иными быть не могут, ибо в противном случае они вообще не могут быть включены в наш опыт, сделаться объектами опыта, а потому и послужить основанием для научных суждений и положений, для математики, физики, химии и других дисциплин.
Пространственно-временные определения вещей (способы их математического описания) тем самым и выводятся из-под угрозы опровержения со стороны всякого возможного опыта, ибо они как раз и верны при условии (или «под условиями») возможности самого этого опыта.
Как таковые, все теоретические положения (т.е. все суждения, связующие два и более определения) обретают всеобщий и необходимый характер и уже не нуждаются в подтверждении со стороны опыта. Поэтому-то все теоретические положения Кант и определяет как априорно-синтетические суждения. Именно в силу такого их характера мы и можем быть вполне уверены, что не только на нашей грешной земле, а и на любой другой планете 2×2 будет равно 4, а не 5 или 6, диагональ квадрата будет так же несоизмерима с его стороной, а в любом уголке Вселенной будут так же, как и в исследованном нами, соблюдаться законы Галилея, Ньютона и Кеплера... Ибо в составе таких положений связуются (синтезируются) только и исключительно всеобщие и необходимые (в выше разъяснённом смысле слова) определения, предикаты понятия.