Учение Канта о знании опирается на его теорию суждения. По Канту, знание всегда выражается в форме суждения, в котором мыслится какое-то отношение или связь между двумя понятиями: субъектом и предикатом суждения. Существуют два вида этой связи. В одних суждениях предикат не дает нового знания о предмете сравнительно с тем знанием, которое уже мыслится в субъекте. Такие суждения Кант называет аналитическими. Пример аналитического суждения: «Все тела имеют протяжение». В этом суждении предикат — понятие «протяжение» — не дает никакого нового знания сравнительно с тем знанием, которое имеется в понятии «тело»— в субъекте суждения. Рассматривая понятие «тело», мы находим среди прочих его признаков признак «протяжения». Признак этот логически выводится из субъекта — из понятия о теле.
Но есть суждения, в которых связь между субъектом предикатом нельзя получить посредством простого анализа понятия субъекта. В них предикат не выводится из субъекта, а соединяется с субъектом. Такие суждения Кант называет синтетическими. Пример синтетического суждения: «Некоторые тела имеют тяжесть». Понятие о теле не заключает в себе необходимо признак «тяжесть», он соединяется в мысли с понятием о теле; такое соединение Кант называет синтезом. В свою очередь синтетические суждения Кант делит на два класса. В одном из них связь предиката с субъектом мыслится потому, что связь эта обнаруживается в опыте. Таково, например, суждение «некоторые лебеди черны». Такие синтетические суждения именуются Кантом апостериорными. Другой класс составляют синтетические суждения, в которых связь между предикатом и субъектом не может основываться на опыте. Она мыслится как связь, предшествующая опыту и не зависящая от него. Такие синтетические суждения Кант называет априорными, например: «Все, что случается, имеет причину». Суждение это, по Канту, априорное, так как мыслимая в нем связь между его субъектом и предикатом не может основываться на опыте: в суждении говорится обо всем, что случается, но из опыта нам может быть известна лишь часть того, что случается.
Так как Кант приписывает априорным синтетическим суждениям первостепенное значение, то основной для него вопрос об источниках знания, о видах знания и его границах формулируется как вопрос о возможности априорных синтетических суждений в каждом из видов знания. Канта интересуют главным образом три вида знания: математика, теоретическое естествознание и «метафизика» (умозрительное познание всего сущего). Поэтому вопрос об априорных синтетических суждениях он ставит в троякой форме: 1) как возможны такие1 суждения в математике; 2) как возможны они в теоретическом естествознании и 3) возможны ли они в «метафизике». Исследования вопросов о возможности априорных синтетических суждений в научном и философском знании. Кант называет «трансцендентальными», а свое учение, в котором он пытался дать ответ на эти вопросы, — «трансцендентальным идеализмом».
Решение этих трех вопросов Кант связывает с исследованием трех основных познавательных способностей: 1) чувственности, 2) рассудка и 3) разума. Чувственность— способность к ощущениям, рассудок — способность к понятиям и суждениям, разум — способность к умозаключениям, доходящим до «идей». «Идеи» — понятия разума о безусловном единстве всех