Второе направление дальнейшего развития логики было указано, когда Кант, не удовлетворенный объяснением логиков о суждении вообще, включил в определение суждения признак объективного единства сознания содержащихся в нем понятий. Реформа логики стала реформой учения о суждении. Все наши познания опытные, равно как убеждения мысли, не только выражаются в словесных предложениях или им эквивалентных формах, но они суть и суждения с логической точки зрения. Заключение тоже есть не что иное, как посредственное суждение о связи суждений. Мы поэтому не только признаем, но мы требуем, чтобы заключение было доказательно для посылок, подобно тому как посылки доказательны для заключения; однако мы оспариваем мнение, будто заключение не дает поэтому ничего нового. Познание аналитической связи тоже есть познание: если оно и не расширяет нашего знания вовне, то оно зато сообщает ему внутреннюю ясность. А там, где умозаключение состоит в применении закона природы, оно или открывает бывший до сих пор не известным факт, или объясняет известное. – Из аномалий в возмущениях планетной орбиты мы делаем вывод о существовании неизвестной планеты, а двойное преломление мы объясняем разной эластичностью кристалла по направлению его осей: в том и в другом случае умозаключение расширяет наше познание. Если умозаключение с его посылками и выводом из них следует, таким образом, рассматривать как одно целое, как особого рода суждение, «суждение о связи», то и естественные виды умозаключений следует различать по видам, или формам, суждений, т. е. форма заключения определяет вид самого умозаключения.

Построить «таблицу суждений» становится благодаря этому одной из важнейших задач логики. Во главу становится разделение суждений по их объектам на два основных типа. Подобно тому, как существуют две раздельных и друг от друга отличных области познания: область, образуемая отношениями понятий, и другая – обнимающая бытие и факты, – так и суждения подразделяются на два главных класса: положения о понятиях и высказывания о вещах, или реальные утверждения. Суждение одного вида нельзя непосредственно свести к суждению другого вида, как нельзя этого сделать и с объектами их. Существенное различие обоих видов суждений между собой сказывается в различном значении общности, если мы сравниваем общие положения того и другого вида. Общее положение формы «все А суть В» означает: А, которые суть В, – суть все А; другими словами: в действительности нет такой вещи А, которая одновременно не была бы В; нет людей, которые не были бы смертны; короче говоря, класса А, который не есть В, не существует. Общность состоит здесь в эмпирической всеобщности всех наблюденных фактов, и умозаключение от такого общего к частному основано на принципе «dictum de omni et nullo». Та же формула «все А суть В» применительно к положению о понятиях имеет существенно иной смысл: А необходимо есть В, – плоский треугольник в евклидовом пространстве необходимо есть треугольник, сумма углов которого равна двум прямым, т. е. здесь мы имеем пред собой рациональную и абсолютную всеобщность, совершенно не зависимую от существования или числа случаев, или от повторения понятия. Существует безусловно надежный признак для распознавания в каждом отдельном случае, какого рода общность свойственна данному положению. Уже Локк указал на этот признак: всякое положение, об истинности или ложности которого возможно достоверное познание, не относится к бытию; напротив того, частные положения, утвердительные или отрицательные, которые перестают быть достоверными, как только мы пытаемся сделать их общими, единственно имеют своим предметом действительное существование. Ни одно эмпирическое положение нельзя путем одной эмпирики превратить в безусловно общее или необходимо действительное положение; для этого в каждом случае приходится прибегать к посредничеству общего положения о понятиях в форме закона, да и тогда еще чисто эмпирический элемент в положении приходится снабжать оговоркой: впредь до дальнейшей проверки.