Mario Gómez-Torrente (2006) says that whilst theoretical identifications (e.g. 'All lightning is electrical discharge') do not entail their own necessitations, they do entail the necessitation of a weaker statement. And he claims that this weaker entailment serves Kripke's purposes as well as the stronger one would have. I argue that this is false. Section 1 says what the weaker entailment is; section 2 says why it matters. Section 3 argues that the entailment identified at section 1 does not meet the (...) purpose identified at section 2. Section 4 rejects two possible objections. The aim is to illustrate (not establish) the general claim that those 'modal facts' that are not entirely speculative are quite useless. (shrink)

Almost everyone believes in modality de dicto. Necessarily, puppies are young dogs. The necessity here derives from the meaning of “puppy.” The term means young dog. Essentialism is belief in a more exotic sort of modality, one that does not derive from meaning in this direct and simple way. In the first two sections of this paper, I consider indexical and nonindexical kind terms and the sort of modality applicable to each. In the last section, I consider individuals and proper (...) names. (shrink)

This paper is concerned with a popular view about the nature of propositions, commonly known as the Russellian view of propositions. Alvin Plantinga has dubbed it, or more precisely, a crucial consequence of it, Existentialism, and in his paper “On Existentialism” (1983) he has presented a forceful argument intended as a reductio of this view. In what follows, I describe the main relevant ingredients of the Russellian view of propositions and states of affairs. I present a relatively simple response Russellians (...) might want to make to Plantinga’s anti-existentialist argument. I then explore one aspect of this response—one that leads to some rather curious consequences for the Russellian view of propositions and states of affairs. (shrink)

A major source of latter-day skepticism about necessity is the work of David Hume. Hume is widely taken to have endorsed the Humean claim : there are no necessary connections between distinct existences. The Humean claim is defended on the grounds that necessary connections between wholly distinct things would be mysterious and inexplicable. Philosophers deploy this claim in the service of a wide variety of philosophical projects. But Saul Kripke has argued that it is false. According to Kripke, there are (...) necessary connections between distinct existences; in particular, there are necessary connections between material objects and their material origins. This essay argues that the primary motivation for the Humean claim, Hume's datum , also motivates the key premise in an argument for the necessity of origins. The very considerations that the Humean takes to show that necessary connections between wholly distinct things would be mysterious and inexplicable indicate that there must be some such necessary connections. Thus, in the absence of alternative support, there is no reason to believe the Humean claim. (shrink)

This paper is an informal presentation of the ideas presented formally in (”Relative-Sameness Counterpart Theory”. Relative-sameness relations -- such as being the same person as -- are like David Lewis’s “counterpart” relations in the following respects: (i) they may hold over time or across worlds between objects that aren’t cross-time or cross-world identical (I propose), and (ii) there are a multiplicity of them, different ones of which may be variously invoked in different contexts. They differ from his counterpart relations, however, (...) in that they are weak equivalence relations (transitive, symmetric and weakly reflexive). The likenesses to counterpart relations make them suitable for an analysis of de-re temporal and modal predications. The difference renders the resulting counterpart theory immune to standard criticisms of Lewis’s Counterpart Theory (e.g., in Hazen 1979, and Fara and Williamson 2005). The use of sameness as opposed to similarity relations in the analysis of de-re temporal and modal predication renders the resulting truth conditions as statable in terms that proponents of Kripke’s identity-based analysis can accept. (shrink)

There is a well-known argument from Leibniz's Law for the view that coincident material things may be distinct. For given that they differ in their properties, then how can they be the same? However, many philosophers have suggested that this apparent difference in properties is the product of a linguistic illusion; there is just one thing out there, but different sorts or guises under which it may be described. I attempt to show that this ‘opacity’ defence has intolerable consequences for (...) the functioning of our language and that the original argument should therefore be allowed to stand. (shrink)

Humean metaphysics is characterized by a rejection of necessary connections between distinct existences. Dispositionalists claim that there are basic causal powers. The existence of such properties is widely held to be incompatible with the Humean rejection of necessary connections. In this paper I present a novel theory of causal powers that vindicates the dispositionalist claim that causal powers are basic, without embracing brute necessary connections. The key assumptions of the theory are that there are natural types of causal processes, and (...) that manifestations of powers are identified with certain kinds of causal processes. From these assumptions, the modal features of powers are explained in terms of internal relations between powers themselves and the process-types in which powers are manifested. (shrink)

A certain argument has been given in the literature to the effect that generalism (the view that all facts about all possible worlds can (in principle) be given in general terms, that is, without resorting to nonqualitative thisnesses) excludes transworld identitism (the view that there are numerical identities through possible worlds). It follows from this argument, among other things, that transworld identitism entails Scotistic haecceitism (acceptance of nonqualitative thisnesses), and that generalists subscribing to de reism (the view that there are (...) true modal statements de re) are committed to counterpartism (the view that sameness through worlds is not numerical identity). The purpose of this paper is to resist the argument in question by constructing generalist transworld identitism, that is, by providing an account involving identities through possible worlds, without resorting to nonqualitative thisnesses. (shrink)

It is commonly supposed that metaphysical modal claims are to be evaluated with respect to a single domain of possible worlds: a claim is metaphysically necessary just in case it is true in every possible world, and metaphysically possible just in case it is true in some possible world. We argue that the standard understanding is incorrect; rather, whether a given claim is metaphysically necessary or possible is relative to which world is indicatively actual. We motivate our view by attention (...) to discussions in Salmon 1989 and Fine 2005, in which various data are taken to support rejecting the transitivity of accessibility (Salmon) and modal monism (Fine); we argue that relativized metaphysical modality can accommodate these data compatible with both standard modal logic(s) and modal monism. Noting an analogy with two-dimensional semantics, we argue that metaphysical modality has a complex structure, reflecting what is counterfactually possible, relative to each indicatively actual world. In arguing for the need for relativization, we are broadly on the same side as Crossley and Humberstone (1977) and Davies and Humberstone (1979); our contribution here is, first, to offer distinctively metaphysical reasons for relativization, and second, to show that relativization can be incorporated in ways minimally departing from standard modal logic(s). (shrink)

If an object has a property essentially, it has that property in every possible world according to which it exists.2 If an object has a property accidentally, it does not have that property in every possible world according to which it exists. Claims about an object’s essential or accidental properties are de re modal claims, and essential and accidental properties are de re modal properties. Take an object’s modal profile to specify its essential properties and the range of its accidental (...) properties. Note that “world” as I am using it is a term of art: a modal realist believes that there are many concrete worlds, while the actualist believes in only one concrete world, the actual world. The ersatzist is an actualist who takes nonactual possible worlds and their contents to be abstracta. Essentialism is the view that objects have properties essentially, but one should distinguish deep essentialism from shallow essentialism. Deep essentialists take the (nontrivial) essential properties of an object to determine its nature— such properties give sense to the idea that an object has a unique and distinctive character, and make it the case that an object has to be a certain way in order for it to be at all.3 As Stephen Yablo (1987, 297) describes it, the essence of a thing is “an assortment of properties in virtue of which it is the entity in question,” as well as “a measure of what is required for it to be that thing.” Intuitively, on the deep essentialist picture, an ordinary object has essential properties, and it must have its essential properties in order for it to exist. On this view, objects’ essential properties are absolute, i.e., are not determined by contexts of describing (or thinking, etc.) about the object, and truths about such properties are absolute truths.4 Shallow essentialists oppose deep essentialists: they reject the view that objects can be said to have essential properties independently of contexts of description or evaluation, and so substitute context-dependent truths for the deep essentialist’s context-independent ones.. (shrink)

Perhaps no one has done more in the last 30 years to advance thinking in the metaphysics of modality than has Alvin Plantinga. Collected here are some of his most important essays on this influential subject. Dating back from the late 1960's to the present, they chronicle the development of Plantinga's thoughts about some of the most fundamental issues in metaphysics: what is the nature of abstract objects like possible worlds, properties, propositions, and such phenomena? Are there possible but non-actual (...) objects? Can objects that do not exist exemplify properties? Plantinga gives thorough and penetrating to all of these questions and many others. This volume contains some of the best work in metaphysics from the past 30 years, and will remain a source of critical contention and keen interest among philosophers of metaphysics and philosophical logic for years to come. (shrink)

States of affairs raise, among others, the following questions: What kind of entity are they (if there are any)?

The distinction between essential versus accidental properties has been characterized in various ways, but it is currently most commonly understood in modal terms along these lines: an essential property of an object is a property that it must have while an accidental property of an object is one that it happens to have but that it could lack. Let's call this the basic modal characterization where a modal understanding of a notion is one that explains the notion in terms of (...) necessity/possibility. In the characterization just given of the distinction between essential and accidental properties of an object, the use of the word “must” reflects the fact that necessity is invoked in the elucidation, while the use of the word “could” reflects that possibility is invoked. The notions of necessity and possibility are interdefinable: to say that something is necessary is to say that its negation is not possible; to say that something is possible is to say that its negation is not necessary; to say that an object must have a certain property is to say that it could not lack it; and to say that an object could have a certain property is to say that it is not the case that it must lack it. (shrink)

Pace Necessitism – roughly, the view that existence is not contingent – essential properties provide necessary conditions for the existence of objects. Sufficiency properties, by contrast, provide sufficient conditions, and individual essences provide necessary and sufficient conditions. This paper explains how these kinds of properties can be used to illuminate the ontological status of merely possible objects and to construct a respectable possibilist ontology. The paper also reviews two points of interaction between essentialism and modal logic. First, we will briefly (...) see the challenge that arises against S4 from flexible essential properties; as well as the moves available to block it. After this, the emphasis is put on the Barcan Formula (BF), and on why it is problematic for essentialists. As we will see, Necessitism can accommodate both (BF) and essential properties. What necessitists cannot do at the same time is to continue to understanding essential properties as providing necessary conditions for the existence of individuals; against what might be for some a truism. (shrink)

The paper presents a dilemma for both epistemic and non-epistemic versions of conceivability-based accounts of modal knowledge. On the one horn, non-epistemic accounts do not elucidate the essentialist knowledge they would be committed to. On the other, epistemic accounts do not elucidate everyday life de re modal knowledge. In neither case, therefore, do conceivability accounts elucidate de re modal knowledge.

Due to the influence of Nathan Salmon’s views, endorsement of the “flexibility of origins” thesis is often thought to carry a commitment to the denial of S4. This paper rejects the existence of this commitment and examines how Peacocke’s theory of the modal may accommodate flexibility of origins without denying S4. One of the essential features of Peacocke’s account is the identification of the Principles of Possibility, which include the Modal Extension Principle (MEP), and a set of Constitutive Principles. Regarding (...) their modal status, Peacocke argues for the necessity of MEP, but leaves open the possibility that some of the Constitutive Principles be only contingently true. Here, I show that the contingency of the Constitutive Principles is inconsistent with the recursivity of MEP, and this makes the account validate S4. It is also shown that, compatibly with the necessity of the Constitutive Principles, the account can still accommodate intuitions about flexibility of origins. However, the account we end up with once those intuitions are consistently accommodated may not be satisfactory, and this opens up the debate about whether or not artefacts allow for some variation in their origins. (shrink)

In ‘A New Route to the Necessity of Origin’, Rohbraugh and deRosset offer an argument for the Necessity of Origin appealing neither to Suffciency of Origin nor to a branching-times model of necessity. What is doing the crucial work in their argument is instead the thesis they name ‘Locality of Prevention’. In this response, we object that their argument is question-begging by showing, first, that the locality of prevention thesis is not strong enough to satisfactorily derive from it the intended (...) conclusion, and, second, that the argument is not sound unless the Necessity of Origin is operating as an implicit premiss. (shrink)

Since the mid-90s dispositionalism, the view that dispositions are irreducible, real properties, gained strength due to forceful counterexamples (finks and antidotes) that could be launched against Humean anti-dispositionalist attempts to reductively analyse dispositional predicates. -/- In the light of these anti-Humean successes, and in combination with ideas surrounding metaphysical necessity put forward by Kripke and Putnam, some dispositionalists felt encouraged to propose a strong anti-Humean view under the name of “Dispositional Essentialism”. -/- In this paper, I show that, ironically, the (...) counterexamples dispositionalists have used against the Humean reductive analysis of dispositional predicates also prove to be problems for a strong form of dispositional essentialism that assimilates dispositionality and metaphysical necessity. -/- Help comes from an unlike ally—Carnapian reductions sentences—but the alliance is not unproblematic. (shrink)

A not-unpopular position in the metaphysics of material objects (Ted Sider's, for instance) combines realism about what objects there are and the conditions of objecthood with conventionalism about de re modality. I argue that this is not a coherent combination of views: one must go fully conventionalist, or fully realist. The central argument displays the difficulty for the modal conventionalist/object realist in specifying the object that satisfies de re modal predicates. I argue that if this is a mind-independent object, contradictions (...) arise when we consider the possibility or actuality of non-equivalent conventions both applying to 'the same object'. (shrink)

Counterpart theory has come a long way since the seventies. Its virtues are now generally appreciated. It has been extended to temporal discourse.1 And it is less often dismissed out of hand, now that Saul Kripke’s scornful words are no longer regarded as the last on the subject. But new critics have appeared, equally formidable if less dismissive. Counterpart theorists, both modal and temporal, owe them answers.

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.

I undertake a metaphysical investigation of Saul Kripke's modern classic, Naming and Necessity (1980). The general problem of my study may be expressed as follows: What is the metaphysical justification of the validity and existence of the pertinent classes of truths, the necessary a posteriori and the contingent a priori, according to the Kripke Paradigm? My approach is meant to disclose the logical and ontological principles underlying Kripke's arguments for the necessary a posteriori and the contingent a priori respectively. The (...) results of my study are to a certain extent negative: They attempt to show that the classes of the necessary a posteriori and the contingent a priori statements cannot possibly be valid. If the general argument of this thesis is sound, then, on this ground, the realist conception of metaphysical essentialism is rejected. The positive thesis of this study is the articulation of certain ways to frame the necessary a posteriori and the contingent a priori which avoid the problems of realistic essentialism and which suggest a certain transcendental reading of modality. According to the Kripke Paradigm, any de dicto modal status (of a statement) derives ultimately from the de re modality inherent in the object designated, as the object is characterised by contingent and necessary properties on the ontological level. Thus, the Kripke Paradigm is primarily a thesis in de re realist essentialism. The final verdict in this study is that the Kripke Paradigm cannot sustain the realistic conception of de re metaphysical essentialism. If we should adopt a transcendental reading of modality, then certain portions of the Kripke Paradigm are valid. I do not delineate or possess the details of a comprehensive doctrine of transcendental metaphysic. Nevertheless, the observations I make should suffice to bring about the rough orientation of how I conceive the notion of transcendental modality. (shrink)

Australasian Journal of Philosophy, Volume 89, Issue 4, Page 755-756, December 2011.