先天知识：没有源头，无需经验，不可追溯。
“先天”（a priori）指的是逻辑上在先的。
本质是一种生物进化的属性，西方人把它们叫做上帝预设的禀赋。所谓的先天知识是指人类拥有的与生俱来的一种固有的认知形式，它包含时间、空间和形式逻辑，时间和空间的知识是先天的，没有这两个知识，无法思考和描述一件事，也就无法生存。所有可以生存的动物，都会遗传时间和空间这种先天的知识，形式逻辑也是先天的。
a等于b，b等于c，那么a就等于c，这是一种必然的推导。它不需要任何经验，形式逻辑是普遍的必然的，放之四海而皆准的，它是被先天植入到我们大脑中的一种操作系统，它可以处理人类基本的思维和判断，所以先天知识独立于经验而存在，它来源于纯粹理性本身，没有先天知识，我们就无法理解和思考这个世界，就算是一个没有受过任何现代教育的人，也会在大脑中形成先天知识。
形式逻辑是一般性的规律，他们不关注内容，不管对象的真假，也不管对象是否存在，而只管他的形式是否正确。
先验和先天的区别就是，先验要用先天知识处理自然界的信息，让真实的世界符合我们的先天知识。先验知识不仅要符合先天认识形式的普遍必然性，还要和经验相结合，这样才可以带来普遍必然性的知识。先验的知识一定是先天的知识，但是先天的知识不一定是先验的知识。康德对先验知识的定义是基于先天的认知形式，使经验成为可能的知识，这就是先验。
5+7=12，这个先天综合判断，他不是理性逻辑推导的结果，而是当我们经验到了5 7 12 等直观概念之后，才把它们综合在一起产生的。数学这种先验知识，不管是在地球上，还是在遥远的火星上，不管是现在还是在宇宙的尽头，5块石头和7块石头放到一起，永远都是12块石头。所以先验知识的概念是康德重要的理论创建，如果没有先验的知识，我们就不可能理解这个世界。所有的经验知识都需要被纳入到人的先验知识中才具备有效性，这就是康德所谓的哥白尼式革命，不是我们如何去认识自然，而是自然如何满足我们的。
