The principle of plenitude says that every material object coincides with abundantly many further objects that differ in their modal profiles. A necessarily unmanifested disposition is a disposition that necessarily does not manifest. This paper argues that if the principle of plenitude holds, then there are some necessarily unmanifested dispositions. These necessarily unmanifested dispositions will be argued to evade some objections against the cases of necessarily unmanifested dispositions put forward by Carrie Jenkins and Daniel Nolan.

The consensus among spacetime substantivalists is to respond to Leibniz's classic shift arguments, and their contemporary incarnation in the form of the hole argument, by pruning the allegedly problematic metaphysical possibilities that generate these arguments. Some substantivalists do so by directly appealing to a modal doctrine akin to anti-haecceitism. Other substantivalists do so by appealing to an underlying hyperintensional doctrine that implies some such modal doctrine. My first aim in this paper is to pose a challenge for all extant forms (...) of this consensus position. My second aim is to show what form substantivalism must take in order to uphold the consensus while addressing this challenge. The result is a novel "plenitudinous" substantivalist view, which predicts that certain modal facts about spacetime are vague or indeterminate. I then argue against this view on independent grounds, concluding that substantivalists should reject the consensus position. The paper also discusses the way forward for substantivalists in light of this conclusion. (shrink)

This paper first argues that we can bring out a tension between the following three popular doctrines: (i) the canonical reduction of metaphysical modality to essence, due to Fine, (ii) contingentism, which says that possibly something could have failed to be something, and (iii) the doctrine that metaphysical modality obeys the modal logic S5. After presenting two such arguments (one from the theorems of S4 and another from the theorems of B), I turn to exploring various conclusions we might draw (...) in light of these results, and argue that none comes cost free. In the course of laying out possible responses to my arguments, we'll have a chance to evaluate various doctrines about the interplay between contingency and essence, as well as develop some alternative reductions of metaphysical modality to essence. I don't decisively come down in favor of one response over the others, though I say some things that point towards the conclusion that essence has no role to play in reducing metaphysical modality. (shrink)

Neo‐Aristotelian Plenitude is the thesis that, necessarily, any property that could be had essentially by something or other is had essentially by something or other if and only if and because it is instantiated; any essentializable property is essentialized iff and because it is instantiated. In this paper, I develop a partial nonmodal characterization of ‘essentializable' and show it cannot be transformed into a full characterization. There are several seemingly insurmountable obstacles that any full characterization of essentializability must overcome. Moreover, (...) these obstacles threaten other views in the conceptual neighborhood such as Counterpart Theoretic Plenitude and Conceptualist Plenitude. (shrink)

According to a widely held principle—the poss-ability principle—an agent, S, is able to only if it is metaphysically possible for S to. I argue against the poss-ability principle by developing a novel class of counterexamples. I then argue that the consequences of rejecting the poss-ability principle are interesting and far-reaching.

Hybrid contingentism combines first-order contingentism, the view that it is contingent what individuals there are, with higher-order necessitism, the view that it is non-contingent what properties and propositions there are (where these are conceived as entities in the range of appropriate higher-order quantifiers). This combination of views avoids the most delicate problems afflicting alternative contingentist positions while preserving the central contingentist claim that ordinary, concrete entities exist contingently. Despite these attractive features, hybrid contingentism is usually faced with rejection. The main (...) reason for this is an objection that crucially involves haecceitistic properties, properties such as being identical to Plato or being identical to Aristotle. The objection alleges that by accepting the necessary existence of such haecceities, hybrid contingentists incur an explanatory commitment that they are unable to discharge, namely that of explaining how it is that certain haecceities ‘lock onto’ their target individuals even when those individuals are absent. To defend hybrid contingentism against this charge, I first clarify the haecceities objection in several respects and consider, in particular, what notion of explanation the objection is operating with. After arguing that it can be fruitfully understood as a challenge to provide metaphysical grounds for certain haecceity facts, I develop a contingentist response to the objection that draws on recent work on the connection between ground and essence. (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)

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)

We commonly explain the distinctive prudential and moral status of persons in terms of our mental capacities. I draw from recent work to argue that the common explanation is incomplete. I then develop a new explanation: We are ethically important because we are the object of a pattern of self-concern. I argue that the view solves moral problems posed by permissive ontologies, such as the recent personite problem.

The social world contains institutions, groups, objects, and more. This essay explores a puzzle about the essences of social items. There is widespread consensus against social essences because of problematic presuppositions often made about them. But it is argued that essence can be freed from these presuppositions and their problems. Even so, a puzzle still arises. In a Platonic spirit, essences in general seem detached from the world. In an Aristotelian spirit, social essences in particular seem embedded in the world. (...) The puzzle is that these inclinations are individually plausible but jointly incompatible. The essay has four aims: to clarify and refine the puzzle; to explore the puzzle's implications for essence in general and for social essences in particular; to illustrate the fruitfulness of the general distinction between detached and embedded; and to develop this distinction to sketch a novel solution to the puzzle. (shrink)

Jack Spencer has recently argued for the striking thesis that, possibly, an agent is able to do the impossible—that is, perform an action that is metaphysically impossible for that person to perform. Spencer bases his argument on (Simple G), a case in which it is impossible for an agent G to perform some action but, according to Spencer, G is still intuitively able to perform that action. I reply that we would have to give up at least four action-theoretical principles (...) if we accept that G is able to do the impossible. We may be best off retaining the principles and thus rejecting Spencer's intuition that G is able to do the impossible. I then consider an argument for the claim that G is able to do the impossible that goes through the Snapshot Principle. I, however, deny that any true variant of the Snapshot Principle shows that G is able to do the impossible. Moreover, the counterexample to the Snapshot Principle that I develop also suggests that G is unable to do the impossible in (Simple G). The most natural explanation for why an agent is unable to perform some action in this counterexample extends to (Simple G). Next, I develop three error theories for why we might initially share Spencer's intuition that G is able to do the impossible in (Simple G). Finally, I consider a couple other "G-cases" of Spencer's and find them all wanting. Perhaps we are unable to do the impossible. (shrink)

It is both a matter of everyday experience and a tenet of sociological theory that people often occupy a range of social roles and identities, some of which are associated with mutually incompatible properties. But since nothing could have incompatible properties, it is not clear how this is possible. It has been suggested, notably by Kit Fine (1982, 1999, 2006), that the puzzling relation between a person and their various social roles and identities can be explained by admitting an ontology (...) of social qua objects—objects constituted by, yet distinct from, the persons on which they are based. This article argues that admitting even a rich ontology of such qua objects does not suffice to explain the puzzle cases of interest. Instead, alternative resources are required which, once available, diminish the motivation for adopting an ontology of social qua objects in the first place. The paper concludes by considering whether there remains work for social qua objects in explaining differences in persistence conditions between a person and the social individuals to which they may give rise, but reaches a negative verdict. Social qua objects, if they exist, have little work to do in our theorizing about the relation between a person and their various social roles and identities. (shrink)

A number of prominent metaphysicians have recently defended the idea of material plenitude: wherever there is one material object, there is in fact a great multitude of them, all coincident and sharing many properties, but differing in which of these properties they have essentially and which accidentally. The main goal of this paper is to put on the agenda an important theoretical decision that plenitudinists face, regarding whether their plenitude is egalitarian or elitist, depending on whether or not they take (...) all objects that coincide at a certain location to be in some sense ontologically on a par. Many current proponents of plenitude tend toward egalitarianism. But current proponents often also point to an Aristotelian tradition they claim to carry on; indeed, the view is sometimes referred to as “neo-Aristotelian plenitude.” By examining some of the historical protagonists of Aristotelian plenitude, however, I show that they defended rather an elitist form of plenitude, wherein a single coincident is ontologically privileged in every occupied region. In the final section of the paper, I also try to articulate the basic motivation for each outlook, by way of initiating discussion of which view plenitudinists should believe. (shrink)

The sample space of the chance distribution at a given time is a class of possible worlds. Thanks to this connection between chance and modality, one’s views about modal space can have significant consequences in the theory of chance and can be evaluated in part by how plausible these implications are. I apply this methodology to evaluate certain forms of modal contingentism, the thesis that some facts about what is possible are contingent. Any modal contingentist view that meets certain conditions (...) that I specify generates difficulties in the philosophy of chance, including a problem usually associated with Humeanism that is known as ‘the problem of undermining futures’. I consider two well-known versions of modal contingentism that face this difficulty. The first version, proposed by Hugh Chandler and Nathan Salmon, rests on an argument for the claim that many individuals have their modal features contingently. The second version is motivated by the thesis that the existence of a possible world depends on the existence of the contingent individuals inhabiting it, and that many worlds are therefore contingent existents. (shrink)

During the last quarter of a century, a number of philosophers have become attracted to the idea that necessity can be analyzed in terms of a hyperintensional notion of essence. One challenge for proponents of this view is to give a plausible explanation of our modal knowledge. The goal of this paper is to develop a strategy for meeting this challenge. My approach rests on an account of modality that I developed in previous work, and which analyzes modal properties in (...) terms of the notion of a metaphysical law. I discuss what information about the metaphysical laws is required for modal knowledge. Moreover, I describe two ways in which we might be able to acquire this information. The first way employs inference to the best explanation. The metaphysical laws, including the essential truths, play a crucial role in causal and grounding explanations and we can gain knowledge of these laws by abductive inferences from facts of which we have perceptual or a priori knowledge. The second way of gaining information about the metaphysical laws rests on knowledge that is partly constitutive of competence with the concepts that are needed to express the relevant information. Finally, I consider how knowledge of the metaphysical laws can be used to establish modal claims, paying special attention to the much-discussed connection between conceiving and possibility. (shrink)

Amie Thomasson has argued against descriptivism about modality, which starts from the idea that modal statements serve to track features of the world and that these features explain the truth-values of modal claims. Thomasson objects that descriptivists cannot satisfactorily explain how modal features fit into the naturalistic picture of the world and that they cannot account for our apparent capacity to acquire modal knowledge. On Thomasson’s alternative to descriptivism (called ‘normativism’), the function of modal claims is to facilitate communication about (...) certain semantic rules. I argue that it is not obvious that the semantic rules that Thomasson takes to be expressed by modal truths really exist. Moreover, I defend a specific version of descriptivism – essentialism – against Thomasson’s objections. Essential truths play a central role in the best explanations of many facts about the world. That includes the explanations delivered by our best scientific theories once these theories are correctly interpreted philosophically. In this way, essences earn their keep in a naturalistic view of the world. Furthermore, the abductive methods by which we confirm our explanatory theories also support certain theses about essences. This allows essentialists to explain knowledge of essences and modal knowledge. (shrink)

This paper is organised as follows: first, I present Salmon’s theory of modality and compare it with the standard interpretation of modality: ‘the nonrelativized S5-friendly interpretation of metaphysical modality’. Second, I explain Murray and Wilson’s ‘two-dimensional S5-friendly interpretation of relativized metaphysical modality’. In the third and last part, I put forward a few arguments against Murray and Wilson’s attempt to provide an essentialist S5-friendly theory for modality. In general, this paper argues that if one wants to hold an essentialist theory (...) for relativized modality, then his best option in the market right now is to stick with Salmon’s proposal, which better represents a genuine essentialist interpretation of relativized metaphysical modality. (shrink)

According to material plenitude, every material object coincides with an abundance of other material objects that differ in the properties they have essentially and accidentally. Although this kind of plenitude is becoming increasingly popular, it isn't clear how to make sense of the view beyond its slogan form. As I argue, it turns out to be extraordinarily difficult to do so: straightforward attempts are either inconsistent or fail to capture the target idea. Making progress requires us to engage in more (...) delicate metaphysics than we might have expected and, along the way, reveals substantive constraints on the material world. In this article, I argue that any attempt to develop a coherent version of plenitude is subject to two under-appreciated challenges, and I develop a version of plenitude (global plenitude) capable of overcoming both. (shrink)

Fairchild (2019) advertised the humility of material plenitude, arguing that despite the profligate ontology of coincident objects it entails, the best version of plenitude is one that takes no stand on a range of nearby questions about modality and coincidence. Roughly, the thought is that plenitude says only that there are coincident objects corresponding to every consistent pattern of essential and accidental properties. Plenitude says (or should say) nothing about which patterns those might be, and so should be compatible with (...) any reasonable hypothesis about which combinations of properties it is possible for something to have. I argued in the earlier paper that a particular formulation of the target view (Global Plenitude) has exactly that virtue. But, unfortunately, Global Plenitude turns out not to be very humble at all. Global Plenitude is incompatible with an exceptionally compelling hypothesis about coincidence: that there are some things which coincide, but might not have. Scandal ensues. (shrink)

In his recent book, Daniel Korman contrasts ontological conservatives with permissivists and eliminativists about ontology. Roughly speaking, conservatives admit the existence of ‘ordinary objects' like trees, dogs, and snowballs, but deny the existence of ‘extraordinary objects', like composites of trees and dogs. Eliminativists, on the other hand, deny many or all ordinary objects, while permissivists accept both ordinary and extraordinary objects. Our aim in this paper is to outline some of our reasons for being drawn to permissivism, as well as (...) some of our misgivings about conservative metaphysics. In the first section, we discuss a tempting epistemic line of argument against conservatism. This isn’t a line of argument we find especially promising. Our most basic complaint against conservatism is not that conservatism has poor epistemic standing even if true, but instead that conservatism is weird. We develop this thought in the second part of the paper. In the final section we discuss some larger methodological issues about the project of ontology. (shrink)

Radically permissive ontologies like mereological universalism and material plenitude are typically motivated by concerns about arbitrariness or anthropocentrism: it would be objectionably arbitrary, the thought goes, to countenance only those objects that we ordinarily take there to be. Despite the prevalence of this idea, it isn't at all clear what it is for a theory to be “objectionably arbitrary,” or what follows from a commitment to avoiding arbitrariness in metaphysics. This paper aims to clarify both questions, and examines whether arguments (...) from arbitrariness really are the proper foundations for one or both varieties of ontological permissivism. I argue that these considerations (even when made more precise) are far less successful at motivating radical forms of permissivism than we often take them to be. To do better, permissivists must either supply a much more developed metaphysics of material objects, or a controversial (but tempting) conception of what we're doing when we do metaphysics. (shrink)

What is the relation between metaphysical necessity and essence? This paper defends the view that the relation is one of identity: metaphysical necessity is a special case of essence. My argument consists in showing that the best joint theory of essence and metaphysical necessity is one in which metaphysical necessity is just a special case of essence. The argument is made against the backdrop of a novel, higher-order logic of essence, whose core features are introduced in the first part of (...) the paper. The second part investigates the relation between metaphysical necessity and essence in the context of HLE. Reductive hypotheses are among the most natural hypotheses to be explored in the context of HLE. But they also have to be weighed against their non-reductive rivals. I investigate three different reductive hypotheses and argue that two of them fare better than their non-reductive rivals: they are simpler, more natural, and more systematic. Specifically, I argue that one candidate reduction, according to which metaphysical necessity is truth in virtue of the nature of all propositions, is superior to the others, including one proposed by Kit Fine, according to which metaphysical necessity is truth in virtue of the nature of all objects. The paper concludes by offering some reasons to think that the best joint theory of essence and metaphysical necessity is one in which the logic of metaphysical necessity includes S4, but not S5. (shrink)

Your belief that Obama is a Democrat would not be the belief that it is if it did not represent Obama, nor would the pain in your ankle be the state that it is if, say, it felt like an itch. Accordingly, it is tempting to hold that phenomenal and representational properties are essential to the mental states that have them. But, as several theorists have forcefully argued (including Kripke (1980) and Burge (1979, 1982)) this attractive idea is seemingly in (...) tension with another equally attractive thesis, namely, the token-identity thesis; the thesis according to which every mental state token is identical with some or other token physical state. In this paper, we show that these seemingly incontrovertible essentialist intuitions are in fact compatible with “token physicalism” regarding the mental. Given a suitably plentitudinous ontology of objects, we argue that there are physical things with which our token mental states can be identified. This is preferable to existing views that give up the essentiality claims or simply reject the token-identity thesis. (shrink)

While recent history has seen significant debate concerning the nature and extension of essence, comparatively little attention has been paid to the epistemology of essence. This is strange, as, plausibly, what answers we give to the metaphysical questions about essence will (or should) be partially constrained by our essence epistemology. Here, I aim to go some way towards filling this lacuna. In particular, I here argue that there is no plausible epistemic story available for non-modal accounts of essence. In particular, (...) existing accounts of essence epistemology cannot explain how we are able to know that something is genuinely essential, rather than merely necessary. One consequence is that modal accounts of essence – which only needs to supply an epistemology for a non-hyperintensional notion – look that much more plausible. (shrink)

An encyclopedia entry which covers various revisionary conceptions of which macroscopic objects there are, and the puzzles and arguments that motivate these conceptions: sorites arguments, the argument from vagueness, the puzzles of material constitution, arguments against indeterminate identity, arguments from arbitrariness, debunking arguments, the overdetermination argument, and the problem of the many.

“There are no gaps in logical space,” David Lewis writes, giving voice to sentiment shared by many philosophers. But different natural ways of trying to make this sentiment precise turn out to conflict with one another. One is a *pattern* idea: “Any pattern of instantiation is metaphysically possible.” Another is a *cut and paste* idea: “For any objects in any worlds, there exists a world that contains any number of duplicates of all of those objects.” We use resources from model (...) theory to show the inconsistency of certain packages of combinatorial principles and the consistency of others. (shrink)

The present paper focuses on essentialism about natural kinds as a case study in order to illustrate this more general point. Saul Kripke and Hilary Putnam famously argued that natural kinds have essences, which are discovered by science, and which determine the extensions of our natural kind terms and concepts. This line of thought has been enormously influential in philosophy, and is often taken to have been established beyond doubt. The argument for the conclusion, however, makes critical use of intuitions, (...) and I note that the intuitions are of the sort had by preschool children, and that they are traceable to a deep-seated cognitive outlook, which is often called “psychological essentialism.” Further, if we did not have such a cognitive outlook or implicit belief set—a belief set which is in fact in place by at least age 4—then we would not have the relevant philosophical intuitions. In light of this, I consider the question of whether natural kinds actually have scientifically discovered or discoverable essences, and whether these putative essences could determine the extensions of our terms and concepts as Kripke, Putnam, and many others have supposed. In fact, a number of philosophers of biology and chemistry have argued that biological and chemical kinds do not have such essences, yet these arguments—particularly in the case of chemistry—have not been assimilated by philosophers more generally. The reason for this poor assimilation is, I suggest, that the Kripke/Putnam view is just so intuitive. But this fact, I argue, is due to a deep-seated cognitive bias, rather than to any special insight into the nature of reality. (shrink)

Conditional excluded middle (CEM) is the following principe of counterfactual logic: either, if it were the case that φ, it would be the case that ψ, or, if it were the case that φ, it would be the case that not-ψ. I will first show that CEM entails the identity of indiscernibles, the falsity of physicalism, and the failure of the modal to supervene on the categorical and of the vague to supervene on the precise. I will then argue that (...) we should accept these startling conclusions, since CEM is valid. (shrink)