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)

In a series of articles, Fine (Monist 83:357–361, 2000; Mind 112:195–234, 2003; Mind 115:1059–1082, 2006) presents some highly compelling objections to monism, the doctrine that spatially coincident objects are identical. His objections rely on Leibniz’s Law and linguistic environments that appear to be immune to the standard charge of non-transparency and substitution failure. In this paper, I respond to Fine’s objections on behalf of the monist. Following Schnieder (Philosophical Quarterly 56:39–54, 2006), I observe that arguments from Leibniz’s Law are valid (...) only if they involve descriptive, rather than metalinguistic, negation. Then I show that the monist is justified in treating the negation in Fine’s objections as metalinguistic in nature. Along the way I make a few methodological remarks about the interaction between the study of natural language and metaphysics. I also present evidence that some of the linguistic environments which Fine relies on are, contrary to appearances, non-transparent. (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)

Can an ontology which treats properties as really out there in the world be combined vvith the view that necessity is not out there? What about the necessity by which redness excludes greenness, or weighing 8 kg excludes weighing 6 kg? Armstrong, who combines property realism with logical atomism, argues that such exclusions reflect just the trivial necessity that a whole cannot be any of its proper parts. Buthis argument fails for colors themselves and for other cases of contrary properties. (...) Property realism must be necessity realism. (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)

Sydney Shoemaker’s Causal Theory of Properties is an important starting place for some contemporary metaphysical perspectives concerning the nature of properties. In this paper I discuss the causal and intrinsic criteria that Shoemaker stipulates for the identity of genuine properties and relations, and address George Molnar’s criticism that holding both criteria presents an unbridgeable hypothesis in the Causal Theory of Properties. The causal criterion requires that properties and relations contribute to the causal powers of objects if they are to be (...) deemed genuine rather than ‘mere-Cambridge’. The intrinsic criterion requires that all genuine properties and relations be intrinsic. Molnar’s S-property argument says that these criteria conflict if one considers extrinsic spatiotemporal properties and relations to contribute causally. In this paper I argue that a solution to the contradiction that Molnar identifies involves a denial of discreteness between objects, leading to a Power Holist perspective and a resulting deflationary account of intrinsicality. -/- Keywords: Shoemaker, Molnar, Holism, genuine properties, powers, Causal Theory of Properties . (shrink)

In this paper I argue that the requirement for the qualitative is theory-dependent, determined by the fundamental assumptions built into the ontology. John Heil’s qualitative, in its role as individuator of objects and powers, is required only by a theory that posits a world of distinct objects or powers. Does Heil’s ‘deep’ view of the world, such that there is only one powerful object (e.g. a field containing modes or properties which we perceive as manifest everyday objects) require the qualitative (...) as individuator of objects and powers? The answer depends on whether it is possible to account for the manifest objects and the ostensible spatial primacy of our perceived world without recourse to the qualitative. In this paper I outline just such an account with the intention of extending Heil’s efforts to incorporate fundamental power in the world while providing a coherent explanation for our strong intuition of spatial, as against relational, priority. (shrink)

I offer a brief formal exploration of a certain natural extension of the notion of rigidity to predicates, the notion of an essentialist predicate. I show that, under reasonable assumptions, true "identification sentences" involving essentialist predicates (such as 'Cats are animals') are necessary, and hence that the notion of essentiality is formally analogous in this respect to the notion of singular term rigidity. /// El artículo hace una breve exploración formal de una extensión natural de la noción de rigidez a (...) los predicados, la noción de predicado esencialista. Muestro que, dados supuestos razonables, las "oraciones de identificación" verdaderas que contienen predicados esencialistas (por ejemplo, 'Los gatos son animales') son necesarias, y por tanto que la noción de esencialidad es formalmente análoga en este sentido a la noción de rigidez para los términos singulares. (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)

Philosophers affiliated with the Nyāya school of classical Indian philosophy developed an impressive species of realism. Nyāya philosophers defended direct realism in holding that we perceive bodies, not just their qualities or mental images of their qualities. This sort of realism has been out of favor for centuries in the West and faces a number of problems that the Nyāya knew and answered in a sophisticated way. Rather than focus on the Nyāya defense of direct realism, we focus on the (...) Nyāya defense of epistemological realism in order to explicate what Nyāya philosophers took to be implications of their view that we know something about the way things are in themselves. Specifically, we argue that the epistemological realism of the Nyāya philosophers commits them to a strong form of essentialism, which furthermore entails that substances exist and instantiate natural-kind universals. (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)

This paper considers Kripke's (1972, 1980) modal arguments against descriptivism about proper names, the descriptivist reply that the meaning of a name is given by a description involving the modifier ‘actually’, and Kit Fine's (1994) distinction between necessary and essential attributes. It explains how Kripke's modal arguments can be recast in essentialist terms by appealing to Fine's distinction, and it argues that the resulting essentialist arguments are immune to the abovementioned descriptivist reply to the original modal arguments.

Modality and Anti-Metaphysics critically examines the most prominent approaches to modality among analytic philosophers in the twentieth century, including essentialism. Defending both the project of metaphysics and the essentialist position that metaphysical modality is conceptually and ontologically primitive, Stephen McLeod argues that the logical positivists did not succeed in banishing metaphysical modality from their own theoretical apparatus and he offers an original defence of metaphysics against their advocacy of its elimination. -/- Seeking to assuage the sceptical worries which underlie modal (...) anti-realism, McLeod provides an original contribution to essentialist epistemology, engaging with current debates about modality and suggesting that standard essentialist approaches to some issues in the philosophies of logic and language require revision. -/- This book offers valuable insights to professional philosophers, postgraduates and advanced undergraduates interested in metaphysics, philosophy of logic or the history of twentieth-century analytic philosophy. (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)

Essentialism is, on the one hand, anchored with considerable firmness in a common sense picture of the world. On the other hand, it was dismissed for logico-philosophical reasons by a scientifically minded theorist like Quine. ``New essentialists'' like Kripke did engage in very profitable theorizing on an essentialist basis, but made no significant effort to investigate the prospects of imparting to an essentialist metaphysics a solid foundation within a scientific world view. These foundational prospects are the concern of the article. (...) – The investigation is guided by two ideas which are elaborated within a proof theoretical framework in the course of the article. First, being an essential F (where ``F'' represents a predicate) is linked with a lifelong possession of the property signified by ``F'' (but there is something more in it). Second, a special kind of necessity is involved in (true) predications of essential F-ness; it should be capable, like possibly all kinds of necessity, of being spelt out, in the final analysis, in terms of the provability of appropriate propositions in appropriate theoretical systems. In outlining the relevant axiomatic bases, the article draws on an early paper by E. Hirsch on individuation and essence. (shrink)

I have taken the traditional problem of the seeming interdependence of identity concepts and essentialistic concepts and the attendant difficulties with circularity as a starting point in my consideration of recent attempts to provide accounts ofde re essences. Having distinguished between theories of individual and generic essences, I have shown how a linguistic device based upon a new approach to referring expressions has, perhaps, provided some advance in the understanding of individualde re essences. I have argued that, however efficacious these (...) linguistic devices may be in dealing with individual essences, they are of no help in dealing with generic essences. I considered, therefore, one of the recent attempts to use science as the arbiter ofde re essences and concluded that such attempts will not, ultimately, solve the traditional problem of circularity. That problem remains, arising in different forms to thwart different attempts to account forde re generic essences. (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)

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.

The Barcan formula (BF) is commonly paraphrased as the schematic conditional that if it is possible that there be a phi then something or other is possibly a phi. It is validated by the most straightforward systems of quantified modal logic. It is also widely considered to pose a threat to the commonsensical metaphysical view that there are no non-actual (or ‘merely possible’) things. I show how BF can be cleared of such a charge by construing it as a bridge (...) principle connecting modality de dicto and modality de re while retaining a Russellian robust sense of reality in modal matters. (shrink)

This book argues that words and thoughts are typically about whatever they are about necessarily rather than contingently. The argument proceeds by articulating a requisite modal background and then bringing this background to bear on cognitive matters, notably the intentionality of cognitive episodes and states. The modal picture that emerges from the first two chapters is a strongly particularist one whereby possibilities reduce to possibilities for particular things (or pluralities thereof) where the latter are determined by the natures of the (...) particular things (or pluralities) involved. The next three chapters are devoted to the aboutness of referring terms in language and thought. The approach espoused is, again, strongly particularist in allotting explanatory priority to cognitive episodes and states regarding particular things (aka de re attitudes). (shrink)

Realism about material objects faces a variety of epistemological objections. Recently, however, some realists have offered new accounts in response to these long-standing objections; many of which seem plausible. In this paper, I raise a new objection against realism vis-à-vis how we could empirically come to know mind-independent essential properties for objects. Traditionally, realists hold kind-membership and persistence as bound together for purposes of tracing out an object’s essential existence conditions. But I propose kind-membership and persistence for objects can conceptually (...) come apart and function epistemologically distinctly from one another—in which case the usual reliance by realists on an assumption of persistence to determine kind-membership conditions is unjustified. Thus, present realist attempts to explain how empirical detection of mind-independent essential properties for objects could possibly occur inevitably results in circularity. The charge against the realist is to explain why we don’t have to first discover persistence conditions for an object before we can ascertain kind-membership conditions for an object. If no answer is forthcoming, then it seems the weight of the epistemological objection to realism is back in full force. (shrink)

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)