Natural kind terms have exercised philosophical fancy ever since Kripke, in Naming and Necessity, claimed them to be rigid designators. He there drew attention to the peculiar, name-like behavior of a family of prima facie loosely related general terms of ordinary English: terms such as ‘water’, ‘tiger’, ‘heat’, and ‘red’. Just as for ordinary proper names, Kripke argued that such terms cannot be synonymous with any of the definite descriptions ordinary speakers associate with them. Rather, the name-like behavior of these (...) so-called natural kind terms is to be explained, just as in in the case of proper names, by the doctrine of rigid designation. And as a consequence of thus extending the notion of rigid designation to general terms, he famously endorsed the claim that so-called ‘theoretical identifications’, i.e. statements like (1) Water is H2O, are necessary, if true. (shrink)

According to a Millian theory of names, co-referring names are intersubstitutable salva veritate in all contexts, including the that-clauses of belief reports. This leads the Millian to famously argue, among other things, that if Lois Lane believes that Superman can fly then she also believes that Clark Kent can fly. Although the Millian provides an ingenious account that explains our strong anti-substitution intuitions in such cases, this paper argues that the Millian account leads to a new problem of enlightenment in (...) identity reports. Specifically, a believer A may come to discover that two names refer to the same individual S, but whether A is enlightened about the identity of S will depend on the number of guises through which A holds contradictory beliefs about S. (shrink)

Russellianism is characterized as the view that ‘that’-clauses refer to Russellian propositions, familiar set-theoretic pairings of objects and properties. Two belief-reporting sentences, S and S*, possessing the same Russellian content, but differing in their intuitive truthvalue, are provided. It is argued that no Russellian explanation of the difference in apparent truthvalue is available, with the upshot that the Russellian fails to explain how a speaker who asserts S but rejects S* can be innocent of inconsistency, either in what she says (...) or, at least, in what she implicates. Yet, while there is no semantic or pragmatic explanation of the substitution failure consistent with Russellianism, there remains the possibility of a purely psychological explanation that is, nonetheless, Russellian. This is an attractive option. It comes at a cost, however, since, in abandoning the project of providing a semantic or pragmatic explanation of anti-substitutivity intuitions, the Russellian is no longer in the business of explaining how a rational, well-informed speaker, with no incentive to mislead, can avoid inconsistency in reporting the facts as they appear. (shrink)

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. (shrink)

In the addenda to his Naming and Necessity, Kripke provides an account of how necessary aposteriori statements are possible. In such a case, there is an apriori general principle telling us that it is necessary if true at all. Though straightforward in its broad compass, this account faces two obvious questions in its application: in each case of necessary aposteriori statements, what is the underlying principle and how is it established apriori? I treat these questions with respect to theoretical identity (...) statements concerning chemical substances, such as ‘water is H2OH2O’. I argue that the general principle underlying the necessity of the statements is that if a chemical substance has a certain chemical composition, then it could not have had any other chemical composition. Then I defend the view that the principle is a conceptual truth by providing a novel derivation of it from the theoretical concept of chemical substance with a sufficient level of formal rigor. The logical principles required for the derivation will also be stated and defended. (shrink)

According to Scott Soames, proper names have no descriptive meaning. Nonetheless, Soames maintains that proper names are typically used to make descriptive assertions. In this paper, I challenge Soames’ division between meaning and what is asserted, first by arguing that competent speakers always make descriptive assertions with name-containing sentences, and then by defending an account of proper name meaning that accommodates this fact.