When an entity ontologically depends on another entity, the former ‘presupposes’ or ‘requires’ the latter in some metaphysical sense. This paper defends a novel view, Dependence Deflationism, according to which ontological dependence is what I call an aggregative cluster concept: a concept which can be understood, but not fully analysed, as a ‘weighted total’ of constructive and modal relations. The view has several benefits: it accounts for clear cases of ontological dependence as well as the source of disagreement in controversial (...) ones; it gives a nice story about the evidential relevance of modal, mereological and set-theoretic facts to ontological dependence; and it makes sense of debates over the relation's formal properties. One important upshot of the deflationary account is that questions of ontological dependence are generally less deep and less interesting than usually thought. (shrink)

The aim of this editorial introduction is twofold. First, Sects. 1–8 offer a critical introduction to the metaphysical character of physicalism. In those sections, I present and evaluate different ways in which proponents of physicalism have made explicit the metaphysical dependence that is said to hold between the non-physical and the physical. Some of these accounts are found to be problematic; others are shown to be somewhat more promising. In the end, some important lessons are drawn and different options for (...) physicalists are presented. Second, in Sect.9, the six papers that comprise the special issue are introduced and summarized. (shrink)

Recent decades have seen a revived interest in super-substantivalism, the idea that spacetime is the only fundamental substance and matter some kind of aspect, property or consequence of spacetime structure. However, the metaphysical debate so far has misidentified a particular variant of super-substantivalism with the position per se. I distinguish between a super-substantival core commitment and different ways of fleshing it out. I then investigate how general relativity and alternative spacetime theories square with the different variants of super-substantivalism.

I show that a particular version of Hume's Dictum together with the falsity of Composition as Identity entails an incoherency, so either that version of Hume's Dictum is false or Composition as Identity is true. I conditionally defend the particular version of Hume's Dictum in play, and hence conditionally conclude that Composition as Identity is true. I end by suggesting an alternative way out for a persistent foe of Composition as Identity, namely mereological nihilism.

On the truthmaker view of ontological commitment [Heil (From an ontological point of view, 2003); Armstrong (Truth and truthmakers, 2004); Cameron (Philosophical Studies, 2008)], a theory is committed to the entities needed in the world for the theory to be made true. I argue that this view puts truthmaking to the wrong task. None of the leading accounts of truthmaking—via necessitation, supervenience, or grounding—can provide a viable measure of ontological commitment. But the grounding account does provide a needed constraint on (...) what is fundamental. So I conclude that truthmaker commitments are not a rival to quantifier commitments, but a needed complement. The quantifier commitments are what a theory says exists, while the truthmaker commitments are what a theory says is fundamental. (shrink)

This dissertation investigates grounding, the relation of non-causal determination whereby one fact obtains in virtue of some other fact or facts. Although considerations of grounding have been central throughout Western philosophy, the last 15-20 years have seen a renaissance of systematic work on grounding in analytic philosophy. The aim of the dissertation is to contribute to our understanding of the nature of grounding and its relation to other central phenomena in metaphysics. -/- Chapter 1 of the dissertation provides a brief (...) presentation of grounding and introduces some distinctions of relevance to later chapters. Chapter 2 discusses the question of whether grounding can be reduced. Four reductive accounts – in terms of fundamentality and supervenience, essence, reduction, and metaphysical laws respectively – are considered. All of these accounts are found to be subject to objections and are consequently rejected. -/- Chapter 3 considers the relation between grounding and another important phenomenon in metaphysics, namely ontological dependence. The question of the relation between the two is approached through an investigation of their modal connection (or lack thereof). It is argued that on the common assumption that grounding is a factive relation, ontological dependence can be shown to be neither necessary nor sufficient for grounding. Furthermore, to get any form of modal connection between the two relations, one needs to move to a non-factive conception of grounding or consider generic ontological dependence and accept a potentially controversial principle about the modal behaviour of grounding. Even then, the modal connection between grounding and ontological dependence is weak and subject to qualifications. -/- Chapter 4 develops and defends the novel notion of metaphysically opaque grounding. It is commonly assumed that grounding is an especially intimate and powerful connection and enables a form of explanation that is particularly strict and illuminating. An arguably related idea is that grounding is necessarily connected with the core features of things – their essences or natures. Metaphysically opaque grounding constitutes a form of grounding that falsifies both of these ideas. Chapter 4 makes the notion of metaphysically opaque grounding precise, motivates the idea that there are genuine cases of such grounding, explores its consequences for the theory of grounding, and defends the notion from potential objections, concluding that there are currently no strong reasons to rule out opaque grounding. (shrink)

Kit Fine and Gideon Rosen propose to define constitutive essence in terms of ground-theoretic notions and some form of consequential essence. But we think that the Fine–Rosen proposal is a mistake. On the Fine–Rosen proposal, constitutive essence ends up including properties that, on the central notion of essence (what Fine calls ‘the notion of essence which is of central importance to the metaphysics of identity’), are necessary but not essential. This is because consequential essence is (roughly) closed under logical consequence, (...) and the ability of logical consequence to add properties to an object’s consequential essence outstrips the ability of ground-theoretic notions, as used in the Fine–Rosen proposal, to take those properties out. The necessary-but-not-essential properties that, on the Fine–Rosen proposal, end up in constitutive essence include the sorts of necessary-but-not-essential properties that, others have noted, end up in consequential essence. (shrink)

Suppose nothing exists. Then it is true that nothing exists. What makes that true? Nothing! So it seems that if nothing existed, then the principle that every truth is made true by something (the truthmaker principle) would be false. So if it is possible that nothing exists, a claim often called 'metaphysical nihilism', then the truthmaker principle is not necessary. This paper explores various ways to resolve this conflict without restricting metaphysical nihilism in such a way that it would become (...) trivial and uninteresting. (shrink)

Is the world internally connected by a web of necessary connections or is everything loose and independent? Followers of David Hume accept the latter by upholding Hume’s Dictum, according to which there are no necessary connections between distinct existences. Roughly put, anything can coexist with anything else, and anything can fail to coexist with anything else. Hume put it like this: “There is no object which implies the existence of any other if we consider these objects in themselves.” Since Hume’s (...) day, Hume’s Dictum has played a major role in philosophy, especially in contemporary metaphysics. In ruling out necessary connections, Hume’s Dictum implies that causal relations and the laws of nature are contingent. It makes other demands on our metaphysics of science as well; for example, it places restrictions on our metaphysics of counterfactuals, dispositions, and explanation. The principle has applications in other areas too. Hume’s Dictum places constraints on our theories of abstract objects and moral properties. For example, Hume’s Dictum rules out the view that moral properties are distinct from, but necessarily connected to, non-moral properties. While Hume’s Dictum is a prominent principle in metaphysics, few Humeans have defended the principle at length. It is assumed more often than it is argued for. As a result, Hume’s Dictum no longer enjoys the reputation it once did. It’s common to hear complaints about the lack of arguments in support of Hume’s Dictum. Moreover, philosophers are increasingly willing to defend views that are at odds with Hume’s Dictum. A striking example of this is the recent explosion of interest in views that take causal relations and the laws of nature to be necessary. Humeans can no longer afford to be complacent. An extended defense of Hume’s Dictum is called for, and that’s what this dissertation aims to offer. This dissertation has three parts. In the first part, I lay out some preliminaries and offer a precise formulation of Hume’s Dictum. In the second part, I develop three arguments in favor of Hume’s Dictum. In the final part, I defend Hume’s Dictum against objections. (shrink)

The concept of supervenience and a regimented concept of grounding are often taken to provide rival explications of pre-theoretical concepts of dependence and determination. Friends of grounding typically point out that supervenience claims do not entail corresponding grounding claims. Every fact supervenes on itself, but is not grounded in itself, and the fact that a thing exists supervenes on the fact that its singleton exists, but is not grounded in it. Common lore has it, though, that grounding claims do entail (...) corresponding supervenience claims. In this article, I show that this assumption is problematic. On one way of understanding it, the corresponding supervenience claim is just an entailment claim under a different name. On another way of understanding it, the corresponding claim is a distinctive supervenience claim, but its specification gives rise to what I call the "reference type problem": to associate the classes of facts that are the relata of grounding with the types of facts that are the relata of supervenience. However it is understood, supervenience rules out prima facie possibilities: alien realizers, blockers, heterogeneous realizers, floaters, and heterogeneous blockers. Instead of being rival explications of one and the same pre-theoretical concept, grounding and supervenience may be complementary concepts capturing different aspects of determination and dependence. (shrink)

This article for the Stanford Encyclopedia for Philosophy provides a state of the art survey and assessment of the contemporary debate about truth-makers, covering both the case for and against truth-makers. It explores 4 interrelated questions about truth-makers, (1) What is it to be a truth-maker? (2) Which range, or ranges, of truths are eligible to be made true (if any are)? (3) What kinds of entities are truth-makers? (4) What is the motivation for adopting a theory of truth-makers? And (...) adds that there's another question to often put aside by metaphysicians but has critical consequences for truth-makers: (5) What are the truth-bearers? (shrink)

In this article I construe Russell's definite description notation as a fragment of an "ideal language"– a language in which, as Russell puts it in the "Logical Atomism" lectures, "the words in a proposition correspond one by one with the components of the corresponding fact." Russell's notation – containing as it does variables, quantifiers and the identity sign – commits him to an ontology that is lavish indeed. It thus conflicts with the spirit of the theory of descriptions, which is (...) developed in the service of ontological frugality. I make use of arguments derived from the Tractatus to show that an ideal language need not contain logical signs. I thus defend the spirit of the theory of descriptions while departing from its letter. (shrink)