Определения: истина — доказанное знание; знание — ощущения, мысли, сверхмысли и т. д.; заблуждение — ложное знание. Доказательство, опровержение, мышление определены логикой — системой разума. Категории теоретического разума управляют этой системой логики.
Разум вообще есть способность мышления, синоним мышления, хотя Кант придавал разуму более частное значение — способность мышления не просто рассуждать, а умозаключать на основе суждений.
Категории разума — это важнейшие умственные операции, которые производит разум. Таких правильных категорий 16, а именно