Кант начинает свои рассуждения со специфической классификации суждений. Он выделяет суждения синтетические-аналитические и априорные-апостериорные. 

Синтетическими называются суждения, несущие новое знание, не содержащееся в понятии, которое является их субъектом.

Аналитическими называются суждения, которые всего лишь раскрывают свойства, присущие понятию субъекта, содержащиеся в нем самом, и не несут нового знания.

С другой стороны, априорные суждения не нуждаются в опытной проверке своей истинности, а для апостериорных необходима эмпирическая верификация (Не пиши. В смысле опытной проверки). Кант замечает, что синтетические суждения чаще всего апостериорные, а аналитические - априорные.