这里有两点,一个是Kripke的identity是怎么判断的(就像你说的,我在说H2O的时候说的到底是所有水还是某个湖还是实验室试管里的水),这里就是他的causal theory of reference,就是这个refer的关系是通过causal chain决定的。一开始指着试管里说“这是水”的人就算是给它做了一个baptism,然后随着更多人使用,试管里的水就变成了水。同理,如果有人指着湖里的水这么说,湖水就会被baptize成水。
(注1:至于说错了怎么办,比如两个其实不一样的东西都被说成水怎么办,这我就不知道了。)
(注2:我的理解是“水”和“H2O”不是一种东西,前者是名字,也就是可以用causal theory of reference来fix reference的东西,后者不是。但这部分具体我也不太清楚。)
第二个问题就是rigid designation到底是个什么东西,这里我的理解是Kripke的rigid designation是一个primitive concept(就好像David Lewis的nearness of possible world是primitive concept),逻辑上讲是一种identity relation(就是transitive, reflexive, symmetric),无法被分析。