这当然不是克里普克的想法，他并不认为自己是自作主张，要对不同于①中内在地包含着的认识者（人类认识能力）的特殊个人讲认识方式----那是新提出了一个“先天地认识”的概念，即对于“特殊个人”而言的“先天地认识”。尽管它可以与康德的对应概念（对于“人类认识能力”而言的“先天地认识”）有密切的关系，但毕竟与原来的概念不同了。若是这样，克里普克就无权批判康德错了。所以克里普克还需要认为，
在①中就已经内在地隐含着：“认识者”指特殊个人与指人类认识能力，是等价的。当然，是否如此尚难预料。
克里普克在设问“对谁而言能”时，似乎暗中假定了只可能有三种选择：“具有我们那样心灵的人”、上帝和火星人。其实不然，提出“上帝、火星人”不过是作秀式的引子，克里普克想用对“上帝”而言、对“火星人”而言的荒谬性，表明只能对“具有我们那样心灵的人”言如何认识。即便如此，对于“具有我们那样心灵的人”也并不是只有确定的一种理解，是否不同理解之下“具有我们那样心灵的人”与康德的人类认识能力都是相同的，还不明显。
3．克里普克对“先天”的定义还进行了阐释或发挥，但使用了一些模棱两可的话语，可能会节外生枝，需要事先处理。在他对“先天”的解释即②中，有一个说法是“在先天证据的基础上（on basis of purely a priori evidence）相信（believe）某事”26。什么是纯粹的先天证据呢？“证据”一般总有经验性，“先天证据”会是什么样的呢？此外，什么是“相信”？它与“认识”相隔太远了。
首先，我们不能对“相信”（believe）抠字眼，把“相信”与“知道”（know）视为不同。克里普克在用了“相信”一词后，举了利用计算机知道一个数是否素数的例子，认为这属于后天认识数学真理：
然而，这也许能被一个做了精妙运算的人先天地知道。27
在这里，“知道”显然同前面的“相信”是在等同地使用的，正是这种联系才使得克里普克能把“先天地认识”而非仅仅“先天地相信”，与“后天地认识”进行对比。如果与“先天”相连的只是“相信”而不是“知道”，而“相信”又是日常意义上的，那么由于“相信”有随意性，相信妖魔鬼怪存在也并无不可，无论是先天地相信还是后天地相信都没有什么意义了。同时，克里普克也就等于是没有论证“先天地认识”，只论证了“先天地相信”。可见，应当这样理解克里普克：他只是随意地使用了两个不同的词“相信”和“知道”（即“认识”），它们是等义的。有了这样一个理解，我们就可以抛开这些枝节问题。
其次，从克里普克关于利用计算机知道一个数是否素数的例子中我们知道：克里普克所谓先天地知道，在这个例子当中不过是指用通过数学运算、数学证明的方式知道。这就算是“在纯粹先天地基础上”认识的，否则就不是。据此，纵然我们还没有在一般意义上涉及“先天”与“后天”的关系，从而彻底搞清楚“先天的证据”指什么，这个特殊例子总可以算作一个可靠事实，使我们可以对照克里普克的论述展开一些讨论了。在考虑“独立于一切经验”的意思的时候，这个例子的价值充分显现出来了。
从康德到克里普克的转换中的问题
1．上面论证了，如果克里普克不是对特殊个人新引入一个“先天”概念，那么⑤就应该是①的推论。如果第一，这一点没问题；第二，“能先天地认识”与“只能先天地认识”有差别，那么克里普克的思想对康德就会构成进步，为知识的分类提供了更深入的依据，根据①以认识方式（“先天地认识”和“后天地认识”）可以对知识（先天的、后天的）分类：
第1类知识：只能先天地被认识的知识。这种知识是先天知识。
第2类知识：只能后天地被认识的知识。这种知识是后天知识。
第3类知识：既能先天地也能后天地被认识的知识。这种知识是先天知识，但它如何被认识，可以因人而异，甚至对同一个人也可以依每次认识时的具体情况而异。在克里普克看来，康德没有认识到这种可能性。