Whilst Kripke frames are formally useful, the same cannot be said of Kripke's metaphysics. — sime
Yep, pure logic always searches for purity. Unfortunately, reality and humans are messy.
The question is, are your examples counterexamples to Kripke's metaphysical concept of rigid designation? — sime
1. "Water is H2O" I have shown is problematic because it distorts what science actually discovers, how science actually uses the terms, and finally, how we use these term in ordinary language.
2. What about substances such as gold or diamonds that has microstructure exhibited by a single element. This connection between the word "gold" and atomic number 79 is not pre-existing metaphysical bond, but a stabilization of linguistic practice informed by scientiifc investigation.
3. In Norman Malcom's paper "Kripke on Heat and Sensation of Heat", Malcolm dismantles Kripke's idea the heat is identical with the rapid motion of molecules. In particular, he first focuses on Kripke's idea that it is a contingent property of heat to produce a particular sensation in human being; Kirpke's queer idea of how human's "originally" identified certain sensation we call "heat", and, contrary to Kripke, the idea that science discovers correlations not identities.
4. In another of Malcolm's paper, "Kripke and The Standard Meter", he explores Kripke's idea of the standard meter being a contingent a priori truth and finds it wanting. In summary he says, "To think that this sentence should be characterized as either a contingent statement or as a necessary statement seems to me to be looking at it in a wrong way. The sentence, "One meter is the length of S", is correctly characterized as being, in relation to the institution of metric measurement, the definition of 'one meter' and also as a rule for the use of the term 'one meter'. One can also rightly say that this sentence was used to make a fiat or decree. Kripke says that the term 'one meter' was meant to designate 'a certain length in all possible worlds'(p.275) It seems extravagant to say that the decree was a decree for 'all possible worlds'. Probably, the person or persons who made the decree did not envisage anything whatever about 'all possible worlds'.
5. Kripke say something rather prima facie absurd in N&N, "Just as something may have all the properties by which we originally identified tigers and yet not be a tiger, so we might also find out tigers had none of the properties by which we originally identified them. He suggests that this "tiger kind" is rigidly designated by some internal structure, much like the term "water". Certainty an animal's genetic structure would be a good candidate for such an "internal structure." However, I could imagine domesticating a tiger where its behavior is no longer classified as a carnivore but a herbivore. Can't we say we change the kind based on observable properties and not internal structures. What about genetic structure themselves for more simpler living things such as microorganism. But this is tricky, microorganisms can change behavior radically different depending whether they are a "wild type vs lab grown." Depending on their environment microbes will turn genes on or off resulting in morphology differences and behaviors.
I will end with two Wittgenstein quotes showing my foundation of my thinking:
Form PI 18, "Do not troubled by the fact that language (2) and (8) consist only of orders. If you want to say that this shows them to be incomplete, ask yourself whether our language is complete, - whether it was so before the symbolism of chemistry and the notation of the infinitesimal calculus were incorporated in it; for these are, so to speak, suburbs of our language. (And how many houses or streets does it take before a town begins to be a town?) Our language can be seen as an ancient city: a maze of little streets and squares, of old and new houses, and of houses with additions from various periods; and this surrounded by a multitude of new boroughs with straight regular streets and uniform houses."
From On Certainty, 505, "It is always by favor of Nature that one knows something."