Kripke: Identity and Necessity "Water is H₂O" is another unfortunate example where Kripke takes a "holiday" with language. Consider the following quote from N&N, "Let's consider how this applies to the type of identity statements expressing scientific discoveries that talked about before - say, that water is H₂O. It certainly represents a discovery that water is H₂O. We identified water originally by its characteristic feel, appearance and perhaps, (though the taste may usually be due to impurities). If there were a substance, even actually, which had completely different atomic structure from that of water, but resembled water in these respects, would we say that some water wasn't H₂O? I think not."
In fact, the scientific discovery is not "water is H₂O", but that the substance (whether liquid, solid or gas) we often call "water" we often detect H₂O molecules. Additionally, that substance we call water is not just H₂O molecules, but made up of multitude of compounds, mineral, ion, etc. Not only it is made up of a multitude of different molecules, but that composition can change from thing to thing we call or refer to as "water". So, when any one refers "water", am I referring to only H₂O, or all of molecules that make up any given thing called "water"? Due to multiple uses of "water", and multiple things we use "water" to refer to or could refer to, it is an error to say "water is H₂O" is discover scientically. Lastly, could we say that "some water wasn't H₂O". Yes, in fact we can and do say this, D₂O is called "heavy water" is the scientific community.
So, what is Kripke's error in this example? I believe he ignores the common uses of the word of "water" along with what actually science discovers about "water". What use he has in mind for "water" is how we use the word(symbol) "H₂O"; thus, what he is expressing is "H₂O is H₂O" which is not an a posteriori necessity.
Does this throw some doubt on Kripke's philosophical theory, or just show what he is saying is just trivial, or both?