«Дедукция» показывает, что категории, которые, как он утверждает, можно принять как данность благодаря метафизической дедукции, необходимо подразумеваются в любом возможном опыте (который тоже подразумевается как данный). Кант намеревается показать, что использование категорий справедливо постольку, поскольку относится к этому опыту.
В этом состоит одно из важнейших различий между категориями, или понятиями рассудка, и идеями, или понятиями разума, составляющими третью «форму» Канта, или формы разума. Последние обсуждаются во второй части «Трансцендентальной логики», а именно в «Трансцендентальной диалектике». Идеи не могут служить основой «ни одного синтетического суждения, которое имело бы объективную значимость», а «посредством рассудочных понятий он [разум] создает, правда, надежные основоположения, однако не прямо из понятий, а всего лишь косвенно, через отношение этих понятий к чему-то совершенно случайному, а именно к возможному опыту» (А737=В765). Тем самым Кант может утверждать, что любой принцип рассудка «делает возможным само основание своего доказательства, а именно опыт» (А737=В765), и здесь имеется в виду не только то, что опыт невозможен без этих категорий, но и то, что мы не можем установить объективную значимость категорий, не соотнося их с возможным опытом, который, как таковой, является «чем-то совершенно случайным».
Прежде чем перейти к идеям, Кант обсуждает универсальные принципы знания, в основе которых лежат категории («Аналитика основоположений»). Так называемый «Схематизм чистых рассудочных понятий», с которого начинается эта часть «Критики», несомненно является второй по сложности главой работы (после «Трансцендентальной дедукции»). В главе о схематизме Кант утверждает, что простого логического обсуждения категорий недостаточно. Такое обсуждение абстрагируется от того факта, что мы всегда используем категории в процессе мышления и, следовательно, во времени. Поэтому мы должны объяснить, как эти чистые понятия входят в наше мышление, «как возможно, чтобы