这个预先有了的原则怎么才能证明自己真的确定了一切经验？特别需要指明的是，它不能用下面的方式证明：用反溯康德所认定的“一切经验”所得来的的经验的先天条件，反过来再去确定“一切经验”，如用感性直观、先天范畴等对一切经验进行解释，因为这些先天的东西本身就是“一切经验”中反溯而来的，在逻辑上是被“一切经验”所内在包含了的，属于次级的东西66。就此看来，虽然康德的先天范畴被说成是必然性的来源，但我们还是得说，它们对于“先天”这个概念并不是最本源的东西----事先决定“一切经验”的先在原则才是最根本的，先天范畴必须与之一致而不能相反。相应地，康德对范畴的主观演绎和客观演绎中应该是主观演绎更重要，因为这个先在的原则就出现于这里，康德将之把握为什么也在此得以展现67。
康德所确定的先天综合知识如数学知识之所以成问题，其根源就在于既需要一个确定“一切经验”的原则，任何这样的原则又不可能是可靠的：非欧几何与欧氏几何在公设上有相反的地方，它们却都是空间的可能形式，因而不可能是康德意义上的“先天综合知识”。这说明，当哲学家提出了确定“一切经验”的原则、提出存在先天综合知识或综合的、然而是必然的知识时，他们提出的只能是一种先入之见。在缺乏这样一个先入之见的情况下，我们只能证明，对于每一个经验来说，都存在先在于它的、使之可能的条件----仅仅如此是推论不出“存在先于一切经验的即先天的条件”的，如同从“每个人都位于另一个人的右边”推论不出“存在一个在最右边的人”一样----站成圆圈的人即是如此。
因此，康德的研究本应被认作是一种假言判断：如果存在先天综合知识，则其先天性应该是怎么样的----因为他没有真正决定出“一切经验”，也不可能决定出来。康德认定对于经验存在普遍的先天形式，其实是传统的本质主义的标准做法，是用本质主义的方式考虑一切经验，确定经验的本质。这是个先验的要求。有了此要求，经验才又被认为必定是由瞬时（时间单位）经验而来，瞬时经验又从自在之物而来等；综合的条件也从判断或命题的一般形式被一步步被追溯出，康德的哲学大厦得以建成。
3．不过，要研究“先天综合知识”或“后天必然真理”，必须从原则上确定出“一切经验”；而确定“一切经验”，不采取本质主义的做法、不设定“一切可能经验”的本质，是不可能的。所以，“先天”、“必然”要求自己是本质主义系统中的概念。
如果存在综合的必然知识，由于对它的认识发生于经验中、然而仅有经验又办不到，可以推出必定存在某种先天的东西。康德认为存在先天综合的也是必然的知识，他一般地分析了判断（命题），根据亚里士多德对判断形式的研究成果而确定出先天的范畴，认为这样所得的范畴是完备的；对于纯粹的知性范畴如何运用于感性，康德设想了范型说；对于一切综合的最终统一性，康德确定出“本源的自我”；最后还进行了主观演绎与客观演绎。其思想是有紧密逻辑关联的整体，里面虽已被揭露是有矛盾的，但更有深刻性和合理性，当然二者总是紧密交织在一起的。这些特点，一如我们在研究“先天”、“必然”时所已经揭示出来的，使我们不能简单地剥离出康德思想的合理性而直接加以利用；也不能简单地说，康德的某一个或某些结论是错的，必须抛弃等等，必须从整体上去看待这一切。要解决矛盾，就需要整体的变革，需要哲学基础的变革。
在日常的意义上谈论“认识”、“必然”、“先天”等，由于没法考虑“一切经验”，没有处在本质主义的系统中、但是却同样需要确定“一切经验”，因而总要利用先入之见去确定它们。克里普克把科学理论视为理所当然的决定一切“可能世界”的原则，缺乏对“先天”和“必然”等概念深层次的思考，是用非本质主义性质的常识理解本质主义系统中概念，这是一种歪曲。他证明自己观点的事例，如通过计算机认识一个数学真理（先天真理）的例子本来是无辜的，在日常意义上并不错，但是由于我们认为数学真理是先天真理、必然真理，故而必须考虑“先天”、“必然”与“经验”（认识的发生是经验过程）的逻辑关系；而只有存在独立于一切经验即先天的条件才可能出现先天综合真理----也是必然真理。克里普克的事例必须、然而又没有在这个层次上考虑，可以说，日常意义上的“认识”概念不是本质主义系统中的“认识”概念，不具备与“先天”、“必然”并列的资格。