are synthetic a priori judgements possible?" In both cases, i~thas usually been t'aken for granted in fife one case by Kant that synthetic a priori judgements were possible, and in the other case in contemporary,'d-". philosophical literature that contingent statements of identity are ppss. ible. I do not intend to deal with the Kantian question except to mention:ssj~".

This is the second edition of an award-winning 1981 book (Princeton University Press and Basil Blackwell, based on the author’s doctoral dissertation) considered to be a classic in the philosophy of language movement known variously as the New Theory of Reference or the Direct-Reference Theory, as well as in the metaphysics of modal essentialism that is related to this philosophy of language.

This book addresses themes in the newly emerging discipline of philosophy of chemistry, in particular issues in connection with discussions in general philosophy of science on natural kinds, reduction and ceteris paribus laws. The philosophical issue addressed in all chapters is the relation between, on the one hand, the manifest image (the daily practice or common-sense-life-form) and on the other the scientific image, both of which claim to be the final arbiter of "everything." With respect to chemistry, the question raised (...) is this: Where does this branch of science fit in, with the manifest or scientific image? Most philosophers and chemists probably would reply unhesitatingly, the scientific image. The aim of this book is to raise doubts about that self-evidence. It is argued that chemistry is primarily the science of manifest substances, whereas “micro” or “submicro” scientific talk—though important, useful, and insightful—does not change what matters, namely the properties of manifest substances. These manifest substances, their properties and uses cannot be reduced to talk of molecules or solutions of the Schrödinger equation. If “submicroscopic” quantum mechanics were to be wrong, it would not affect all (or any) “microlevel” chemical knowledge of molecules. If molecular chemistry were to be wrong, it wouldn't disqualify knowledge of, say, water—not at the “macrolevel” (e.g. its viscosity at 50 °C), nor at the pre- or protoscientific manifest level (e.g. ice is frozen water). (shrink)

Though the question is ontological, I will approach it through another, partially linguistic, question. What must natural kinds be like, if the conventional wisdom about natural kind terms is correct? Although answering this question won’t tell us everything we want to know, it will, I think, be useful in narrowing the range of feasible ontological alternatives. I will therefore summarize what I take to be the contemporary linguistic wisdom, and then test different proposals about kinds against it. As we will (...) see, some fare better than others. (shrink)

Linsky’s central point is correct; Kripke’s distinction between rigid and nonrigid designators can be extended in a straightforward way from singular terms to general terms. In both cases, for an expression to rigidly designate its extension is for it to designate the same extension with respect to every possible world-state (in which it has an extension at all). On this account, simple natural kind terms like water, gold, electricity, blue, and tiger – as well as ordinary general terms like bachelor, (...) philosopher, automobile and triangle – designate the same extension with respect to each world-state. As I see it, however, the two differ importantly in the metaphysics of their designata. Whereas a term like bachelor designates a property that may be distinguished from other properties that are necessarily coextensive with it, natural kinds differ from one another only if there are possible world-states in which some of their instances are different. Intuitively this seems plausible; it is hard to imagine two distinct species of animal, two distinct substances, or two distinct colors which have precisely the same instances in every possible world-state. This is important for my linguistic model. Consider, for example, the color blue (which I take to be a natural kind). Color science tells us that the object-color blue is determined.. (shrink)

Saul Kripke’s discussion of the necessary aposteriori in Naming and Necessity and “Identity and Necessity” -- in which he lays the foundation for distinguishing epistemic from metaphysical possibility, and explaining the relationship between the two – is, in my opinion, one of the outstanding achievements of twentieth century philosophy.1 My aim in this essay is to extract the enduring lessons of his discussion, and disentangle them from certain difficulties which, alas, can also be found there. I will argue that there (...) are, in fact, two Kripkean routes to the necessary aposteriori – one correct and philosophically far-reaching, the other incorrect and philosophically misleading. (shrink)

In this fascinating work, Scott Soames offers a new conception of the relationship between linguistic meaning and assertions made by utterances. He gives meanings of proper names and natural kind predicates and explains their use in attitude ascriptions. He also demonstrates the irrelevance of rigid designation in understanding why theoretical identities containing such predicates are necessary, if true.

Joseph LaPorte in an article on `Kind and Rigidity'(Philosophical Studies, Volume 97) resurrects an oldsolution to the problem of how to understand the rigidityof kind terms and other general terms. Despite LaPorte'sarguments to the contrary, his solution trivializes thenotion of rigidity when applied to general terms. Hisarguments do lead to an important insight however. Thenotions of rigidity and non-rigidity do not usefullyapply at all to kind or other general terms. Extendingthe notion of rigidity from singular terms such as propernames to (...) general terms such as natural kind terms is amistake. (shrink)

A distinction is drawn among predicates, open sentences (or open formulas), and general terms, including general-term phrases. Attaching a copula, perhaps together with an article, to a general term yields a predicate. Predicates can also be obtained through lambda-abstraction on an open sentence. The issue of designation and semantic content for each type of general expression is investigated. It is argued that the designatum of a general term is a universal, e.g., a kind, whereas the designatum of a predicate is (...) a class (or its characteristic function) and the designatum of an open sentence is a truth-value. Predicates and open sentences are therefore typically non-rigid designators. It is argued further that certain general terms, including phrases, are invariably rigid designators, whereas certain others (general definite descriptions) are typically non-rigid. Suitable semantic contents for predicates, open sentences, and general terms are proposed. Consequences for the thesis of compositionality are drawn. (shrink)

On Kripke’s intended definition, a term designates an object x rigidly if the term designates x with respect to every possible world in which x exists and does not designate anything else with respect to worlds in which x does not exist. Kripke evidently holds in Naming and Necessity, hereafter N&N (pp. 117–144, passim, and especially at 134, 139–140), that certain general terms – including natural-kind terms like ‘‘water’’ and ‘‘tiger’’, phenomenon terms like ‘‘heat’’ and ‘‘hot’’, and color terms like (...) ‘‘blue’’ – are rigid designators solely as a matter of philosophical semantics (independently of empirical, extra-linguistic facts). As a consequence, Kripke argues, identity statements involving these general terms are like identity statements involving proper names (e.g., ‘‘Clark Kent=Superman’’) in that, solely as a matter of philosophical semantics, they express necessary truths if they are true at all. But whereas it is reasonably clear what it is for a (first-order) singular term to designate, Kripke does not explicitly say what it is for a general term to designate. General terms are standardly treated in modern logic as predicates, usually monadic predicates. There are very forceful reasons – due independently to Church and Godel, and ultimately to Frege – for taking predicates to designate their semantic extensions. But insofar as the extension of the general term ‘‘tiger’’ is the class of actual tigers (or its characteristic function), it is clear that the term does not rigidly designate its extension, since the class of tigers in one possible world may differ from the class of tigers in another. What, then, is it for ‘‘tiger’’ to be rigid? (shrink)

According to microessentialism, it is necessary to resort to microstructure in order to adequately characterise chemical substances such as water. But the thesis has never been properly supported by argument. Kripke and Putnam, who originally proposed the thesis, suggest that a so-called stereotypical characterisation is not possible, whereas one in terms of microstructure is. However, the sketchy outlines given of stereotypical descriptions hardly support the impossibility claim. On the other hand, what naturally stands in contrast to microscopic description is description (...) in macroscopic terms, and macroscopic characterisations of water are certainly possible. This suffices to counter the claim that microdescriptions are necessary. Whether it counters the impossibility claim depends on whether all macroscopic descriptions are stereotypical (stereotypical descriptions presumably being macroscopic). In so far as systematic import of “stereotypical” can be determined, it would seem not. But some macroscopic characterisations have definite affinity with everyday knowledge, which presumably stands in conflict with the spirit of the impossibility claim. Since what is characterised are properties expressed by predicates like “is water”, the necessity of identity has no bearing here, and matters of interpretation pose problems for claims to the effect that science fixes the extension of “water” as ordinarily understood. (shrink)

We defend the view that defines the rigidity of general terms as sameness of designated universal across possible worlds from the objection that such a characterization is incapable of distinguishing rigid from non-rigid readings of general terms and, thus, that it trivializes the notion of rigidity. We also argue that previous attempts to offer a solution to the trivialization problem do no succeed.

According to Scott Soames’ Beyond Rigidity, there are two important pieces of unfinished business left over from Saul Kripke’s influential Naming and Necessity. Soames reads Kripke’s arguments about names as primarily negative, that is, as proving that names don’t have a meaning expressible by definite descriptions or clusters of them. The famous Kripkean doctrine that names are rigid designators is really only part of the negative case. The thesis that names refer to the same object with respect to every possible (...) world is a byproduct of their meaning, not a positive account of what they mean. As well, the hints about causal chains and dubbings are no more than a picture, as Kripke says, and not a positive theory of meaning. Thus one piece of unfinished business, to which Soames devotes the most attention, is to give a positive account of the meanings of names. To do this Soames proposes that the meaning of a singular term is the contribution it makes to the semantic content of the sentences in which it occurs. The semantic content of a sentence is ordinarily a proposition, that proposition expressed by the most commonly intended assertion using the sentence. Soames’ proposal for a positive account is that the meaning of a proper name is its contribution to those propositions, simply the object to which it refers. Arguing for this positive account occupies the bulk of the book but I will not discuss it in my contribution to this symposium. (shrink)

Here I defend the position that some singular terms for properties are rigid designators, responding to Stephen P. Schwartz’s interesting criticisms of that position. First, I argue that my position does not depend on ontological parsimony with respect to properties – e.g., there is no need to claim that there are only natural properties – to get around the problem of “unusual properties.” Second, I argue that my position does not confuse sameness of meaning across possible worlds with sameness of (...) designation, or rigid designation. Third, I argue that my position does not founder by way of failing to assign rigidity the work of grounding a posteriori necessity. (shrink)

Is there a theoretically interesting notion that is a natural extension of the concept of rigidity to general terms? Such a notion ought to satisfy two Kripkean conditions. First, it must apply to typical general terms for natural kinds, stuffs, and phenomena, and fail to apply to most other general terms. Second, true 'identification sentences' (such as 'Cats are animals') containing general terms that the notion applies to must be necessary. I explore a natural extension of the notion of rigidity (...) to general terms, the notion of an essentialist predicate. I argue that, under natural assumptions, this notion satisfies the two Kripkean conditions. (shrink)

Kripke defines a rigid designator as one that designates the same object in every possible world in which that object exists. He argues that proper names are rigid. So also, he claims, are various natural kind terms. But we wonder how they could be. These terms are general and it is not obvious that they designate at all. It has been proposed that these kind terms rigidly designate abstract objects. This proposal has been criticized because all terms then seem to (...) come out rigid, thus trivializing rigidity. The paper starts with further criticisms of this proposal aimed particularly at a recent version given by LaPorte. The paper goes on to develop and defend an alternative proposal presented briefly in Devitt and Sterelny (1999): instead of taking those natural kind terms to rigidly designate an object we take them to rigidly apply to the members of their extensions. Schwartz has rightly insisted that a notion of rigidity must do some theoretical work if it is to be interesting. The paper argues that rigid application for kind terms does the same primary work as rigid designation for singular terms, the work of refuting description theories of some terms; and it does the same secondary work, of explaining certain modal phenomena (with one exception). (shrink)

Completely revised and updated in its Second Edition, Language and Reality provides students, philosophers and cognitive scientists with a lucid and provocative introduction to the philosophy of language.

According to the received tradition, the language used to to refer to natural kinds in scientific discourse remains stable even as theories about these kinds are refined. In this illuminating book, Joseph LaPorte argues that scientists do not discover that sentences about natural kinds, like 'Whales are mammals, not fish', are true rather than false. Instead, scientists find that these sentences were vague in the language of earlier speakers and they refine the meanings of the relevant natural-kind terms to make (...) the sentences true. Hence, scientists change the meaning of these terms, This conclusions prompts LaPorte to examine the consequences of this change in meaning for the issue of incommensurability and for the progress of science. This book will appeal to students and professional in the philosophy of science, the philosophy of biology and the philosophy of language. (shrink)

We argue that the view that kind terms designate universals does not fall prey to the trivialization problem. We also argue that the view can respond to other challenges, specifically, the claims that an adequate notion of rigidity for kind terms must: (a) classify natural kind terms as rigid and classify many other general terms as non-rigid and (b) account for the necessity of true theoretical identifications involving rigid terms.

In defending semantic externalism, philosophers of language have often assumed that there is a straightforward connection between scientific kinds and the natural kinds recognized by ordinary language users.1 For example, the claim that water is H2O assumes that the ordinary language kind water corresponds to a chemical kind, which contains all the molecules with molecular formula H2O as its members. This assumption about the coordination between ordinary language kinds and scientific kinds is important for the externalist program, because it is (...) what allows us to discover empirically the extensions of ordinary language kind terms. (shrink)