Kripke's argument against the identity theory in the philosophy of mind runs as follows. Suppose some psychophysical identity statement S is true. Then S would seem to be contingent at least in the sense that S seems possibly false. And given that seeming contingency entails genuine contingency when it comes to such statements S is contingent. But S is necessary if true. So S is false. This entry considers responses to each of the three premises. (...) It turns out that each response does not fully withstand scrutiny, and so Kripke's conclusion is hard to resist. Section 1 lays out Kripke's argument, and Sections 2 to 4 then discuss responses to each of the three premises respectively. (shrink)

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~".

U radu se nudi opis konteksta unutar kojeg je formuliran poznati dokaz za nužnost identiteta. Iznosi se formalni prikaz ovog dokaza kako ga je formulirao poznati filozof i logičar Saul Kripke. Također se razmatra gledište filozofa Allana Gibbarda koji nasuprot Kripkeu brani tvrdnju da neki iskazi identiteta mogu biti kontingentni. Osnovni cilj rada je upoznati domaćeg čitatelja s formalnim aspektom rasprave o nužnosti identiteta te dati kratki pregled konteksta unutar kojeg su formulirani argumenti za nužnost identiteta. In the paper, we (...) offer an overview of the context within which the well-known proof of the necessity of identity is formulated. A formal account of this proof is presented as formulated by the renowned philosopher and logician Saul Kripke. Furthermore, we discuss the account of the philosopher Allan Gibbard, who defends the claim that some statements of identity can be contingent. The main goal of the paper is to acquaint the readers who understand the Croatian language with the formal aspect of the discussion on the necessity of identity and to give a brief overview of the context within which the arguments for the necessity of identity are formulated. (shrink)

A new theory of identity statements is put forward which appeals to a basic distinction between two notions of identity, i.e. strict and loose identity. The former is the traditional necessary relation of an object with the object itself, whereas the latter is a contingent relation of reduction of some (at least two) possible unactual objects to a possible actual object. By appealing to strict identity, one can maintain that some tokenings of identity (...) sentences express a semantic content which is both knowable apriori only and a necessary proposition. By appealing to loose identity instead, one can maintain that other tokenings of identity sentences express a semantic content which is both knowable a posteriori only and a contingent proposition. (shrink)

This paper shows how a niche account of the metaphysics of laws of nature and physical properties—the Powers-BSA—can underpin both a sense in which the laws are metaphysically necessary and a sense in which it is true that the laws could have been different. The ability to reconcile entrenched disagreement should count in favour of a philosophical theory, so this paper constitutes a novel argument for the Powers-BSA by showing how it can reconcile disagreement about the laws’ modal status. (...) This paper also constitutes a defence of modal necessitarianism, the interesting and controversial view according to which all worlds are nomologically identical, because it shows how the modal necessitarian can appease the orthodox contingentist about laws. (shrink)

Humans can think about their conscious experiences using a special class of ?phenomenal? concepts. Psychophysical identity statements formulated using phenomenal concepts appear to be contingent. Kripke argued that this intuited contingency could not be explained away, in contrast to ordinary theoretical identities where it can. If the contingency is real, property dualism follows. Physicalists have attempted to answer this challenge by pointing to special features of phenomenal concepts that explain the intuition of contingency. However no physicalist account of (...) their distinguishing features has proven to be satisfactory. Leading accounts rely on there being a phenomenological difference between tokening a physical-functional concept and tokening a phenomenal concept. This paper shows that existing psychological data undermine that claim. The paper goes on to suggest that the recalcitrance of the intuition of contingency may instead by explained by the limited means people typically have for applying their phenomenal concepts. Ways of testing that suggestion empirically are proposed. (shrink)

ABSTRACT An apparent objection against my theory of instantiation as partial identity is that identity is necessary, yet instantiation is often contingent. To rebut the objection, I show how it can make sense that identity is contingent. I begin by showing how it can make sense that identity is temporary. I rely heavily on Andre Gallois’s formal theory of occasional identity, but argue that there is a gap in his explanation of how (...) his formalisms make sense that needs to be filled by appeal to my theory of Aspects. (shrink)

Reference and Existence, Saul Kripke's John Locke Lectures for 1973, can be read as a sequel to his classic Naming and Necessity. It confronts important issues left open in that work -- among them, the semantics of proper names and natural kind terms as they occur in fiction and in myth; negative existential statements; the ontology of fiction and myth. In treating these questions, he makes a number of methodological observations that go beyond the framework of his earlier book -- (...) including the striking claim that fiction cannot provide a test for theories of reference and naming. In addition, these lectures provide a glimpse into the transition to the pragmatics of singular reference that dominated his influential paper, " Speaker's Reference and Semantic Reference " -- a paper that helped reorient linguistic and philosophical semantics. Some of the themes have been worked out in later writings by other philosophers -- many influenced by typescripts of the lectures in circulation -- but none have approached the careful, systematic treatment provided here. The virtuosity of Naming and Necessity -- the colloquial ease of the tone, the dazzling, on-the-spot formulations, the logical structure of the overall view gradually emerging over the course of the lectures -- is on display here as well. (shrink)

In this paper, presented at an APA colloquium in Boston on December 28, 1994, it is argued that Ruth Barcan Marcus' 1961 article on Modalities and Intensional Languages originated many of the key ideas of the New Theory of Reference that have often been attributed to Saul Kripke and others. For example, Marcus argued that names are directly referential and are not equivalent to contingent descriptions, that names are rigid designators, and that identity sentences with co-referring names are (...) necessary if true. She also first presented the modal argument that names are directly referential, the epistemic argument that names are directly referential, and the argument that there area posteriori necessities. (shrink)

Frege's theory of indirect contexts and the shift of sense and reference in these contexts has puzzled many. What can the hierarchy of indirect senses, doubly indirect senses, and so on, be? Donald Davidson gave a well-known 'unlearnability' argument against Frege's theory. The present paper argues that the key to Frege's theory lies in the fact that whenever a reference is specified (even though many senses determine a single reference), it is specified in a particular way, so that giving a (...) reference implies giving a sense; and that one must be 'acquainted' with the sense. It is argued that an indirect sense must be 'immediately revelatory' of its reference. General principles for Frege's doctrine of sense and reference are sated, for both direct and indirect quotation, to be understood iteratively. I also discuss Frege's doctrine of tensed and first person statements in the light of my analysis. The views of various other authors are examined. The conclusion is to ascribe to Frege an implicit doctrine of acquaintance similar to that of Russell. (shrink)

This important new book is the first of a series of volumes collecting essential work by an influential philosopher. It presents a mixture of published and unpublished works from various stages of Kripke's storied career. Included here are seminal and much discussed pieces such as “Identity and Necessity,” “Outline of a Theory of Truth,” and “A Puzzle About Belief.” More recent published work include “Russell's Notion of Scope” and “Frege's Theory of Sense and Reference” among others. Several of the (...) works included here are published for the first time, including both older works “Two Paradoxes of Knowledge,” “Vacuous Names and Fictional Entities,” “Nozick on Knowledge” as well as newer “The First Person” and “Unrestricted Exportation.” “A Puzzle on Time and Thought” was written for this volume. The publication of this volume—which ranges over epistemology, linguistics, pragmatics, philosophy of language, history of analytic philosophy, theory of truth, and metaphysics—represents a major event in contemporary analytic philosophy. This collection aims to be a testament to one of philosophy's greatest living figures. (shrink)

The Hilbert program was actually a specific approach for proving consistency, a kind of constructive model theory. Quantifiers were supposed to be replaced by ε-terms. εxA(x) was supposed to denote a witness to ∃xA(x), or something arbitrary if there is none. The Hilbertians claimed that in any proof in a number-theoretic system S, each ε-term can be replaced by a numeral, making each line provable and true. This implies that S must not only be consistent, but also 1-consistent. Here we (...) show that if the result is supposed to be provable within S, a statement about all Pi-0-2 statements that subsumes itself within its own scope must be provable, yielding a contradiction. The result resembles Gödel's but arises naturally out of the Hilbert program itself. (shrink)

This important new book is the first of a series of volumes collecting the essential articles by the eminent and highly influential philosopher Saul A. Kripke. It presents a mixture of published and unpublished articles from various stages of Kripke's storied career.

The general topic of this work is the information value of declarative sentences containing proper names. I begin by accepting the direct designation theory of names. The theory, however, does not appear to be able to account for the difference in information value between sentences like 'Hesperus is Phosphorus' and 'Hesperus is Hesperus'. In order to explain this difference I develop an account of belief that takes a novel approach to the contents of beliefs of propositions expressed by such sentences. (...) ;If you have a de re attitude towards a proposition, you can believe it in several different ways. The difference corresponds to the various ways in which you can mentally represent the object in the proposition. I account for this difference by introducing a distinction between the information basis of a sentence, which is the proposition expressed by the sentence, and the information value of the sentence, which is a subjective notion that depends on how one understands the sentence. ;The implication of the theory on the relationship between the necessary and the a priori is significant. I agree with Kripke that true identity statements containing different codesignative names express necessary propositions, but we disagree on the epistemic status of those propositions. While he argues that they can be known only a posteriori, I argue that they also can be known a priori. Regarding sentences like 'stick S is one meter long', I disagree with Kripke, and argue that although we cannot know this a priori, there is a closely related sentence that qualifies as an example of the contingent a priori, namely 'the length S appears to have is one meter'. (shrink)

In contrast to standard possible worlds semantics, possible worlds in a two-dimensional semantic framework play two kinds of roles, rather than just one. This allows the framework to assign two kinds of intensions to expressions, rather than just one. Its fruitful use in explicating modal operators and the meanings of referential expressions like indexicals has led to two-dimensional accounts that seek to revive the Fregean conception of meaning, or more specifically the descriptivist view of reference, which has fallen into disrepute (...) due to intense criticisms, most famously, by Saul Kripk’s seminal work Naming and Necessity (1972). This entry provides a critical overview of the two most prominent of such accounts, proposed by Frank Jackson and David Chalmers. Unfortunately, there is not space to describe either account in detail, so I rely largely on brief descriptions and plenty of references to primary and secondary sources. More importantly, I rely on focusing on how the accounts explain the phenomenon of necessary a posteriori identity that Kripke’s well-known examples (such as ‘Hesperus is Phosphorus’) have brought to light. Focusing on and structuring our discussions around this phenomenon is by no means just an expository convenience. These cases are of central importance in themselves. They epitomize a large part of the contribution of Naming and Necessity to the theory of reference. This is why section 2 outlines Kripke’s critique of the Fregean theory of referential expressions and section 3 explains rigid designation and identity statements. Section 4 discusses rigidification and the notion of a world considered as actual, leading to the introduction of two-dimensional functions in Section 5. I discuss, finally, Frank Jackson’s and David Chalmers’ two-dimensionalism in Sections 6 and 7. Section 8 makes a few critical remarks on Jackson’s handling of the semantic argument. I conclude (Section 8) by discussing the important distinction between semantics and metasemantics. (shrink)

In a footnote to his ‘What is it Like to be a Bat?’, Thomas Nagel sketches a promising account of phenomenal concepts that purports to explain why mind-body identity statements, even if necessary, will always seem contingent. Christopher Hill and Brian McLaughlin have recently developed this sketch into a more robust theory. In Nagel's more recent work, however, he suggests that the only adequate theory of phenomenal concepts is one that makes the relation between phenomenal and physical (...) states intelligible, or ‘transparent’. Developing such a theory, however, appears to be no easy task. In this paper I argue that the Nagel-Hill-McLaughlin proposal is preferable – and that a serious problem with it, noticed by Stephen Yablo, can be avoided by revising the proposal according to some further suggestions made by Nagel himself. (shrink)

_Physicalism and the Spell of Consciousness_ explores the nature of consciousness, arguing that ontologically speaking, consciousness and matter are one and the same since both are physical entities. By synthesizing work in the philosophy of mind and metaphysics from the last twenty years and forging a dialogue with contemporary research in empirical sciences of the mind, Andreas Elpidorou develops an account of the concepts that we deploy when we introspectively examine our conscious experiences, and defends the view that the uniqueness (...) of consciousness is an unavoidable consequence of being conscious of consciousness. This book provides an up-to-date, systematic defense of the phenomenal concept strategy, and offers a theory-based formulation of physicalism. Elpidorou links metaphysics and empirical philosophy of mind by showing how embodied cognition allows us to explain the appearance of contingency that is present in mind-brain identity statements. His argument is situated at the intersections of philosophy of mind, metaphysics, epistemology, and philosophy of cognitive science, and advances the debate regarding the ontological status of consciousness. (shrink)

Saul Kripke’s modal essentialist argument against materialism remains an obstacle to any prospective Identity Theorist. This paper is an attempt to make room for an Identity Theory without dismissing Kripke’s analytic tools or essentialist intuitions. I propose an explanatory model that can make room for the Identity Theory within the constraints of Kripke’s view; the model is based on ideas from Alan Sidelle’s, “Identity and Identity-like” . My model explains the apparent contingency of some scientific (...) identities by appealing to our epistemic access to the conditions of identity for sensations and brain processes. Pace Kripke, the Identity Theorist can thus explain away the apparent contingency of mind-brain identity claims. (shrink)

In this paper, I present a two-pronged argument devoted to defending the type-identity theory of mind against the argument presented by Kripke in _Naming and Necessity_. In the first part, the interpersonal case, I show that since it is not possible to establish the metaphysical conditions for phenomenal identity, it is not possible to argue that there can be physical differences between two subjects despite their phenomenal identity. In the second part, the intrapersonal case, I consider the (...) possibility of imagining one and the same individual having the same phenomenal state while counterfactually being in very different physical states. I argue that this case should respect Kripke’s implicit theory of personal identity—but this proves to be a very difficult task to accomplish, thus preventing the argument from getting off the ground. Therefore, I maintain, that the type-identity theory is still the better option to solve the mind–body problem. (shrink)

We provide an account of necessary a posteriori identity statements that relies upon Perry’s multipropositionalism. On our account an utterance of, e.g., ‘Hesperus is Phosphorus’, semantically makes available several propositions, one of which is necessary (and a priori) and another of which is a posteriori (and contingent). Since our view resembles two-dimensionalism, one might assume that it is undermined by the sorts of nesting arguments that Soames and others have raised against two-dimensionalism. We demonstrate, however, that (...) our account is immune to such nesting arguments. (shrink)

How is it possible that a thing singled out not exist? How is it possible that two things singled out be numerically identical? How is one to understand the relationship between, say, a quality of a thing and what this quality is? And how is one to understand the relation between this quality and the thing which happens to be thus qualified? Trying to answer these four questions involves investigation of the four senses of the verb "to be," or of (...) the concepts of existence, identity, essential and accidental predication. Butchvarov’s thesis is that these four questions admit of a common answer, that the cornerstone of this comprehensive theory is an answer to the second question, and that this crucial answer depends on making some such distinction as his between "objects" and "entities." The bare bones of his argument are these: We commonly make statements of the form "a is b" where "a" and "b" are used referringly. A "material identity" statement of this form may be true. If true, it is about one thing; yet what it is about appears to be distinct things. This distinctness is not a real distinction among existents, nor does it arise solely or primarily from features of language. Butchvarov’s account is based on a distinction "of reason" between objects and entities. An entity is an existent, a constituent of the world. An object is whatever can be singled out once, and only once, in perception or imagination or in "thought". Entities as such cannot be singled out, yet they may be recognized through applications of a conceptual apparatus to objects. A material identity statement, then, states that two objects are one entity. If true, it is both about two distinct objects and about the one entity which each is. When two objects are judged to be one entity, then indiscernibility is enforced. Seeming counterexamples to the indiscernibility of identicals are explained in terms of the distinction between objects and entities. Though some applications of the concept of identity are relative to sortal characteristics, others are not. The latter are prior to the former. These primary judgments constitute the backbone of "thought" and discourse. They are governed by impersonal, nonhuman "paradigms." There are entities, of course; and there are objects, though as objects none exists. Some objects are entities, some are not. The notion of existence, like the notion of identity in its material role, is then a principle of classification, a concept. Butchvarov examines nine objections to this claim, and elaborates his distinction between objects and entities. He concludes that identifiability, hence indefinite reidentifiability, is the logically sufficient condition of applicability of the concept of existence. A statement such as "Socrates is white" is a disguised conjunction, viz., "Socrates has this color, and this color is white." The second conjunct is an "essential" statement; it says of an object singled out that it is a certain entity; or, to allow for essences of nonexistent objects, it states what entity the object would be were it an entity. An essential statement is not a material identity statement, for only one of its terms is used referringly. The essence of an object is not a property of it, for it is what the object is or would be. Whereas logically prior consciousness of objects is intentional and non-conceptual, consciousness of entities is conceptual and nonintentional; it consists in recognizing that a thing can be identified by oneself or by others. What is accidentally white, say, cannot be a material substance or bare particular; therefore it is a "cluster" of qualities. The Resemblance Theory, according to which qualities are particulars, is not a coherent alternative to the Identity Theory; therefore the qualities an individual happens to have are themselves universals. The Bradleyan critique of ontological atomism is cogent; therefore an individual is a cluster of qualities each of which depends for its "formal identity" on its being together with the rest. An individual’s having qualities is then to be understood in terms of the necessary togetherness of the qualities constitutive of it. Since in addition each of these qualities is essentially a universal, and specific universals are contingently coinstantiated, the predication in question is properly regarded as accidental. The problem of identifying quality-clusters through space and time is discussed. (shrink)

‘A logical theory may be tested by its capacity for dealing with puzzles, and it is a wholesome plan, in thinking about logic, to stock the mind with as many puzzles as possible, since these serve much the same purpose as is served by experiments in physical science.’ This paper is an attempt to follow Russell’s advice by using a puzzle about the contingent a priori to test and explore certain theories of reference and modality. No one could claim (...) that the puzzle is of any great philosophical importance by itself, but to understand it, one has to get clear about certain aspects of the theory of reference; and to solve it, one has to think a little more deeply than one is perhaps accustomed about what it means to say that a statement is contingent or necessary. (shrink)

ABSTRACT This paper defends a controversial view about personal identity. It argues that it is possible to endorse both Phenomenalism and Materialism about persons. Phenomenalism is the view that personal identity is grounded in phenomenal consciousness. Materialism is the view that we are material objects. Many believe that the two views are incompatible. In this paper, I show that it is possible to accept both. I consider two objections against their combination—the argument from disembodiment and an important objection (...) by Tim Bayne. My responses are based on Kripke’s analysis of necessary a posteriori and contingent a priori statements. I make the case that both objections rest on different kinds of modal illusions. This strategy can be applied to other arguments, and the paper is intended to advocate a general approach to personal identity. (shrink)

‘A logical theory may be tested by its capacity for dealing with puzzles, and it is a wholesome plan, in thinking about logic, to stock the mind with as many puzzles as possible, since these serve much the same purpose as is served by experiments in physical science.’ This paper is an attempt to follow Russell’s advice by using a puzzle about the contingent a priori to test and explore certain theories of reference and modality. No one could claim (...) that the puzzle is of any great philosophical importance by itself, but to understand it, one has to get clear about certain aspects of the theory of reference; and to solve it, one has to think a little more deeply than one is perhaps accustomed about what it means to say that a statement is contingent or necessary. (shrink)

There is a form of argument for a certain kind of essentialist conclusion which appears not to depend upon any appeal to intuition. Identity statements involving natural kind terms are often adverted to in the literature as examples of the necessary a posteriori, and it can appear as though the essentialist is on very strong ground with respect to these claims. It is not merely that they are apt to strike one as plausible in the light of philosophical (...) arguments or modal intuitions; rather, they appear to be provable, given only fairly trivial logical principles and uncontroversial scientific truths. This paper attempts to counter the claim, made particularly convincing by the work of Saul Kripke, that this indeed the case. (shrink)

Kripke's argument for the rigid designation of natural kind terms is fallacious because he does not distinguish natural kinds from second-order functional properties; by clarifying the concepts of natural kind and functional property, we can show that natural kind terms do designate their referents rigidly, but that functional property terms are not rigid designators. My discussions of functional property will also help dispel the worry about the alleged cases of contingent identity with regard to theoretical statements in science. (...) There is no contingent identity even in the form of second-order logic: Property identity is also a necessary identity. The principle of necessary identity rules relentlessly. (shrink)

The article discusses Saul Kripke’s influential theories of a posteriori necessary truths and natural kinds. With respect to the statements of identity involving proper names, it is argued that although their truth is a posteriori and necessary in the specific sense of counterfactual invariance, this is of no significance for substantial philosophical issues beyond the philosophy of language, because this counterfactual invariance is a trivial consequence of the use of proper names as rigid designators. The case is (...) made that the expansion of the realm of necessary a posteriori truths to the statements of theoretical identity that involve “natural kind terms”, as well as the Kripkean essentialist theory of natural kinds, have no weighty argumentative support and fit badly both with science and language practice. This sets the stage for the development of an appropriately sophisticated “descriptivist” account of meaning and reference that would be better suited for a widened range of Kripke-Putnam style thought experiments. The general outlines of such a descriptivist account are provided. (shrink)

In the first post World War II identity theories (e.g., Place 1956, Smart 1962), mind brain identities were held to be contingent. However, in work beginning in the late 1960's, Saul Kripke (1971, 1980) convinced the philosophical community that true identity statements involving names and natural kind terms are necessarily true and furthermore, that many such necessary identities can only be known a posteriori. Kripke also offered an explanation of the a posteriori nature of ordinary theoretical (...) identities such as that water = H2O. We identify the kinds and substances involved in theoretical identities by certain of their contingent properties. What we discover when we discover a theoretical identity is the underlying nature of the kind that we identify by those contingent properties. Now, of course, it was being a posteriori, not being contingent, that mattered to the identity theorists anyway, so the necessity of identity is not, in itself, damaging to mind brain identity theories. However, Kripke also argued persuasively that the alleged mind brain identities could not be treated in the same way as ordinary theoretical identities. We "identify" pain by feeling it, and surely how it feels is an essential property of pain, not a contingent property. Thus, a mind body identity theory must provide a different explanation of why its identities are a posteriori. A new wave of materialists has appeared on the scene with a new strategy for explaining [1] the a posteriori nature of its alleged identities. The strategy is to locate the explanation for the a posteriori nature of mind body identities, not on the side of the world, but on the side of the mind -in different ways of thinking about or imagining, or in different concepts. Thus, on this new view, there is only one property—this brain process type, which is identical with this pain.. (shrink)

SCIENTISTS HAVE DISCOVERED that water is H2O. Water is H2O is true. But is it a necessary truth? In other words, is it true in all possible worlds? Some people think it is. For example Hilary Putnam, in his well-known Twin Earth argument, concludes that "water is H2O" is necessarily true; thus a liquid which phenomenally resembles H2O and fits the description of water in almost all aspects, but has the chemical formula XYZ, cannot be water. Saul Kripke has (...) made a similar claim about the necessary identity between water and H2O. Because this type of truth is based on empirical discoveries, Kripke calls truths of this sort "necessary a posteriori." The thesis shared by Putnam and Kripke has two premises: a realist view that natural kinds exist independently of human cognition, and a theory of direct reference of natural kind terms. Opposing the view that natural kind terms pick out objects through descriptions, Putnam and Kripke hold that natural kind terms pick out natural kinds in the world in a direct way. Based on these two premises, they argue that, if two natural kind terms, A and B, designate the same thing in the world, "A = B" expresses a necessary identity. (shrink)

Saul Kripke, in a series of classic writings of the 1960s and 1970s, changed the face of metaphysics and philosophy of language. Christopher Hughes offers a careful exposition and critical analysis of Kripke's central ideas about names, necessity, and identity. He clears up some common misunderstandings of Kripke's views on rigid designation, causality and reference, and the necessary a posteriori and contingent a priori. Through his engagement with Kripke's ideas Hughes makes a significant contribution to ongoing debates (...) on, inter alia, the semantics of natural kind terms, the nature of natural kinds, the essentiality of origin and constitution, the relative merits of 'identitarian' and counterpart-theoretic accounts of modality, and the identity or otherwise of mental types and tokens with physical types and tokens. No specialist knowledge in either the philosophy of language or metaphysics is presupposed; Hughes's book will be valuable for anyone working on the ideas which Kripke made famous in the philosophy world. (shrink)

The aim of this paper is to discuss Kripkc?s reasons for declaring the existence of both necessary a posteriori as well as contingent a priori statements, thus breaking the traditional extensional coincidence of the two pairs of concepts:necessary?contingent and a priori?a posteriori. As I shall argue, there is no reason, from Kripke?s work at least, to reject the usual picture of the topic The appeal ot his arguments rests on the ambiguity with which his expressions are (...) used and on the introduction o\ new senses for old notions. This does not mean, however, that all Knpke?s and Putnam?s intuitions on singular terms and natural kind nouns are wrong. Once Kripke?s ideas are properly uudeistood, they are much moreharmless then they are presented to be and they do not pose a threat to traditional relations relations between modal and epistemological categories. (shrink)

This volume draws connections between Wittgenstein's philosophy and the work of Saul Kripke, especially his Naming and Necessity. Saul Kripke is regarded as one of the foremost representatives of contemporary analytic philosophy. His most important contributions include the strict distinction between metaphysical and epistemological questions, the introduction of the notions of contingent a priori truth and necessary a posteriori truth and original accounts of names, descriptions, identity, necessity and realism. The chapters in this book elucidate the relevant (...) connections between Kripke's work and Wittgenstein, specifically concerning the standard meter, contingent apriori and rule-following. The contributions shed light on how Kripke's philosophical outlook was influenced by Wittgenstein, and how mainstream analytic philosophy and Wittgensteinian philosophy can fruitfully engage with one another. Kripke and Wittgenstein will be of interest to philosophers working on Wittgenstein, Kripke, and the history of analytic philosophy. (shrink)

Some of Tichý's conclusions rest on an assumption about substitutivity which Kripke would not accept. If we grant the assumption, then Tichý successfully shows that we can discover true identity statements involving names a priori, but not that we can discover a priori what properties things have essentially. Many of Tichý's arguments require an implausible rejection of the possibility of indirect belief as described in Section III. 25Are there necessary a posteriori propositions? I have argued that we certainly (...) can discover necessary propositions a posteriori, but have left it an open question whether there are necessary propositions which we can only discover a posteriori.What effect do the considerations here presented have on the positivist doctrine that the a priori and the necessary coincide? My explanation of how we discover necessary propositions a posteriori involves our believing them indirectly, in virtue of believing contingent propositions. I would argue that Kripke's examples of the contingent a priori involve, similarly, our believing the contingent propositions in directly, in virtue of believing necessary propositions.This suggests that a reformulation of the positivist thesis along something like the following lines may well be correct. Let us say that someone directly believes a proposition just in case he could not fail to believe it without being in a different cognitive state. Then perhaps one can directly believe a proposition on the basis of a priori evidence only if it is necessary, and can directly believe a proposition on the basis of a posteriori evidence only if it is contingent. (shrink)

Property-identical divine-command theory (PDCT) is the view that being obligatory is identical to being commanded by God in just the way that being water is identical to being H2O. If these identity statements are true, then they express necessary a posteriori truths. PDCT has been defended in Robert M. Adams (1987) and William Alston (1990). More recently Mark C. Murphy (2002) has argued that property-identical divine-command theory is inconsistent with two well-known and well-received theses: the free-command thesis and (...) the supervenience thesis. I show that Murphy's argument is vitiated by mistaken assumptions about the substitutivity of metaphysical identicals in contexts of supervenience. The free-command thesis and the supervenience thesis therefore pose no serious threat to PDCT. (Published Online August 11 2004). (shrink)

The thesis that the necessary and the a priori are extensionally equivalent consists of two independent claims: 1) All a priori truths are necessary and 2) all necessary truths are a priori. In Naming and Necessity1 Saul A. Kripke gives examples of necessary but a posteriori truths, so he disagrees with the second leg of the thesis.2 His examples are of two types; on the one hand statements involving essential properties and on the other hand true (...) identity statements. My concern will be with examples of the second type and whether they refute (2). (2), however, is ambiguous and can mean one of three things. (shrink)

In his "Materialism without Reductionism: What Materialism Does not Entail," Richard Boyd answers Kripke's challenge to materialists to come up with a way to explain away the apparent contingency of mind-brain identities. Boyd accuses Kripke of an imaginative myopia manifesting itself as a failure to realize that the more theoretical term in the identity is fixed by contingent descriptions - descriptions that might pick out otherworldly kinds of neural events where C-fibres are absent. If this is something we (...) can confuse in the imagination with actual C-fibre firings, then we have an explanation of the apparent contingency of the necessary identity 'Pain=C-fiber firings.' However, for this to succeed it must be the case that the reference of 'C-fiber firings'€™ is fixed by some contingent description, which is false. Boyd, I submit, has failed to answer Kripke'€™s challenge after all. (shrink)

In the by now well known talks he gave at Princeton, Saul Kripke claimed that “[t]heoretical identities … are generally identities involving two rigid designators and therefore are examples of the necessary a posteriori.” 253-355; A rigid designator is an expression that designates the same object in all possible worlds when it is used. So Kripke is claiming that ‘Water is H20’ and ‘Heat is the motion of molecules’ are generally identities involving expressions like ‘water’ and ‘the motion of (...) molecules’ which designate the same objects in all possible worlds. If the identity statement is true, both sides designate the same object rigidly, i.e., in all possible worlds, and therefore the statement is necessarily true. On the other hand, whether it is true is determined ultimately by appeal to experience. It follows that if true, the identity is necessary a posteriori. (shrink)

In this essay I shall argue that the crucial assumptions of Kripke's argument, i.e. the collapse of the appearance/reality distinction in the case of phenomenal states and the idea of a qualitatively identical epistemic situation, imply an objective principle of identity for mental-state types. This principle, I shall argue, rather than being at odds with physicalism, is actually compatible with both the type-identity theory of the mind and Kripke's semantics and metaphysics. Finally, I shall sketch a version of (...) the type-identity theory. (shrink)

Saul Kripke has been a major influence on analytic philosophy and allied fields for a half-century and more. His early masterpiece, Naming and Necessity, reversed the pattern of two centuries of philosophizing about the necessary and the contingent. Although much of his work remains unpublished, several major essays have now appeared in print, most recently in his long-awaited collection Philosophical Troubles. In this book Kripke’s long-time colleague, the logician and philosopher John P. Burgess, offers a thorough and self-contained (...) guide to all of Kripke’s published books and his most important philosophical papers, old and new. It also provides an authoritative but non-technical account of Kripke’s influential contributions to the study of modal logic and logical paradoxes. Although Kripke has been anything but a system-builder, Burgess expertly uncovers the connections between different parts of his oeuvre. Kripke is shown grappling, often in opposition to existing traditions, with mysteries surrounding the nature of necessity, rule-following, and the conscious mind, as well as with intricate and intriguing puzzles about identity, belief and self-reference. Clearly contextualizing the full range of Kripke’s work, Burgess outlines, summarizes and surveys the issues raised by each of the philosopher’s major publications. Kripke will be essential reading for anyone interested in the work of one of analytic philosophy’s greatest living thinkers. (shrink)

Following insights from the New Theory of Reference, it has become widely accepted that theoretical identities like ‘water = H2O' are necessary. However, some have challenged this claim. I propose yet another challenge in the form of a sceptical argument. The argument is based on the contention that the necessity of theoretical identities is dependent upon criteria of identity. Thus, a theoretical identity is necessary given one criterion of identity but contingent given another. Since (...) we do not know which criteria of identity in fact obtain, it follows that, for all we know, theoretical identities may not be necessary. (shrink)

This paper argues for and explores the implications of the following epistemological principle for knowability a priori (with 'Ka' abbreviating 'it is knowable a priori that'). -/- (AK) For all ϕ, ψ such that ϕ semantically presupposes ψ: if Ka(ϕ), Ka(ψ). -/- Well-known arguments for the contingent a priori and a priori knowledge of logical truth founder when the semantic presuppositions of the putative items of knowledge are made explicit. Likewise, certain kinds of analytic truth turn out to carry (...) semantic presuppositions that make them ineligible as items of a priori knowledge. -/- On a happier note, I argue that (AK) offers an appealing, theory-neutral explanation of the a posteriori character of certain necessary identities, as well as an interesting rationalization for a commonplace linguistic maneuver in philosophical work on the a priori. (shrink)

SummaryMind‐body identity theories are standardly supposed to be logically contingent. Kripke defends a quasi‐Cartesian property dualism by observing that bodies and minds or mental and neurophysiological events or event‐types can always be assigned distinct rigid designators. The concept of rigid designation implies that possibly nonidentical rigidly designated bodies and minds are necessarily and therefore actually nonidentical. But Kripke's argument does not refute materialist reductions that affirm the actual identity of minds and bodies while admitting only the possible (...) nonidentity of ncwigidly designated mental and material entities. This limits the adequate expression of contingent materialist theories, but does not defeat materialism per se. The mind‐body problem like other genuine ontological issues resists stipulative semantic‐philosophical resolution. (shrink)

According to Naming and Necessity, proper names usually work referentially as rigid designators. In this paper, I argue that proper names have also attributive uses that systematically emerge in particular contexts. Attributive uses are then exploited to show that simple identity claims (such as “Hesperus is Phosphorus”) are open to a double interpretation. The main aim of the paper is arguing that the impression that certain true identities are a posteriori is mostly due to one of the two readings, (...) a reading according to which, however, the expressed truth is only contingently true. (shrink)

A common feature of all standard theories of the laws of nature is that they are "absolutist": They take laws to be either all metaphysically necessary or all contingent. Science, however, gives us reason to think that there are laws of both kinds, suggesting that standard theories should make way for "non-absolutist" alternatives: theories which accommodate laws of both modal statuses. In this paper, we set out three explanatory challenges for any candidate non-absolutist theory and discuss the prospects (...) of the two extant candidates in light of these challenges. We then develop our own non-absolutist theory, the essentialist DTA account, which combines the nomic-necessitation or DTA account with an essentialist approach to metaphysical modality in order to meet the three explanatory challenges. Finally, we argue that the distinction between kinematical and dynamical laws found in physical theories supports both non-absolutism in general and our proposed essentialist DTA view in particular. (shrink)