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

Согласно Канту, как и в аристотелевской логике, знание состоит в суждении. Судить – значит давать знание. Понятие суждения дает представление о природе знания. Но Кант теперь считал, что существует два вида суждения: аналитическое и синтетическое. Но это лишь уступка прежней формально-аналитической логике Аристотеля, согласно которой все суждения должны заключаться только в анализе понятия. Признав два типа суждений и допустив их существование рядом, Кант усложнил понимание своей собственной доктрины; ведь, согласно Канту, только синтетическое суждение является сущностью знания, но не аналитическое. Знание состоит в синтетическом, но не в аналитическом суждении.

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

Синтетическое суждение не возникает из анализа понятия, и поэтому его истинность не опирается на принцип противоречия. В синтетическом суждении предикат добавляется к субъекту только через связь; поэтому они расширяют познание. Весь прогресс в познании опирается на синтетические суждения. Нет никакого противоречия, если я отрицаю предикат от субъекта в синтетическом суждении. Если же предикат мыслится связанным с субъектом не случайно, а обязательно, то эта связь не основана на принципе противоречия и поэтому требует иного обоснования.