Abstract

Kripke holds the thesis that identity statements containing natural kind terms are if true, necessarily true; these statements can be denominated theoretical identities. Kripke alleges that the necessity of theoretical identities grounds on the linguistic feature that natural kind terms are rigid designators. Nevertheless, I argue that the conception of natural kind terms as rigid designators, in one of their most natural views, hinders the establishment of the truth of theoretical identities and thus of their necessity. However, in Kripke’s works another proposal, not linguistic but metaphysical, is found to justify the presumed necessity of theoretical identities; it grounds on essentialism concerning natural kinds. In this regard, I question some of Kripke’s main claims, focusing on one of the main examples of theoretical identities put forward by Kripke, i.e., “Water is H2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$_2$$\end{document}O”. I challenge his a priori claims concerning what should be the essence of a natural kind like water. Furthermore, I adduce that the character of that theoretical identity is not that claimed by Kripke, since in the term flanking the right side of the identity sign it has to be resorted to the notion of similarity or it should have the form of a disjunction of a cluster of substances.