这不是主张本质主义，因为采取主持主义同样会出现矛盾----正如欧氏几何与非欧几何所揭示的，不存在绝对先天的东西----这否定了在形而上学意义上有任何“后天必然真理”或“先天综合知识”，而只是要求对于唯有在本质主义系统之内才有意义的概念，就不能作逾越其有效范围的应用。
不管怎样，对于任何一个经验，只有存在先在于它的条件才有可能，与是否存在对于一切经验都有效的先天条件没有关系，是必须要肯定的。这种关系显然是重要的，值得用专门的概念去描述。如果仍想运用“先天”等传统概念做这件事，就必须赋予旧概念以新的意义，这必然导致整个概念系统的变动。非本质主义的“先天”应该怎么理解，在分析哲学中大概只有后期维特根斯坦哲学比较深入的涉猎了。但对于维特根斯坦哲学难有一致的理解，更不用说要让维特根斯坦的哲学与传统哲学对话了68。
克里普克继承了康德的“先天”、“必然”等概念，然而没有在这些概念所要求的本质主义的概念系统中使用它们，在常识与本质主义这两个不能并存的系统中各取所需，拼成了一盘杂烩。他利用了分析哲学中的概念，如“固定指示词”、“可能世界”、“指称”、“因果链”等等进行论证，其思想还得到了其他分析哲学家其他角度的研究的支持，于是被常识和哲学传统双重地包围着的我们难以意识到他的错误的性质。但是，由于我们的结论只是从“先天”、“必然”等概念的基本含义得到的，是必然的，是分析哲学中的这些新概念新思想必须就着它们重新予以思考，而决不可能反过来。
注释：
1 参见《纯粹理性批判》，商务印书馆1997年，第30页。
2 施太格缪勒：《当代哲学主流》下，商务印书馆，1992年，第278－280页。
3 该条目的作者指出，通常被认为是先天真理的数学命题，对其真的证明或确证是不依赖于观察和实验证据的，但是运用计算机运算的情况例外。这实际上断言，对被认为是先天真理的数学真理，人们通常是先天地认识的，但也有例外。这个例外，即后天地认识的可能性，是克里普克提出来的。（CONCISE ENCYCLOPECIA OF PHILOSOPHY OF LANGUAGE，Elsevier Science Ltd，第11页。）后面将会专门分析这个例子。
4 关于“先天”与“必然”的关系，克里普克公允地考虑了对手的观点：如果一个命题是先天的，那么依照定义，也就是无需任何经验就可以从原则上被认识的，所以它不可能被经验反驳，是在“一切可能世界”中都真实的。它还怎么会是“偶然”的呢？
对这个振振有词的辩护，克里普克没有直接驳斥，而只举出了反例──即“巴黎米尺”的例子。但是，克里普克的例子与这个辩护构不成明显的矛盾，我们不能从例子中找出与思辨的直接对应关系，对照例子发现思辨在哪里犯了错误。克里普克也没有告诉我们，逻辑思辨究竟哪里出错了。他仅仅满足于以例子“揭示”康德的“错误”并警告我们：比举出单个例子更为重要的是，这些概念的正确用法是什么样的等等。毋宁说这更加重而不是平息了疑惑：为什么“理论上”无误的思辨却会有反例存在呢？（见Naming and Necessity, p.38）
5 Kripke, Naming and Necessity, Oxford: Basil Blackwell, pp34-5.
6 Naming and Necessity, pp34-5.
7 Naming and Necessity, p35.
8 Naming and Necessity, pp34-35.
9 Naming and Necessity, p36.
10 Naming and Necessity, p35.
11 Naming and Necessity, p38.
12 Naming and Necessity, pp54-56.
13 弗雷格：〈论涵义和指称〉，《语言哲学名著选辑》，三联书店，第1－2页。
14 Naming and Necessity, p100.
15 Naming and Necessity, pp102-105.
16 Naming and Necessity, pp115-.
17 Naming and Necessity, p160.
18 Naming and Necessity, p159.
19 Naming and Necessity, p.
20 Naming and Necessity, p34.
21 Naming and Necessity, p63.当然，克里普克是在揭露了先天与必然的矛盾之后，指出要想在二者之间取得一致，消除矛盾，就必须重新表述（reformulate）先天的就是必然的这一论题，而重新表述不能以这样一种平凡的形式进行：不说“先天真理已知其真是独立于任何经验的”换成“先天真理已知为必然的”。这当然从反面揭示了最初的“先天真理”是什么意思。