判断表
- 量的判断：全称的特称的单称的
- 质的判断：肯定的否定的无限的
- 关系的判断：直言的 假言的 选言的
- 样式的判断：或然的实然的必然的
范畴表
- 量的范畴：单一性复多性总体性
- 质的范畴：实在性3. 关系的范畴：依附性与实体性（实体与偶性）否定性 原因性与结果性（原因与结果)限制性 交互性（主动与被动的相互作用）
- 样式的范畴：可能性与不可能性存在性与非存在性必然性与偶然性
康德借用法律上的一个概念，将关于范畴的证明称为“演绎”。
人们在法律上常常要区分事实问题和权利问题：我事实上占有某物并不意味着我有合法的权利占有某物，关于权利问题的证明就被称为“演绎”（deduc-tion)。同样，我们每时每刻都在使用范畴，但是这并不意味着我们对范畴的使用都是合法的。所以，范畴需要“演绎”。在康德看来，证明范畴的先天性亦即所谓范畴的“形而上学演绎”并不困难，因为它们作为概念本来就是主体固有的认识形式，而且形式逻辑的判断表也可以看做是一种证明。真正的困难在于说明属于主观范围的范畴对于经验如何具有客观有效性，亦即主观的范畴如何是经验的先天条件，这就是“先验演绎”。于是，康德就把研究的重心放在了“先验演绎”上，致力于证明范畴用于经验的客观有效性。
398