Ontological nihilism is the radical-sounding thesis that there is nothing at all. This chapter first discusses how the most plausible forms of this thesis aim to be slightly less radical than they sound and what they will have to do in order to succeed in their less radical ambitions. In particular, they will have to paraphrase sentences of best science into ontologically innocent counterparts. The chapter then points out the defects in two less plausible strategies, before going on to argue (...) that strategies that look more promising, including one based on Quine's predicate-functor language, face the same defects. (shrink)

∗ Apologies to Mark Hinchliff for stealing the title of his dissertation. (See Hinchliff, A Defense of Presentism. As it turns out, however, the version of Presentism defended here is different from the version defended by Hinchliff. See Section 3.1 below.).

Metaphysics is sensitive to the conceptual tools we choose to articulate metaphysical problems. Those tools are a lens through which we view metaphysical problems; the same problems look different when we change the lens. There has recently been a shift to "postmodal" conceptual tools: concepts of ground, essence, and fundamentality. This shift transforms the debate over structuralism in the metaphysics of science and philosophy of mathematics. Structuralist theses say that patterns are "prior" to the nodes in the patterns. In modal (...) terms this would mean that the nodes cannot vary independently of the pattern. But its postmodal meaning is unclear. Does it mean, e.g., that a fundamental account of reality somehow speaks only of patterns? What would that mean? Three structuralist positions are examined through a postmodal lens: nomic/causal/dispositional essentialism, structuralism about individuals (e.g., structural realism, e.g., ante rem mathematical structuralism), comparativism about quantities. The question of when theories are equivalent, and how that impacts the debate over structuralism, is also discussed. (shrink)

Growing-Block theorists hold that past and present things are real, while future things do not yet exist. This generates a puzzle: how can Growing-Block theorists explain the fact that some sentences about the future appear to be true? Briggs and Forbes develop a modal ersatzist framework, on which the concrete actual world is associated with a branching-time structure of ersatz possible worlds. They then show how this branching structure might be used to determine the truth values of future contingents. They (...) point out three different ways of interpreting the logical connectives, which give rise to three different logics of the open future: one supervaluationist, one corresponding to Lukasiewicz's strong Kleene logic, and one intuitionist. (shrink)

As is well known, Aristotelian natural philosophy, and many other systems of natural philosophy since, have relied heavily on teleology and teleological causation. Somehow, the purpose or end of an obj ect can be used to predict and explain what that object does: once you know that the end of an acorn is to become an oak, and a few things about what sorts of circumstances are conducive to the attainment of this end, you can predict a lot about the (...) sprouting of the acorn and the subsequent behaviour of the piece of vegetation that results. Once you know that a rock seeks to move towards the centre of the Earth, you gain some insight into why it falls when released, and why it deforms the carpet or foot that it lands on. Once you know that the rabbit seeks to preserve itself, you can predict it will run from the fox. And so on. There are at least three features of Aristotle’s teleology, and more generally of an Aristotelian frame of mind about teleology, that may induce suspicion. One is that an end can serve as a "cause": as well as the sort of causation we all recognize, efficient causation, there are other forms, one of which is teleological causation. However, this can look less odd if we think of causes as things that figure in "because" answers to "why" questions. Whether or not self-preservation, or the rabbit’s continued existence, or something similar, causes the rabbit to run, the reply "because it seeks to continue in existence" certainly makes sense as an answer, or part of an answer, to a question about why it ran from the fox. (At present we are only. (shrink)

It has often been argued that Humean accounts of natural law cannot account for the role played by laws in scientific explanations. Loewer (Philosophical Studies 2012) has offered a new reply to this argument on behalf of Humean accounts—a reply that distinguishes between grounding (which Loewer portrays as underwriting a kind of metaphysical explanation) and scientific explanation. I will argue that Loewer’s reply fails because it cannot accommodate the relation between metaphysical and scientific explanation. This relation also resolves a puzzle (...) about scientific explanation that Hempel and Oppenheim (Philosophy of Science 15:135–75, 1948) encountered. (shrink)

The Principle of Sufficient Reason says that all contingent facts must have explanation. In this 2006 volume, which was the first on the topic in the English language in nearly half a century, Alexander Pruss examines the substantive philosophical issues raised by the Principle Reason. Discussing various forms of the PSR and selected historical episodes, from Parmenides, Leibnez, and Hume, Pruss defends the claim that every true contingent proposition must have an explanation against major objections, including Hume's imaginability argument and (...) Peter van Inwagen's argument that the PSR entails modal fatalism. Pruss also provides a number of positive arguments for the PSR, based on considerations as different as the metaphysics of existence, counterfactuals and modality, negative explanations, and the everyday applicability of the PSR. Moreover, Pruss shows how the PSR would advance the discussion in a number of disparate fields, including meta-ethics and the philosophy of mathematics. (shrink)

The Principle of Sufficient Reason must be justified dialectically: by showing the disastrous consequences of denying it. We formulate a version of the Principle that is restricted to basic natural facts, which entails the obtaining of at least one supernatural fact. Denying this principle results in extreme empirical skepticism. We consider six current theories of empirical knowledge, showing that on each account we cannot know that we have empirical knowledge unless we all have a priori knowledge of the PSR. We (...) consider objections based on Neo-Humeanism and the essentiality of origins, and we consider the possibility that we have empirical knowledge without knowing it. (shrink)

It is my aim in this paper to show that the contemporary assimilation of essence to modality is fundamentally misguided and that, as a consequence, the corresponding conception of metaphysics should be given up. It is not my view that the modal account fails to capture anything which might reasonably be called a concept of essence. My point, rather, is that the notion of essence which is of central importance to the metaphysics of identity is not to be understood in (...) modal terms or even to be regarded as extensionally equivalent to a modal notion. The one notion is, if I am right, a highly refined version of the other; it is like a sieve which performs a similar function but with a much finer mesh. (shrink)

The main goal of Michael Tooley’s groundbreaking book is to establish a position intermediate between the tenseless theory of time and the standard tensed theory of time. Tooley argues for a novel version of the tensed theory of time, namely, that the future is unreal and the present and past real, and yet that reality consists only of tenseless facts. The question that naturally arises for the reader concerns an apparent paradox: how could the tensed theory of time be true (...) if reality consists only of tenseless facts? (shrink)

Hume's Dictum (HD) says, roughly and typically, that there are no metaphysically necessary connections between distinct, intrinsically typed, entities. HD plays an influential role in metaphysical debate, both in constructing theories and in assessing them. One should ask of such an influential thesis: why believe it? Proponents do not accept Hume's arguments for his dictum, nor do they provide their own; however, some have suggested either that HD is analytic or that it is synthetic a priori (that is: motivated by (...) intuitions we have no good reason to question). Here I explore whether belief in HD is directly justified on either grounds. I motivate and present more formal characterizations of HD; I show that there are good prima facie cases to be made for HD's being analytic and for its being synthetic a priori; I argue that each of the prima facie cases fails, some things considered. I close by offering two suggestions for how belief in HD might be indirectly justified on argumentative grounds. (shrink)

In ‘Quiddistic Knowledge’ (Schaffer in Philos Stud 123:1–32, 2005), Jonathan Schaffer argued influentially against the view that the laws of nature are metaphysically necessary. In this reply I aim to show how a coherent and well-motivated form of necessitarianism can withstand his critique. Modal necessitarianism—the view that the actual laws are the laws of all possible worlds—can do justice to some intuitive motivations for necessitarianism, and it has the resources to respond to all of Schaffer’s objections. It also has certain (...) advantages over contingentism in the domain of modal epistemology. I conclude that necessitarianism about laws remains a live option. (shrink)

A popular version of anti-Humeanism is one that views fundamental properties as being irreducibly dispositional in nature, and it is a view to which I am attracted. Proponents of this view typically object to Humean regularity theories of laws on the basis that they do not explain why our world is regular rather than chaotic from moment to moment. It is thought that, for this reason, Humeanism does not provide firm enough foundations for induction. However, in this paper I argue (...) that it is far from clear how these anti-Humeans can themselves explain this regularity. This is because it is far from clear how they can explain why the entities in our world do not change their dispositional properties arbitrarily over time. This is a neglected problem, which I call the retention problem. In an attempt to solve this problem, several naturalistic explanations of retention are explored. Unfortunately, none of these explanations is free of problems, showing that dispositional forms of anti-Humeanism may not have as many advantages as some have assumed where the problem of induction is concerned. (shrink)

Necessitarianism, as we shall use the term, is the view that natural properties and causal powers are necessarily connected in some way. In recent decades the most popular forms of necessitarianism have been the anti-Humean powers-based theories of properties, such as dispositional essentialism and the identity theory. These versions of necessitarianism have come under fire in recent years and I believe it is time for necessitarians to develop a new approach. In this paper I identify unexplored ways of positing metaphysically (...) necessary connections in nature, using the concepts of grounding and essential dependence. For example, I show that one could be a necessitarian by insisting that the properties of things necessarily ground their powers, and that one can maintain this while rejecting dispositional essentialism. Using different combinations of claims about grounding and essential dependence, I map out a spectrum of new positions and compare them to previous theories of natural modality. Some of these positions are compatible with Humean metaphysics while others are not. The overall aim of the paper is to provide a new metaphysical framework for understanding theories of powers and thereby launch a new necessitarian research programme. (shrink)

This paper is concerned with the question of the truth conditions of nomological statements. My fundamental thesis is that it is possible to set out an acceptable, noncircular account of the truth conditions of laws and nomological statements if and only if relations among universals - that is, among properties and relations, construed realistically - are taken as the truth-makers for such statements. My discussion will be restricted to strictly universal, nonstatistical laws. The reason for this limitation is not that (...) I feel there is anything dubious about the concept of a statistical law, nor that I feel that basic laws cannot be statistical. The reason is methodological. The case of strictly universal, nonstatistical laws would seem to be the simplest case. If the problem of the truth conditions of laws can be solved for this simple subcase, one can then investigate whether the solution can be extended to the more complex cases. I believe that the solution I propose here does have that property, though I shall not pursue that question here.1. (shrink)

The hole argument purports to show that all spacetime theories of a certain form are indeterministic, including the General Theory of Relativity. The argument has given rise to an industry of searching for a metaphysics of spacetime that delivers the right modal implications to rescue determinism. In this paper, I first argue that certain prominent extant replies to the hole argument—namely, those that appeal to an essentialist doctrine about spacetime—fail to deliver the requisite modal implications. As part of my argument, (...) I show that threats to determinism of the sort brought out by the hole argument are more general than has heretofore been recognized. I then use these results to propose a novel essentialist doctrine about spacetime that successfully rescues determinism, what I call sufficiency metric essentialism. However, I go on to argue that once we realize what an essentialist doctrine about spacetime must look like in order to address the hole argument, we should reject all such doctrines, because they can't fulfill their ambition of improving on standard modal replies to the argument. I close by suggesting some lessons for future work on spacetime and the metaphysics of physics more broadly, and also drawing some general morals for contemporary metaphysics, in particular about (i) whether essence can be used to articulate a precise structuralist doctrine, and (ii) the relationship between essence and modality. (shrink)

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)

Precis of my book by this title, for a symposium.

Exotic ontologies are all the rage. Distant from common sense and often science as well, views like mereological essentialism, nihilism, and fourdimensionalism appeal to our desire to avoid arbitrariness, anthropocentrism, and metaphysical conundrums.1 Such views are defensible only if they are materially adequate, only if they can “reconstruct” the world of common sense and science. (No disrespect to the heroic metaphysicians of antiquity, but this world is not just an illusion.) In the world of common sense and science, bicycles survive (...) changes in their parts, billiard balls strike one another, and nothing travels faster than light. The mereological essentialist denies the rst, but offers this replacement: “there exist successions of numerically distinct, but appropriately related, bicycles with different parts” (Chisholm, , chapter ). The nihilist denies the second, but offers this replacement: “there exist X s and Y s such that the X s are arranged billiard-ball-wise, the Y s are also arranged billiard-ball-wise, and the X s strike the Y s”.2 The four-dimensionalist denies the third, but offers this replacement: “no sequences of matter-stages that are related by genidentity travel faster than light”.3 There is room for disagreement over what exactly “reconstruction” amounts to, but at a minimum: when a metaphysical theory reconstructs ordinary sentences φ1. . . as replacement sentences ψ1. . . , ordinary and scienti c evidence must not refute the view that, strictly speaking, it is ψ1. . . rather than φ1. . . that are true. The metaphysician needs reconstruction in order to face the tribunal of experience. An intriguing newcomer to the contemporary scene is the ancient doctrine of monism, the claim that “reality is one”.4 I will argue that, contrary to.. (shrink)

Humeans and anti-Humeans agree that laws of nature should explain scientifically particular matters of fact. One objection to Humean accounts of laws contends that Humean laws cannot explain particular matters of fact because their explanations are harmfully circular. This article distinguishes between metaphysical and semantic characterizations of the circularity and argues for a new semantic version of the circularity objection. The new formulation suggests that Humean explanations are harmfully circular because the content of the sentences being explained is part of (...) the content of the sentences doing the explaining. I describe the nature of partial content and demonstrate how this account of partial content renders Humean explanations ineffective while sparing anti-Humean explanations from the same fate. 1Introduction2Standard Formulations of the Circularity Charge3Humean Responses4Semantic Characterizations of the Circularity Worry 4.1Hempel and Oppenheim’s semantic circularity concern4.2A new version of the semantic circularity charge4.3Partial content as a guide to circularity5Humean Responses to the Semantic Circularity Charge 5.1Smuggling in metaphysics through the back door?5.2Do anti-Humean laws fare any better?5.3The over-generalization concern6ConclusionAppendix. (shrink)

Any property has two sorts of causal features: “forward-looking” ones, having to do with what its instantiation can contribute to causing, and ldquo;backward-looking” ones, having to do with how its instantiation can be caused. Such features of a property are essential to it, and properties sharing all of their causal features are identical. Causal necessity is thus a special case of metaphysical necessity. Appeals to imaginability have no more force against this view than they do against the Kripkean view that (...) statements like “Gold is an element” are metaphysically necessary. (shrink)

Any property has two sorts of causal features: “forward‐looking” ones, having to do with what its instantiation can contribute to causing, and ldquo;backward‐looking” ones, having to do with how its instantiation can be caused. Such features of a property are essential to it, and properties sharing all of their causal features are identical. Causal necessity is thus a special case of metaphysical necessity. Appeals to imaginability have no more force against this view than they do against the Kripkean view that (...) statements like “Gold is an element” are metaphysically necessary. (shrink)

Classic inductive skepticism–the epistemological claim that we have no good reason to believe that the unobserved resembles the observed–is plausibly everyone’s lot, whether or not they embrace Hume’s metaphysical claim that distinct existents are “entirely loose and separate”. But contemporary advocates of a Humean metaphysic accept a metaphysical claim stronger than Hume’s own. I argue that their view plausibly gives rise to a radical inductive skepticism–according to which we are downright irrational in believing as we do about the unobserved–that we (...) don’t otherwise have reason to accept. The Metaphysical Neo-Humean is in an epistemological quagmire all her own. (shrink)

Several philosophers have recently defended Causal Essentialism—the view that every property confers causal powers, and whatever powers it confers, it confers essentially. I argue that on the face of it, Causal Essentialism implies a form of Monism, and in particular, the thesis I call ‘Mereological Monism’: that there is some concretum that is a part of every concretum. However, there are three escape routes, three views which are such that if one of them is true, Causal Essentialism does not imply (...) any form of Monism at all. I survey the costs associated with taking these escape routes along with the costs associated with accepting Mereological Monism. (shrink)

I discuss an argument for the monistic idea that the cosmos is the one and only fundamental thing, drawing on the idea that the cosmos is the one and only thing that evolves by the fundamental laws.

In this paper I claim that Earman and Norton 's hole argument against substantivalist interpretations of General Relativity assumes that the substantivalist must adopt a conception of determinism which I argue is unsatisfactory. Butterfield and others have responded to the hole argument by finding a conception of determinism open to the substantivalist that is not prone to the hole argument. But, unfortunately for the substantivalist, I argue this conception also turns out to be unsatisfactory. Accordingly, I search for a conception (...) of determinism that is both independently plausible and capable of blocking the hole argument. (shrink)

One of the central debates in contemporary metaphysics has been the debate between endurantism and perdurantism about persistence. In this paper I argue that much of this debate has been misconstrued: most of the arguments in the debate crucially rely on theses which are strictly orthogonal to the endurantism/perdurantism debate. To show this, I note that the arguments in the endurantism/perdurantism debate typically take the following form: one presents a challenge that endurantists allegedly have some trouble addressing, and to which (...) perdurantism apparently has a straightforward response. I argue, however, that in each case, there are versions of endurantism that can offer precisely the same response to the challenge, and thus the ability to provide this particular solution does not directly tell in favour of one the two views. In §1, I elaborate two views which will be particularly prominent in the discussion: liberal endurantism and restrictive perdurantism. In §2–6 I discuss in turn the central pro-perdurantism arguments: the argument from anthropocentricism, the argument from vagueness, the argument from recombination, the argument from temporary intrinsics, and the argument from coincidence. In §7–8, I discuss the main pro-endurantism arguments: the arguments from motion, and the argument from permanent coincidence. Finally, in §9, I discuss what conclusion can be drawn from this discussion. (shrink)

Humean accounts of natural lawhood have often been criticized as unable to account for the laws’ characteristic explanatory power in science. Loewer has replied that these criticisms fail to distinguish grounding explanations from scientific explanations. Lange has replied by arguing that grounding explanations and scientific explanations are linked by a transitivity principle, which can be used to argue that Humean accounts of natural law violate the prohibition on self-explanation. Lange’s argument has been sharply criticized by Hicks and van Elswyk, Marshall, (...) and Miller. This paper shows how Lange’s argument can withstand these criticisms once the transitivity principle and the prohibition on self-explanation are properly refined. The transitivity principle should be refined to accommodate contrasts in the explanans and explanandum. The prohibition on self-explanation should be refined so that it precludes a given fact p from helping to explain why some other fact q helps to explain why p. In this way, the transitivity principle avoids having counterintuitive consequences in cases involving macrostates having multiple possible microrealizations. The transitivity principle is perfectly compatible with the irreducibility of macroexplanations to microexplanations and with the diversity of the relations that can underwrite scientific explanations. (shrink)

Antihaecceitists believe that all facts about specific individuals—such as the fact that Fred exists, or that Katie is tall—globally supervene on purely qualitative facts. Haecceitists deny that. The issue is not only of interest in itself, but receives additional importance from its intimate connection to the question of whether all fundamental facts are qualitative or whether they include facts about which specific individuals there are and how qualitative properties and relations are distributed over them. Those who think that all fundamental (...) facts are qualitative are arguably committed to antihaecceitism. The goal of this paper is to point out some problems for antihaecceitism (and therefore for the thesis that all fundamental facts are qualitative). The article focuses on two common assumptions about possible worlds: (i) Sets of possible worlds are the bearers of objective physical chance. (ii) Counterfactual conditionals can be defined by appeal to a relation of closeness between possible worlds. The essay tries to show that absurd consequences ensue if either of these assumptions is combined with antihaecceitism. Then it considers a natural response by the antihaecceitist, which is to deny that worlds play the role described in (i) and (ii). Instead, the reply continues, we can introduce a new set of entities that are defined in terms of worlds and that behave the way worlds do on the haecceitist position. That allows the antihaecceitist to formulate antihaecceitist friendly versions of (i) and (ii) by replacing the appeal to possible worlds with reference to the newly introduced entities. This maneuver invites an obvious reply, however. If the new entities are the things that play the role we typically associate with worlds, as partially described by (i) and (ii), then it is natural to conclude that they really are the entities we talk about when we speak of worlds, so that haecceitism is true after all. (shrink)

Dispositional Essentialism is a unified anti-Humean account of the metaphysics of low-level physical properties and laws of nature. In this paper, I articulate the view that I label Canonical Dispositional Essentialism, which comprises a structuralist metaphysics of properties and an account of laws as relations in the property structure. I then present an alternative anti-Humean account of properties and laws. This account rejects CDE’s structuralist metaphysics of properties in favour of a view of properties as qualitative grounds of dispositions and (...) it rejects CDE’s view of laws as relations in favour of a view of laws as features of an efficient description of possible property distributions. I then defend this view over CDE on the grounds that it can overcome an explanatory shortcoming of CDE and that it achieves a level of continuity with science that CDE fails to achieve. The upshot of this paper is a significant narrowing of the range of possibilities in which the absolutely best unified account of laws and properties resides. (shrink)

I explore two accounts of properties within a dispositional essentialist (or causal powers) framework, the pure powers view and the powerful qualities view. I first attempt to clarify precisely what the pure powers view is, and then raise objections to it. I then present the powerful qualities view and, in order to avoid a common misconception, offer a restatement of it that I shall call the truthmaker view. I end by briefly defending the truthmaker view against objections.

Quantum mechanics seems to portray nature as nonseparable, in the sense that it allows spatiotemporally separated entities to have states that cannot be fully specified without reference to each other. This is often said to implicate some form of “holism.” We aim to clarify what this means, and why this seems plausible. Our core idea is that the best explanation for nonseparability is a “common ground” explanation, which casts nonseparable entities in a holistic light, as scattered reflections of a more (...) unified underlying reality. (shrink)

Quantum mechanics seems to portray nature as nonseparable, in the sense that it allows spatiotemporally separated entities to have states that cannot be fully specified without reference to each other. This is often said to implicate some form of “holism.” We aim to clarify what this means, and why this seems plausible. Our core idea is that the best explanation for nonseparability is a “common ground” explanation, which casts nonseparable entities in a holistic light, as scattered reflections of a more (...) unified underlying reality. (shrink)

The necessitarian solution to the problem of induction involves two claims: first, that necessary connections are justified by an inference to the best explanation; second, that the best theory of necessary connections entails the timeless uniformity of nature. In this paper, I defend the second claim. My arguments are based on considerations from the metaphysics of laws, properties, and fundamentality.

One of the traditional desiderata for a metaphysical theory of laws of nature is that it be able to explain natural regularities. Some philosophers have postulated governing laws to fill this explanatory role. Recently, however, many have attempted to explain natural regularities without appealing to governing laws. Suppose that some fundamental properties are bare dispositions. In virtue of their dispositional nature, these properties must be (or are likely to be) distributed in regular patterns. Thus it would appear that an ontology (...) including bare dispositions can dispense with governing laws of nature. I believe that there is a problem with this line of reasoning. In this essay, I’ll argue that governing laws are indispensable for the explanation of a special sort of natural regularity: those holding among categorical properties (or, as I’ll call them, categorical regularities). This has the potential to be a serious objection to the denial of governing laws, since there may be good reasons to believe that observed regularities are categorical regularities. (shrink)

Humeans are often accused of positing laws which fail to explain or are involved in explanatory circularity. Here, I will argue that these arguments are confused, but not because of anything to do with Humeanism: rather, they rest on false assumptions about causal explanation. I’ll show how these arguments can be neatly sidestepped if one takes on two plausible commitments which are motivated independently of Humeanism: first, that laws don’t directly feature in scientific explanation and second, the view that explanation (...) is contrastive. After outlining and motivating these views, I show how they bear on explanation-based arguments against Humeanism. (shrink)

It used to be thought that rational coherence and metaphysical possibility went hand in hand. Kripke and Putnam put a spanner in the works by proposing examples of propositions which seem to violate this principle. I will propose a nuanced form of modal rationalism consistent with the Kripke/putnam cases. The rough idea is that rational coherence entails possibility when you grasp the essential nature of what you’re conceiving of.