Hi Richard,
I am not sure if I am well-versed enough in Kripkean semantics to respond to your objection. That being said, here are my thoughts:
Your objection appears to be that all instances of water are some mixture. And, if all instances of water are some mixture, and if it is impossible to refer to a part of a mixture, then it is impossible to refer to a part of "water mixture," namely, the part that is H2O. Compositionally and scientifically, you claim, water
is not H2O. But if water is not H2O, then we appear to be limited to identity claims that we could know a priori (i.e. H2O is H2O) and cannot have access to a posteriori necessary truths. It is an interesting objection.
I think intensionality is relevant in matters of reference. My point here is that, when I refer to water, what I am referring to, what I
mean, is not the NaCl or the mud or whatever else is in the water, what I am referring to is the H2O stuff. In that case, maybe I can refer to a part of a mixture. I think if you take the view that reference is fixed by
the thing that is referenced, then the issue becomes an issue. In other words, if my composition of H2O and NaCl is what determines what I am referring to, then yeah, that would also determine what is
meant by water. On the other hand, if what I
mean by water is in some sense
prior to or
co-relational to the thing in the world that is being picked out, then I am not so sure that we have to use the actual-world instantiation of something when we refer.
The SEP article on rigid designation discusses another objection. The objection there is that
water is H2O is in terms of content the same semantic statement as
H2O is H2O. But if this were the case, that
water is H2O would again appear to fail to be an a posteriori claim about the world. However, I think that this objection, similarly to yours, defines reference as an extensional matter; that is, as being based on what is in the world
out there. If instead intensionality factors into reference, it seems that we can refer to the stuff that is water without meaning the stuff that is H2O
even though water is H2O.
Would be interested to hear what you think about it.