为证明这些论断，我们需要：一、提出康德和克里普克对“先天”和“必然”的定义或理解；二、根据他们的论述和总体思想，分析、确定各自理解的确切含义；三、比较两人概念的异同，并据此剖析克里普克对康德的“发展”的实质。在这一过程当中，我们对克里普克的论述采取最宽容的态度，在他的论述不清晰、不确定，或里面的矛盾和漏洞不属于原则性的时候，我们就对这些论述采取最有一致性的理解。把问题的关键确定下来后，我们着手做这件事：一般地判断康德和克里普克各自观点的正确性，本文不提出任何理论、也不利用康德理论，而仅仅严格地坚守概念意义的前提下，把“经验”与“先天”、“必然”的关系从原则上确定出来，证明即使在对克里普克最为宽容的态度下，“先天偶然命题”和“后天必然命题”也必定是不可能的，“先天”与“必然”完全是一致的。因而在二者的关系上，对康德思想的发展只可能在于其他方面，本文最后将会对此进行探讨。克里普克与康德的不同没有构成对康德的进步，而是由于方法论的系统性错误：把只能处于本质主义系统中才有意义的概念，在非本质主义的系统中去理解。这破坏了那些概念所依赖的架构，破坏了概念本身的意义。因而错误虽是必然的，然而却有整体性和深刻性，在常识的层面显不出来，难以被发现。
克里普克：对“先天”概念的“正确”理解和例证
克里普克的结论出现很久而未遇真正的反驳这件事表明，做这些事情很不容易。我们看看克里普克是怎样发展康德思想的。
克里普克指出，“先天”是一个认识论概念，而不是像康德认为的那样是本体论概念。克里普克认为，自从康德以来，人们总是这样理解“先天”：
①一个先天的真理(a priori truth)就是可以独立于任何经验而被认识的真理，也就是说，先天地认识这个真理是可能的。5
紧接着，克里普克对①提出了一个看上去自然而然的问题：所谓的“可能”究竟是对谁而言的呢？对上帝、火星人、还是具有我们那样心灵的人？都没有说及6。克里普克想以此指出，人们对先天的看法至少存在不明确之处，没有指明到底对谁而言先天真理是能被先天地认识的（这是显然合理的要求）。为了补上这个“谁”，克里普克建议我们“最好”（It might be best）7这样理解“先天”：我们不说什么“先天真理”而只是问这样一个问题：
②一个特殊的人（a particular person）是否可以先天地知道（know a priori）或者在先天证据的基础上（on basis of a priori evidence）相信某事（something）？
如果回答是肯定的，那么他就是先天地认识了这个真理8。这就是克里普克对“先天”的理解，跟①相比在语言形式上有两处明显的改变：“先天真理”（a priori truth）不见了，出现了“先天地知道”（know a priori）。
“必然性”在克里普克看来则是个本体论概念，是指在任何可能世界中都为真的事情：
③某事是真的，如果它不可能不是真的、在这一方面世界不可能是别的样子的，它就是一个必然真理；否则就是偶然真理。如此，它就与某一个人是否有任何事的任何知识脱离开关系了。9
不管这个说明是否足够清晰，对于克里普克来说，在这样的区分之后，“必然性”就成了一个本体论概念，因为它只关涉到世界是否会是另外一个样子，而无关乎某个真理是怎样被认识的。10克里普克认为，一个真理往往既可以先天地被认识，也可以后天地被认识，所以在原则上，“必然性”是一个既可以与“先天”、也可以与“后天”搭配的概念。换言之，“后天必然真理”与“先天偶然真理”都是可能的11，康德的“先天的就是必然的”是错误的。
光有这些简单的分析显然是驳不倒康德的，重头戏是克里普克给出的“后天必然真理”与“先天偶然真理”的例子：前者有“巴黎米尺是一米长”，后者有“理论同一命题”和“专名的同一”两种。是这些例子而不是克里普克的简单说明，才更有震撼力和说服力。