Kant diu que tots els judicis són analítics o sintètics i que tots són també a priori o a posteriori, però no admet l'equivalència, pressuposada per Leibniz i Hume, entre analític i a priori i entre sintètic i a posteriori: per ell, tots els judicis analítics són a priori però no viceversa, i tots els judicis a posteriori són sintètics, però no viceversa. Substitueix així la divisió dicotòmica tradicional per una divisió tricotòmica (analítics a priori, sintètics a posteriori i sintètics a priori), [...]