先天的：指不用诉诸于经验的知识，它具有“普通确定性”。如“两点之间线段最短”，，还有如“一切变化的事物都有原因”，它们都不是靠“偶然性的”经验才得到的。当然这种先天的知识有两种：分析的和综合的。前面的两个例子都属于综合的，亦即先天综合的知识。这个不难理解。

先验的知识，康德说“只有我们借以认识到某些表象（直观或概念）只是先天地被运用及如何被运用，或者说，它们只是先天可能的及如何是先天可能的这些知识，才必须称为先验的”（就是说，这些知识是有关知识的先天可能性或知识的先天使用 的才叫先验的---邓晓芒）。按照邓的理解，是指先天知识先天运用的能力的一种知识。比如说，“两点间直线最短”，这是作为直观纯形式的空间中的一种可能的知识，是先天知识，但它不属于先验的，因为它不涉及先天综合判断如何可能的知识。先验的更要分析认识的能力和过程。

超验的：注意区别与先验的。在先验分析论中，说到范畴的使用只能用在经验中，如“一切变化 的事物都有原因”只能在经验中找到，如果用在超出经验的本体上，就属于先验的使用了，这是明显不行的（即是本体和现象的混淆），先验分析论中清清楚楚已经说明了这点。
但是，如果，理性在试图综合一切经验并超越时（并非在本体和现象上的混淆使用），通过条件序列的上升至无条件者。这时，如果，单凭范畴对作为无条件者的理念如“自由”、“上帝”（理性的对象）等进行把握时就叫超验的使用。。按照我的初步理解，这类理念（条件序列上升所致的无条件者）是必然的东西，是人类理性的产物，消磨不掉的。可是，关于这些理性的产物，我们无法取得认识，仅仅是种理念。如果对这些理性对象进行超验的使用会导致二律背反。

我第一次读纯批，以上的理解（尤其关于超验的）不知正确与否，只代表个人想法。欢迎讨论。