说到这里，我们需要澄清几个重要的康德术语。
首先，是“先验”与“超验”的区分。所谓“超验”（transcendent），顾名思义，就是超出经验以外。你想啊，谁可以去思考超出经验以外的对象？是不是只能是上帝，不是人？康德为人的理性划界，就是要提醒人们不要试图去思考超出经验以外的对象。这也正是先验实在论者的错误根源，人的理性一旦超出经验的界限，思考只有上帝才能思考的对象，就会产生“先验的幻象”。先验观念论，也就是康德哲学，就是在提醒我们不要被这种幻象欺骗。但是，康德承认他的工作无法真正消除先验幻象，因为人类理性始终存在着越界的冲动，所以消除先验幻象是一个不可能完成的任务。打个比方，康德就像是维持交通规则的协管员，他会吹响哨声提醒那些闯红灯的人，但是并不能真正杜绝闯红灯的现象。
其次，我们要探讨的是“先验”（transcendental）与“先天”（a priori）这对概念，先验的字面意思一目了然，就是“先于经验的”，在康德这里特别指的是“使经验得以可能的条件”。先天与先验的关系非常接近，先天的意思也是先于经验，所以有人也把它翻译成“验前的”甚至“先验的”。不过因为康德本人使用了不同的词，所以通常还是把a priori译成“先天”，以此跟“先验”有所区分。无论如何，我们要牢记于心的是，这两个词的基本含义是一致的，都是在表达“与经验无关”、“先于经验”的意思，事实上康德的“纯粹理性”大致也是这个意思。
上一讲我们提到康德的一个核心想法，我们的一切知识都“开始于”经验，但并非一切知识都“起源于”经验。这里的“开始于”指的是“时间上在先”，“起源于”指的是“逻辑上在先”，“先验”和“先天”这两个概念都是在逻辑上先于经验的意思。你一定好奇，在逻辑上先于经验的到底是什么东西？简单说，就是人类认知结构中所具有的“先天的认识形式”，比如感性直观中的时间和空间形式，以及知性的范畴，康德认为这些“先天的认识形式”与经验无关，人类知识不全都是“起源于”经验，理由正在于此。
需要特别强调的是，“先天知识”和“先天的认知形式”不同，唯理论者主张存在先天知识，康德不同意这个观点，因为先天知识是有具体内容的，而“先天的认识形式”只是一些纯形式，如果没有经验材料，这些先天的认识形式就是空的，所以康德才会说：“没有内容的思想是空洞的，没有概念的直观是盲目的。”
