Вместе с Юмом и эмпириками Кант считал, что фактически все знание возникает из опыта, но в отличие от них он предложил важное дополнение. Мы должны различать то, что на самом деле составляет знание, и форму, которую оно принимает. Таким образом, хотя знание возникает через опыт, его извлекают не только из опыта. Мы можем показать это, сказав по-другому ощущение и опыт необходимы, но не достаточны для знания. Форма, которую принимает знание, и принципы организации этого знания превращают сырой материал опыта в знание - все это, считает Кант, не извлекается из опыта само по себе, стихийно, так сказать. Хотя Кант не говорит этого, очевидно, что это - слегка видоизмененные врожденные идеи, в декартовском смысле. Общие понятия разума, которые предлагает ум, чтобы сформировать из опыта знание, Кант, используя терминологию Аристотеля, называет категориями. Поскольку знание носит позитивный характер, категории должны быть связаны с формой добываемого знания. Прежде чем показывать, как Кант получает категории, мы должны задержать свое внимание на важном вопросе, касающемся классификации суждений. Кант вслед за Лейбницем является приверженцем традиционной субъектно-предикатной логики Аристотеля. В самом деле, он думал, что формальная логика совершенна и безупречна. Однако среди суждений могут быть выделены такие, которые уже содержат предикат в субъекте, и другие, в которых этого нет. Так, суждение "все тела протяженны" - первого типа, потому что определены "тела". Такие суждения называются аналитическими, они только объясняют термины. Но "все тела имеют вес" суждение другого типа. Понятие тела само по себе не включает наличие веса. Это суждение - синтетическое, его можно отрицать, не противореча себе.
Наряду с таким способом различения суждений Кант вводит новый критерий классификации. Знание, в принципе независимое от опыта, он называет "априори". Все остальное, что извлекают из опыта, он называет "апостериори". Важно, что его классификации пересекаются друг с другом. Именно так Кант избегает затруднений эмпириков, вроде как Юм, который рассматривал бы эти две классификации как идентичные. Аналитическая была бы одинакового протяжения во времени и пространстве с априори, а синтетическая - с апостериори. Кант допускает первое, но настаивает, что могут быть априорные синтетические суждения. Целью "Критики чистого разума" является установить, насколько возможны априорные синтетические суждения. Говоря более точно, у Канта здесь поставлена под сомнение возможность чистой математики, потому что, на его взгляд, математические суждения априорно-синтетические. Пример, который он обсуждает, - арифметический: сложение пяти и семи; без сомнения, этот пример почерпнут у Платона из "Теэтета", где использованы те же цифры. Утверждение, что 5 + 7 = 12, априорное, поскольку оно получено не из опыта, и в то же время оно синтетическое, потому что понятие "двенадцать" не содержится уже в понятиях "пять", "семь" и "сложение". На таком основании Кант считает математику априорно-синтетической.
Другим важным примером является принцип причинности. Юмовское обоснование споткнулось о преграду необходимой связи, которая, по его теории впечатлений и идей, невозможна. По Канту, причинность - априорный синтетический принцип. Название "априори" просто подчеркивает, что понятие причинности у Юма не может быть получено из опыта, но вместо описания этого понятия как обусловленного внешней привычкой Кант рассматривает его как принцип познания. Это принцип синтетический, потому что мы можем отрицать его, не впадая в противоречие с самими собою. Тем не менее именно вне априорного синтетического принципа знание невозможно, что мы и увидим немного позднее.