По Канту, знание всегда выражается в форме суждения, в котором мыслится какое-то отношение или связь между двумя понятиями - субъектами и предикатами суждения. Существует два вида этой связи. В одних суждениях предикат не дает нового знания о предмете сравнительно с тем знанием, которое уже мыслится в субъекте. Такие суждения Кант называет аналитическими. Пример аналитического суждения: <все тела имеют протяжение>. В этом суждении предикат-понятие <имеют протяжения> - не дает никакого нового знания сравнительно с тем знанием, которое имеется в понятии <тела> - в субъекте суждения. Рассматривая понятие <тело>, мы находим среди прочих его признаков признак <имеет протяжение>. Признак этот логически выводится из субъекта - из понятия о теле. Но есть суждения, в которых связь между субъектом и предикатом нельзя получить посредством простого анализа понятия субъекта. В них предикат не выводится из субъекта, а соединяется с субъектом. Такие суждения Кант называет синтетическими. Пример синтетического суждения: <некоторые тела тяжелы>. Понятие о теле не заключает в себе необходимо признак тяжести, он соединяется в мысли с понятием о теле, и это соединение - синтез