之所以说克里普克的“后天必然真理”至多是康德的“先天综合知识”，原因很多，首要和主要的是，克里普克的那些命题的意思不是很清楚，不是只有一种理解。理解不同，同一表达形式的命题的意思也不尽相同，其真伪及必然性也不同。在最好的情况下它们才勉强接近于康德意义的“先天综合知识”----即仍是先天知识；而在其他情况下，克里普克的断言甚至是混乱的或错误的。由于这些原因，我们需要分几个层次来看“水是H2O”这个命题，但不能深入地分析更多的细节63，也不能有针对性地批判分析哲学中相关的错误观点。
概念方面的问题
1．克里普克声称“理论名词的同一性”是“后天必然真理”，让我们充分注意“理论名词”以及其中包含的“理论”一词的根本重要性。在科学理论中，“水是H2O”是个什么性质的命题呢？它其实只是一个定义。既然是“理论”，尽管理论及其中包含的概念必定是从现实世界中得到的，理论不需要肯定实际世界存在什么东西，而只是对其一般规律进行描述。即使世界上没有氧气了，在科学理论中仍然有“氧气”这种物质的位置，其化学结构仍然是O2；即使世界上没有H2O这种物质了，H2O在科学理论中也依然是一种物质的结构。因此，在理论中，“水”只不过是“结构为H2O的物质”的缩写，而不可能是任何别的意思。试想，如果我们用另一个词，例如“氢氧”来代表“结构为H2O的物质”，那么显然“氢氧”就等于这里的“水”，无论世界上是否存在这种物质。在化学元素周期表里，至今还有不知其存在与否的元素，我们既可以为之命名，也可以不为之命名而径直以“原子量为某某的元素”称呼它；如果命名它为A元素，那么“A元素”也不过是“原子量为某某的元素”的缩写或名称。如果我们就A这种物质谈理论名词的同一，我们只是说，“A元素是原子量为某某的元素”，这是个定义，与后天发现某种实际存在的物质是这种物质完全没有关系。理论中可以没有“水”这个词，而只需要有“结构为H2O的物质”就足够了。在科学理论中有“水”这个词，在逻辑上是不必要的，只是缩写符号。
2．再转到克里普克所谓后天发现必然真理“水是H2O”上面。当克里普克说“水是H2O”这个后天必然真理是后天发现的时候，其意不过是指我们靠科学仪器检验出那种被称为“水”的实际物质的结构是H2O，这是“后天”之意。在这里，“水”显然不是“理论名词”而只是某种或某类液体的名称（它们靠外观而被判定为“水”，不是、特别在古代也不可能靠H2O结构），而名称在这里完全是随意的。比如，如果我们碰巧把现在称为“水”的液体称为“氢氧”或任何一个别的名称（就像在不同文字、不同方言中“水”可能被叫做“辉”等等），那么我们所作的结论就不是“水是H2O”，而是“氢氧是H2O”、“辉是H2O”等了。这里的问题显然是：物质的“水”跟理论名词（“H2O这种物质”）有关，但这不是理论名词的同一性问题。如果理论名词只有一个即只有“H2O”，理论名词“之间”的同一性又哪里谈得上呢？可见，在“水是H2O”（或“辉是H2O”等）乃是后天发现的这一克里普克所需要的意义上，首先是没有什么理论名词的同一性可言，没有存在同一关系的两个理论名词；即使有理论名词的同一性，理论中有“水”这个词，它不过是“结构为H2O的物质”的缩写，这与经验发现某种被称为“水”的物质具有H2O根本不是一回事。
这两个层次的问题可以说完全处在分析哲学的内部，可以局限于分析哲学的范围内作更多的讨论。这涉及的工作将会很多，因为必须详细解释分析哲学中已有的支持克里普克结论的观点在什么地方错了。不过，即使不存在这两个问题，克里普克的结论仍然是不正确的，这需要利用前面对于“经验”与“先天真理”或“必然真理”关系的讨论。
认识方面的问题
3．退一步讲，就算前两个层次不存在问题，后天地发现“水（指一种靠外观断定其为水的液体的名称，当然是任意的）是H2O”这个后天必然真理是有可能的，后天发现也低于理论名词的层次。因为，要想使发现可能，我们必先需要科学理论以“H2O”或“CO2”等等为所有可能的物质分类，不拘理论中对物质的定义是否在现实中实现，这些物质定义在理论中都虚席以待，等待现实中的物质对号入座（而不是它们凭空与现实中的物质发生联系，这是不可能的）。不如此，则何谈后天发现某种现实物质的结构是什么样的呢？