I defend a new version of the non-identity theodicy. After presenting the theodicy, I reply to a series of objections. I then argue that my approach improves upon similar approaches in the literature.

Paradoxes of nested modality, like Chisholm’s paradox, rely on S4 or something stronger as the propositional logic of metaphysical modality. Sarah-Jane Leslie’s objection to the resolution of Chisholm’s paradox by means of rejection of S4 modal logic is investigated. A modal notion of essence congenial to Leslie’s objection is clarified. An argument is presented in support of Leslie’s crucial but unsupported assertion that, on pain of inconsistency, an object’s essence is the same in every possible world. A fallacy in the (...) argument is exposed. Alternative interpretations of Leslie’s objection are provided and are found to involve equivocation between different notions of “essence.” A material artifact’s modal essence, as distinct from its quiddity essence, could have been different than it is. (shrink)

Essentialists suppose that for every individual, if that individual exists at any possible world, then necessarily that individual exemplifies some non-trivial qualitative property essential to it, as such. Anti-essentialists deny this. One important argument leveled by some anti-essentialists against essentialism takes the form of a thought experiment, one originally introduced by Roderick Chisholm, sometimes referred to as Chisholm's Paradox (CP). In this essay, I defend essentialism against CP. I begin by presenting the argument and showing how it leads to a (...) contradiction of the essentialist thesis. I then consider one of the most popular solutions to CP to date, that given by Nathan Salmon. Next, I critique Salmon's proposal and show that it is an insufficient response on behalf of the essentialist. And finally, I propose a novel solution to the paradox and discuss why it is that many metaphysician in the past have found CP plausible, despite being fallacious. (shrink)

Nathan Salmon, in his paper Trans-World Identification and Stipulation (1996) purports to give a proof for the claim that facts concerning trans-world identity cannot be conceptually reduced to general facts. He calls this claim ‘Extreme Haecceitism.’ I argue that his proof is fallacious. However, I also contend that the analysis and ultimate rejection of his proof clarifies the fundamental issues that are at stake in the debate between the reductionist and haecceitist solutions to the problem of trans-world identity. These issues (...) hinge on the ability of modal logic and possible worlds semantics to draw a hard and fast distinction between the logic and the metaphysics of modal logic. I shall claim that the considerations in this paper call into question the viability of such a distinction. (shrink)

In the last 30 years much philosophical discussion has been generated by Kripke’s proof of the necessity of origin for material objects presented in footnote 56 of ‘Naming and Necessity’. I consider the two most popular reconstructions of Kripke’s argument: one appealing to the necessary sufficiency of origin, and the other employing a strong independence principle allegedly derived from the necessary local nature of prevention. I argue that, to achieve a general result, both reconstructions presuppose an implicit Humean atomistic thesis (...) of recombination, according to which any two (non-overlapping) possible objects can simultaneously coexist in one and the same world. Yet recombination ill accords with the other assumptions of the proofs. I also argue that the locality of prevention does not entail strong independence. (shrink)

The distinction between essential versus accidental properties has been characterized in various ways, but it is currently most commonly understood in modal terms: 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 characterization 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, the use of the word “must” reflects the fact that necessity is invoked, 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)

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)

Michael Jubien’s Ontology, Modality, and the Fallacy of Reference is an interesting and lively discussion of those three topics. In ontology, Jubien defends, to a first approximation, a Quinean conception: a world of objects that may be arbitrarily sliced or summed. Slicing yields temporal parts; summing yields aggregates, or fusions. Jubien is very unQuinean in his explicit Platonism regarding properties and propositions, but concerns about abstracta are peripheral to much of the argumentation in the book.1 His version of the doctrine (...) that arbitrary mereological sums exist is nonstandard in that he views it as a convention (albeit a useful one) that we treat sums of objects as themselves being objects. Indeed, he views the concept of objecthood itself as being conventional. The world consists fundamentally of stuff, which we divide into things in any way that suits our purposes. In modality, Jubien’s views are to a first approximation Chisholmian: he holds the doctrine of mereological essentialism, according to which anything.. (shrink)

Two main claims are defended in this paper: first, that typical disputes in the literature about the ontology of physical objects are merely verbal; second, that the proper way to resolve these disputes is by appealing to common sense or ordinary language. A verbal dispute is characterized not in terms of private idiolects, but in terms of different linguistic communities representing different positions. If we imagine a community that makes Chisholm's mereological essentialist assertions, and another community that makes Lewis's four-dimensionalist (...) assertions, the members of each community speak the truth in their respective languages. This follows from an application of the principle of interpretive charity to the two communities. (shrink)

Some philosophers believe that everyday objects are 4-dimensional spacetime worms, that a person (for example) persists through time by having temporal parts, or stages, at each moment of her existence. None of these stages is identical to the person herself; rather, she is the aggregate of all her temporal parts.1 Others accept “three dimensionalism”, rejecting stages in favor of the notion that persons “endure”, or are “wholly present” throughout their lives.2 I aim to defend an apparently radical third view: not (...) only do I accept person stages; I claim that we are stages.3 Likewise for other objects of our everyday ontology: statues are statue-stages, coins are coin-stages, etc. At one level, I accept the ontology of the worm view. I believe in spacetime worms, since I believe in temporal parts and aggregates of things I believe in. I.. (shrink)

The existence and importance of supervenience principles for identity across times and worlds have been noted, but insufficient attention has been paid to their precise nature. Such attention is repaid with philosophical dividends. The issues in the formulation of the supervenience principles are two. The first involves the relevant variety of supervenience: that variety is global, but there are in fact two versions of global supervenience that must be distinguished. The second involves the subject matter: the names “identity over time” (...) and “identity across worlds” are misnomers, for in neither case is identity at issue. The philosophical dividends then follow. Nathan Salmon’s argument that identity over time needs no “grounds” in matters of qualitative fact can be answered, as can an argument offered by many, that coincident objects would require objectionably ungrounded differences in identities across times and worlds. (shrink)

The dogma that the propositional logic of metaphysical modality is S5 is rebutted in related installments (previously published and unpublished essays).

In my dissertation, I address a variety of issues in the metaphysics of space and related areas. I begin by discussing the popular thesis that regions of space are identical to sets of points in space. I present three arguments against this thesis and conclude that we should be skeptical of it. In its place, I propose an axiomatic theory of regions of space that is consistent with both reductive accounts of their nature and with accounts that treat them as (...) sui generis entities. -/- I next explore the consequences of the aforementioned considerations. In particular, I describe five different sorts of structure each of which is such that the claim that space could have that structure is consistent with the axiomatic theory previously proposed. I claim that this fact, together with the skepticism concerning reductive accounts argued for earlier, shows that we should take seriously the claim that space could have any of these structures. -/- Having argued that we should be skeptical of the thesis that regions of space are identical to sets of points in space and suggesting that space could have different sorts of structure, I discuss how best to analyze continuity. I present an analysis of continuity inspired by remarks of Richard Cartwright in his 1975 paper ‘Scattered Objects’. I argue that this Cartwrightian analysis should be rejected because it identifies regions of space with sets of points in space, and I present a modified version of the analysis that does not do so. I note, however, that there is an intuitive notion of continuity that is not captured by this modified Cartwrightian analysis. I present and defend an analysis of continuity that better captures this intuitive notion. -/- I then turn to the issue of how to analyze what it is for a region of space to be open and what it is for a region of space to be closed. Here I argue that Cartwright’s analyses of these notions are incorrect. I then present a series of alternative analyses, revising each in response to objections. This process culminates with my proposed analyses of what it is for a region of space to be open and what it is for a region of space to be closed. -/- Finally, I discuss the Maximally Continuous Account of Simples (MaxCon), originally formulated and defended by Ned Markosian in his 1998 paper ‘Simples’. I argue that Markosian’s version of MaxCon, which identifies regions of space with sets of points in space and relies on the Cartwrightian analysis of continuity, should be rejected. I then formulate a new version of MaxCon that builds on the views defended earlier in my dissertation and defend this new version of MaxCon from objections. (shrink)

I explore options for a plenitudinarian solution to the Paradox of Flexible Origin Essentialism, taking as my unlikely starting point the views of Sarah-Jane Leslie, who holds that if plenitudinarianism is true, then there is in fact no paradox to be solved, only the illusion of one. The first three sections are expository: Sect. 1 on plenitudinarianism, Sect. 2 on the paradox, and Sect. 3 on Leslie’s views about how plenitudinarianism bears on the paradox. In Sect. 4, I reject the (...) contention that there is no paradox and critically explore three options for a plenitudinarian solution. In Sect. 5, I argue that the plenitudinarian ought to endorse a fourth option. In Sect. 6, I consider an objection. I endorse neither plenitudinarianism nor its denial; the main aim of the paper is to argue that for one who does endorse plenitudinarianism, the best solution to the Paradox of Flexible Origin Essentialism is clear. (shrink)

Pierre Saint-Germier | : Nous discutons la thèse, acceptée par de nombreux théoriciens des intuitions rationnelles, selon laquelle ces dernières s’accompagnent d’une apparence de nécessité. L’existence d’intuitions rationnelles ayant pour objet des propositions contingentes jette un doute sur l’adéquation de cette thèse. Le problème peut trouver une solution dans le cadre d’une théorie faillibiliste des intuitions rationnelles, pourvu que l’on admette des illusions modales inéliminables. En nous appuyant sur une explication bidimensionnelle de l’a priori contingent, nous défendons une solution différente (...) consistant à reconsidérer le contenu des apparences associées aux intuitions rationnelles : ce que l’on pourrait prendre pour des apparences de nécessité n’est autre qu’une manifestation de leur caractère a priori. | : We discuss the view, accepted by many rational intuition theorists, that rational intuitions involve appearances of necessity. The fact that we can have rational intuitions of contingent propositions casts a doubt on the adequacy of this view. This fact can be accommodated by a fallibilist theory of rational intuitions, provided one accepts that these intuitions generate ineliminable modal illusions. Drawing on two-dimensional explanations of the contingent a priori, we defend an alternative view according to which the appearances involved in rational intuitions are not appearances of necessity but rather an expression of their a priori status. (shrink)

According to haecceitism, some maximal possibilities differ even while they are qualitatively indiscernible. Since haecceitism is a modal thesis, it is typically defended by appeal to conceivability arguments. These arguments require us to conceive of qualitatively indiscernible possibilities that differ only with respect to the identity of the individuals involved. This paper examines a series of conceivability arguments for haecceitism and a variety of anti-haecceitist responses. It concludes that there is no irresistible conceivability argument for haecceitism even while anti-haecceitist responses (...) do come with certain notable commitments. (shrink)

Existentialism concerning singular propositions is the thesis that singular propositions ontologically depend on the individuals they are directly about in such a way that necessarily, those propositions exist only if the individuals they are directly about exist. Haecceitism is the thesis that what non-qualitative facts there are fails to supervene on what purely qualitative facts there are. I argue that existentialism concerning singular propositions entails the denial of haecceitism and that this entailment has interesting implications for debates concerning the philosophy (...) of language, the nature of propositions, and the metaphysics of modality. (shrink)

One common objection to Conventionalism about modality is that since it is contingent what our conventions are, the modal facts themselves will thereby be contingent. A standard reply is that Conventionalists can accept this, if they reject the S4 axiom, that what is possibly possible is possible. I first argue that this reply is inadequate, but then continue to argue that it is not needed, because the Conventionalist need not concede that the contingency of our conventions has any bearing on (...) the modal status of necessary truths. It is explained why this does not compromise the Conventionalist claim that necessity – and particularly, essence – is due to conventions. (shrink)

The core idea of David Armstrong’s combinatorial theory of possibility is attractive. Rearrangement is the key to modality; possible worlds result from scrambling bits and pieces of other possible worlds. Yet I encounter great difficulty when trying to formulate the theory rigorously, and my best attempts are vulnerable to counterexamples. The Leibnizian biconditionals relate possibility and necessity to possible world and true in.

Saul Kripke has convinced many of us that material things have their material origins essentially. Plutarch, through his Ship of Theseus story, has convinced many of us that material things can sometimes survive gradual replacements of their material parts, that they are materially nonrigid. By way of a series of counterexamples, I will argue that any attempt to specify what in particular is essential about material origins will founder on the phenomenon of material non-rigidity.

The dogma that the propositional logic of metaphysical modality is S5 is rebutted. The author exposes fallacies in standard arguments supporting S5, arguing that propositional metaphysical modal logic is weaker even than both S4 and B, and is instead the minimal and weak metaphysical-modal logic T.

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)

The structuralist conception of metaphysics holds that it aims to uncover the ultimate structure of reality and explain how the world's richness and variety are accounted for by that ultimate structure. On this conception, metaphysicians produce fundamental theories, the primitive, undefined expressions of which are supposed to 'carve reality at its joints', as it were. On this conception, ontological questions are understood as questions about what there is, where the existential quantifier 'there is' has a fundamental, joint-carving interpretation. Structuralist orthodoxy (...) holds that there is exactly one fundamental, joint-carving interpretation that an existential quantifier could have. This orthodox assumption could go wrong--either by there being too few fundamental-quantifier interpretations, or by there being too many. In this dissertation I examine the implications of these non-orthodox options. Someone who thinks there are too many fundamental-quantifier interpretations might think this means standard ontological debates are in some sense defective of 'merely verbal', or she might think instead that the different quantifiers show that there are different 'ways' or 'modes' of being. I argue that the first option runs into problems with a certain sort of realism about logic, but that there is no general problem with the second option, despite its longstanding bad philosophical reputation. I also argue that realism about logic gives us reason to think the dispute between someone who thinks there are many 'modes of being' in this sense and someone who thinks there is just one is not itself verbal. Finally, I turn to the case in which there are no fundamental quantifiers, arguing that it brings with it a host of theoretical problems we could avoid with quantifiers. (shrink)

The standard view of metaphysical necessity is that it is truth in all possible worlds, and therefore that the correct modal logic for metaphysical necessity is S5, in models of which all worlds are accessible from each other. I argue that S5 cannot be the correct logic for metaphysical necessity because accessibility is not symmetric: there are possible worlds that are accessible from ours but from which our world is not accessible. There are (or could be) some individuals who, if (...) they had not existed, could not have existed. Once the possibility of such individuals is lost, it is gone forever. (shrink)

Our topic is the ontology and persistence conditions of material objects. One widely held doctrine is that identity-over-time has causal commitments. Another is that identity-over-time is just identity as it relates one object that exists at two times. We believe that a tension exists between these two apparently sensible positions: very roughly, if identity is the primary conceptual component of identity-over-time and—as is plausible—identity is noncausal, then the conceptual origins of the causal commitments of identity-over-time become a mystery. We will (...) begin by formulating the two widely held doctrines and our puzzle more fully and more carefully. Then, the remainder of the paper will be devoted to analyzing views one might adopt that could minimize the tension. (shrink)

Le Poidevin has recently presented an argument that gives rise to a serious problem for relationist theories of space. It appeals to the simple geometrical fact that if A, B and C are three points lying in a straight line, then AB and BC together entail AC. He suggests that an ontological relationship of supervenience must be appealed to to explain this entailment. Given this thesis of supervenience, relationism is implausible. I argue that the problem that Le Poidevin raises for (...) relationism should be rejected, because the thesis of supervenience is false. The latter rests upon what Le Poidevin refers to as ‘The explanatory principle', a principle which he claims to be a natural extension of the truthmaker principle. Contrary to this, I argue that given any plausible theory of truthmaking, the explanatory principle is false. With the rejection of this principle, Le Poidevin's argument against relationism collapses. (shrink)

Chisholm’s paradox serves as an important constraint on our modal theorising. For example, one lesson of the paradox is that widely accepted essentialist theses appear incompatible with metaphysical necessity obeying a logic that includes S4. However, this article cautions against treating Chisholm’s paradox in isolation, as a single line of reasoning. To this end, the article outlines two crucial morals about Chisholm’s paradox which situate the paradox within a broad family of paradoxes. Each moral places significant constraints on the paradox’s (...) solution space. In light of this perspective, the paper applies the two morals to a recently proposed solution to Chisholm’s Paradox by Benj Hellie, Murray and Wilson Oxford studies in metaphysics, Oxford University Press, Oxford, 2012). (shrink)

In an addendum to Naming and Necessity, Saul Kripke argues against his earlier view that Sherlock Holmes is a possible person. In this paper, I suggest a nonstandard interpretation of the addendum. A key feature of this non-standard interpretation is that it attempts to make sense of why Kripke would be rejecting the view that Sherlock Holmes is a possible person without asserting that it is not the case that Sherlock Holmes is a possible person.

I discuss Stalnaker’s views on modality. In particular, his views on actualism, anti-essentialism, counterpart theory, and the Barcan formulas.

Can we explain why some propositions are necessary? Blackburn (Fact, science, and value. Blackwell, Oxford, 1987) has presented a dilemma aimed at showing that the necessity of a proposition cannot be explained either in the case where the explanans is another necessary proposition (necessity horn) or in the case where the explanans is a contingent proposition (contingency horn). Blackburn’s dilemma is intended to show that necessary truth is an explanatorily irreducible kind of truth: there is nothing that explains why propositions (...) are necessary, nothing that makes necessary necessary truths. In this paper, I criticize the contingency horn of Blackburn’s dilemma. On the one hand, I show that the official reconstruction of the horn uses a principle that is incompatible with the notion of explanation plausibly needed to explain why propositions are necessary; on the other, I show that a simpler formulation of the horn, which does not make use of such a controversial principle, makes essential use of principles that are incompatible with the idea that possibilities can have explanatory roles. I then defend the view that possibilities can have explanatory roles, and that the explanatory role of possibilities is best represented, within possible worlds, as the existence of trans-world relations of explanation. (shrink)