人为自然立法（康德）

即，把先天知识理解为，绝对不依赖一切经验而发生的知识。与此相反是经验性的知识。先天知识这种不掺杂任何经验的性质叫纯粹的知识。

康德之所以对理性进行批判，是因为人们通过对经验对象的分析就能得到大量的知识，如果不对理性加以分析，那么凡是经验的都是偶然的，当不起知识的普遍性和必然性。反之，理性所确认的知识，如果不对理性的能力进行批判，划定理性的范围，那么，其中就会掺杂诸多幻象。

对理性进行的批判，是为了巩固人类知识大厦的根基。所以，康德在《纯粹理性批判》中说：

"一旦离开了经验的基地，人们就不要拿不知来源的知识和原理来建造大厦，不考虑大厦的基础。人们不如早就提出这样的问题：知性究竟如何能达到这些先天知识，先天知识有怎样的范围、有效性和价值。"

要确定人类拥有某些先天知识，就要确定一种区别纯粹知识和经验知识的标志。

康德认为，经验永远不能赋予经验判断以真正的普遍性，只能赋予经验判断以相对的普遍性。

对于一个命题而言，如果一个命题与它的必然性一同被思维，那它就是一个先天判断；如果它自身作为一个必然命题，是有效命题，而且也不是任何命题派生的。那么，它就是绝对先天的。

因此，如果一个判断，在严格的普遍性上被思维，不许有任何例外的可能，那么它就不是由经验派生的，而是先天地绝对有效的。相反，经验性知识的普遍性，只是把任意的场合中的有效性，提升到所有场合适用而已。

当一个判断具有严格的普遍性时，就说明该判断是一个特殊的知识，即先天的知识。因此，必然性和严格的普遍性，是先天知识的可靠标志。

数学知识是先天综合判断

康德认为一切知识都是以判断的形式出现的（如S是P）。而判断又分为：分析判断和综合判断的区别。而经验判断，全部都是综合的。

按照康德所言，在所有思维主词和谓词关系的判断中（只考虑肯定判断），这种关系有两种方式。

一种是，谓词B属于主词A，B作为包含在概念A中的某种东西。这种判断我们称之为分析判断。另一种是，B虽然与概念A有关系，但却完全在A之外。这种判断我们称之为综合判断。

因此，分析判断，是借助同一性来思维谓词与主词的关系。而不借助同一性来思维主词和谓词关系的判断，则应叫综合判断。

在分析判断中，谓词没有给主词的概念增加任何东西，知识把主词分解成概念中已经被思维过的细分概念。与此相反，综合判断则给主词的概念里，增加了一个主词概念中未思考的新的谓词。

康德认为，数学的判断都是综合的。

因为，数学的推论都是按照矛盾律进行的，原理也是从矛盾律出发认识到的。数学的认识方式，是一个命题以另一个综合命题为前提条件，从作为前提的综合命题推出它。

首先，真正的数学命题都是先天判断，而不是经验的。因为数学自身就有经验无法给予的必然性。如果把命题限制在纯粹数学上，它的概念自己就已经具有不含经验的的纯粹先天知识的含义。

例如，7+5=12这个命题，按照矛盾律，从7和5之和的概念中推论出来的分析命题。但仔细分析就会发现，7与5之和的概念除了两个数字结合成一个数字之外，不包含任何东西。这种结合也不能设想这个结合后的数字是什么。

不论用多长时间分析总和的概念，毕竟不能从中发现12。人们必须超出这些概念，求助于直观，如把5个人，逐一地在直观中加到7个人的概念之上。我首先为了澄清5这个数字，而把它逐一加到7的数字上，并就这样看到12这个数字产生。

7+5的和的概念，虽然一开始就想到了，但并不是说这个和就等于12这个数字。

因此，算术命题在任何时候都是综合的。仅凭分析我们绝不会发现这个和。

同样，纯粹几何学的原理也同样不是分析的。如两点之间，直线最短。这是一个综合命题。直线的概念不包含任何关于长短的东西，而只是包含一种性质。因此，短的概念完全是附加的，是不能通过分析从直线的概念中得出的。所以，在这里必须求助于直观，只有凭借直观综合才是可能的。

人的理性为自然立法

此外，康德认为自然科学的原则中也包含先天综合判断。为此，康德援引两个命题作为例证：

一个命题是：在形体世界变化中，物质的量保持不变；另一个命题是：在运动的传递中，作用和反作用任何时候都必然彼此相等。

在物质的概念中，设想的不是持久不变，而是它通过对空间的填充而在空间里在场。因此，从先天地为物质概念，再想出物质概念里没有被思维过的东西，确实超出了物质概念。所以上述命题不是分析的，而是综合的。并且是被先天地思维的。

康德认为，某些知识离开一切经验，且无法为其提供经验中相应对象的概念。在这种超出感官世界的知识中，经验无法起到任何作用，在这里蕴含着对理性的研究。

在人类知识中这种必然的、在严格意义上普遍的纯粹的先天判断。最明显的实例就是数学和自然科学（数学和自然科学是普遍和必然知识的成功范例）。纯粹数学、纯粹自然科学之所以可能，它们之所以具有普遍必然性，就在于主体具有先天的认识形式。

由于人的这些先天认识形式是普遍必然的，这就保证了包括数学和自然科学在内的知识的普遍必然性，使科学知识得以可能。康德认为，这也就是认识上的人为自然立法。

所以，康德说："理性一手拿着原理（唯有按照这些原理，互相一致的出现才可被认为等值于规律），另一手拿着它依据这些原理而设计的实验，它为了向自然请教，而必须接近自然。可是，理性在这样作时，不是以学生的身份，只静听老师所愿说的东西，而是以受任法官的身份，迫使证人答复他自己所构成的问题。"