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