In this paper, we explore the idea that sets depend on, or are grounded in, their members. It is said that a set depends on each of its members, and not vice versa. Members do not depend on the sets that they belong to. We show that the intuitive modal truth conditions for dependence, given in terms of possible worlds, do not accurately capture asymmetric dependence relations between sets and their members. We extend the modal truth conditions to include impossible (...) worlds and give a more satisfactory account of the dependence of a set on its members. Focusing on the case of singletons, we articulate a logical framework in which to evaluate set-theoretic dependence claims, using a normal first-order modal logic. We show that on this framework the dependence of a singleton on its single members follows from logic alone. However, the converse does not hold. (shrink)

Trevor Teitel (2017) has recently argued that combining the assumption that modality reduces to essence with the assumption that possibly some objects contingently exist leads to problems if one wishes to uphold that the logic of metaphysical modality is S5. In this paper I will argue that there is a way for the essentialist to evade the problem described by Teitel. The proposed solution crucially involves the assumption that some propositions possibly fail to exist. I will show how this assumption (...) affords a motivated contingentist response to Teitel’s argument. (shrink)

This note defends the reduction of ordinals to pure sets against an argument put forward by Beau Madison Mount. In the first part I will defend the claim that dependence simpliciter can be reduced to immediate dependence and define a notion of predecessor dependence. In the second part I will provide and defend a way to model the dependence profile of ordinals akin to Mount’s proposal in terms of immediate dependence and predecessor dependence. I furthermore show that my alternative dependence (...) profile allows us to single out the reduction of ordinals to von Neumann ordinals as the only viable set-theoretic reduction. (shrink)

Abstract This paper offers an appraisal of Phillip Pettit's approach to the problem how a merely finite set of examples can serve to represent a determinate rule, given that indefinitely many rules can be extrapolated from any such set. I argue that Pettit's so-called ethnocentric theory of rule-following fails to deliver the solution to this problem he sets out to provide. More constructively, I consider what further provisions are needed in order to advance Pettit's general approach to the problem. I (...) conclude that what is needed is an account that, whilst it affirms the view that agents' responses are constitutively involved in the exemplification of rules, does not allow such responses the pride of place they have in Pettit's theory. (shrink)

There is a puzzle concerning the essences of fundamental entities that arises from considerations about essence, on one hand, and fundamentality, on the other. The Essence-Dependence Link (EDL) says that if x figures in the essence of y, then y is dependent upon x. EDL is prima facie plausible in many cases, especially those involving derivative entities. But consider the property negative charge. A negatively charged object exhibits certain behaviors that a positively charged object does not: it moves away from (...) other negatively charged objects, towards positively charged objects, etc. It is commonly thought that negative charge disposes its bearer to move away from other negatively charged objects, towards positively charged objects, etc. But if negative charge is fundamental, then no other entities—including the property positive charge—can figure in its essence. We thus have a prima facie puzzle: How can we say anything interesting about the essences of fundamental entities without running afoul of EDL? In this paper, I present and discuss the consequences of EDL for the debate between causal essentialists and quidditists about properties, and propose solutions to the puzzle. (shrink)

A fundamental entity is an entity that is ‘ontologically independent’; it does not depend on anything else for its existence or essence. It seems to follow that a fundamental entity is ‘modally free’ in some sense. This assumption, that fundamentality entails modal freedom (or ‘FEMF’ as I shall label the thesis), is used in the service of other arguments in metaphysics. But as I will argue, the road from fundamentality to modal freedom is not so straightforward. The defender of FEMF (...) should provide positive reasons for believing it, especially in light of recent views that are incompatible with it. I examine both direct and indirect routes to FEMF. (shrink)

Fine, Lowe and Hale accept the view that necessity is to be explained by essences: Necessarily p iff, and because, there is some x whose essence ensures that p. Hale, however, believes that this strategy is not universally applicable; he argues that the necessity of essentialist truths cannot itself be explained by once again appealing to essentialist truths. As a consequence, Hale holds that there are basic necessities that cannot be explained. Thus, Hale style essentialism falls short of what Wilsch (...) calls the explanation-challenge (EC) for the metaphysics of necessity. Without endorsing the EC, I argue that Hale’s argument for basic, unexplained necessities fails due to a misunderstanding of the structure of essentialist explanations. Getting clear about the structure of essentialist explanations of necessity leads to a re-evaluation of crucial circularity- and regress-arguments that have been discussed in the debate about essentialism. (shrink)

In this paper, I explore the consequences of the thesis that externalism and internalism are (possibly, but as we will see not necessarily, opposite) metaphysical doctrines on the individuation conditions of a thought. If I am right, this thesis primarily entails that at least some naturalist positions on the ontology of the mind, namely the reductionistic ones, are hardly compatible with both externalism and a version of internalism so conceived, namely relational internalism. Indeed, according to both externalism and relational internalism, (...) intentionality constitutes (or at least grounds) the relational content property providing the individuation conditions of a thought, as a relation to an outer or to an inner object respectively. Yet since intentionality turns out to be a modal, hence a nonnatural, property, both externalism and relational internalism deny to thoughts at least token-identity with physical states. Finally, I will give some support to the idea that externalism and internalism must be interpreted as doctrines on the individuation conditions of a thought. (shrink)

This paper surveys recent "new actualist" approaches to modality that do without possible worlds and locate modality squarely in the actual world. New actualist theories include essentialism and dispositionalism about modality, each of which can come in different varieties. The commonalities and differences between these views, as well as their shared motivations, are layed out.

According to essentialism, metaphysical modality is founded in the essences of things, where the essence of a thing is roughly akin to its real definition. According to potentialism (also known as dispositionalism), metaphysical modality is founded in the potentialities of things, where a potentiality is roughly the generalized notion of a disposition. Essentialism and potentialism have much in common, but little has been written about their relation to each other. The aim of this paper is to understand better the relations (...) between essence and potentiality, on the one hand, and between essentialism and potentialism, on the other. It is argued, first, that essence and potentiality are not duals but interestingly linked by a weaker relation dubbed ‘semi-duality’; second, that given this weaker relation, essentialism and potentialism are not natural allies but rather natural competitors; and third, that the semi-duality of essence and potentiality allows the potentialist to respond to an important explanatory challenge by using essentialist resources without thereby committing to essentialism. (shrink)

In a growing number of papers, one encounters arguments to the effect that certain philosophical views are objectionable because they would imply that there are necessary truths for whose necessity there is no explanation. That is, they imply that there are propositions p such that (a) it is necessary that p, but (b) there is no explanation why it is necessary that p. For short, they imply that there are “brute necessities.” Therefore, the arguments conclude, the views in question should (...) be rejected in favor of rival views under which the necessities would be explained. This style of argument raises a number of important and difficult questions. Do necessary truths really require explanation? Are they not paradigms of truths that either need no explanation or automatically have one, being in some sense self‐explanatory? If some necessary truths do require or admit of explanation, what types of explanation, are available? Are some necessary truths explained by other necessary truths? Are some necessary truths self‐explanatory? Are all necessary truths either self‐explanatory or explained by others? Or are there some necessary truths that are truly brute? This article surveys several representative arguments from brute necessity as well as a variety of answers to the questions above, noting their bearing on arguments from bruteness. (shrink)

Proponents of the dispositional theory of properties typically claim that their view is not one that offers a realist, governing conception of laws. My first aim is to show that, contrary to this claim, if one commits to dispositionalism then one does not automatically give up on a robust, realist theory of laws. This is because dispositionalism can readily be developed within a Platonic framework of universals. Second, I argue that there are good reasons for realist dispositionalists to favour a (...) Platonic view. This is because the alternative Aristotelian version of dispositionalism, on which universals are immanent entities, is unstable for various reasons. My final aim is to address a common criticism facing Platonic theories of laws, which is the problem of how external entities can play an explanatory role where the world’s law-like patterns of behaviour are concerned. I argue that the Platonists’ response to the one over many problem can help to shed light on this matter, and a possible solution is sketched, one which makes use of the notions of essence, constitution and ontological dependence. (shrink)

Traditionally, independence accounts of substance have held pride of place. Aristotle, Aquinas, Descartes and Spinoza—among many others—accepted independence accounts in one form or another. The general thrust of such views is that substances are those things that are apt to exist in themselves. In this paper, I argue that several contemporary independence theories of substance—including those of Kit Fine, E.J. Lowe and Michael Gorman—include an ad hoc element that renders them unacceptable. I'll also consider the theories of Hoffman and Rosenkrantz.

In the literature on free will, fatalism, and determinism, a distinction is commonly made between temporally intrinsic (‘hard’) and temporally relational (‘soft’) facts at times; determinism, for instance, is the thesis that the temporally intrinsic state of the world at some given past time, together with the laws, entails a unique future (relative to that time). Further, it is commonly supposed by incompatibilists that only the ‘hard facts’ about the past are fixed and beyond our control, whereas the ‘soft facts’ (...) about the past needn’t be. A substantial literature arose in connection with this distinction, though no consensus emerged as to the proper way to analyze it. It is time, I believe, to revisit these issues. The central claim of this paper is that the attempts to analyze the hard/soft fact distinction got off on fundamentally the wrong track. The crucial feature of soft facts is that they (in some sense) depend on the future. Following recent work on the notion of dependence, however, I argue that the literature on the soft/hard distinction has failed to capture the sense of dependence at stake. This is because such attempts have tried to capture softness in terms of purely modal notions like entailment and necessitation. As I hope to show, however, such notions cannot capture the sort of asymmetrical dependence relevant to soft facthood. Arguing for this claim is the first goal of this paper. My second goal is to gesture towards what an adequate account of soft facthood will really look like. (shrink)

Bolzano incorporated Kant's distinction between intuitions and concepts into the doctrine of propositions by distinguishing between conceptual (Begriffssätze an sich) and intuitive propositions (Anschauungssätze an sich). An intuitive proposition contains at least one objective intuition, that is, a simple idea that represents exactly one object; a conceptual proposition contains no objective intuition. After Bolzano, philosophers dispensed with the distinction between conceptual and intuitive propositions. So why did Bolzano attach philosophical importance to it? I will argue that, ultimately, the value of (...) the distinction lies in the fact that conceptual and intuitive truths have different objective grounds: if a conceptual truth is grounded at all, its ground is a conceptual truth. The difference in grounds between conceptual and intuitive truths motivates Bolzano's criticism of Kant's view that intuition plays the fundamental role in mathematics, a conceptual science by Bolzano's lights. (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)

Ontological dependence is a relation—or, more accurately, a family of relations—between entities or beings. For there are various ways in which one being may be said to depend upon one or more other beings, in a sense of “depend” that is distinctly metaphysical in character and that may be contrasted, thus, with various causal senses of this word. More specifically, a being may be said to depend, in such a sense, upon one or more other beings for its existence or (...) for its identity. Some varieties of ontological dependence may be analyzed in modal terms—that is, in terms of distinctly metaphysical notions of possibility and necessity—while others seem to demand an analysis in terms of the notion of essence. The latter varieties of ontological dependence may accordingly be called species of essential dependence. Notions of ontological dependence are frequently called upon by metaphysicians in their proposed analyses of other metaphysically important notions, such as the notion of substance. (shrink)

This paper is inspired by and develops on E. J. Lowe’s work, who writes in his book The Possibility of Metaphysics that ‘metaphysical possibility is an inescapable determinant of actuality’ (1998: 9). Metaphysics deals with possibilities – metaphysical possibilities – but is not able to determine what is actual without the help of empirical research. Accordingly, a delimitation of the space of possibilities is required. The resulting – controversial – picture is that we generally need to know whether something is (...) possible before we can know whether it is actual. In order to appreciate this picture, we need to understand Lowe’s slogan: ‘essence precedes existence’ (Lowe 2008: 40). This slogan has both an ontological and an epistemic reading. The ontological reading is related to the now familiar idea that essence grounds modality, as popularised by Kit Fine. The epistemic reading suggests that we can know the essence of some entity before we know whether or not that entity exists. However, this idea is often met with puzzlement and Lowe himself sadly passed away before he had a chance to clarify this framework. I will present the framework as I understand it, develop it on my own terms, and put forward a qualified defence of it. I will also illustrate how the framework can be put to use with a case study concerning the discovery of transuranic elements. (shrink)

In a recent issue of this journal, Berit Brogaard and Joe Salerno presented a counterfactual theory of essence, designed to get around Kit Fine’s influential objections to the standard modal account of essence. I argue that Brogaard and Salerno’s theory does not avoid Fine’s objections. Then I propose a sequence of variations on their theory, and argue that none of them succeed either.

Priority monism is the view that the cosmos is the only independent concrete object. The paper argues that, pace its proponents, Priority monism is in conflict with the dependence of any whole on any of its parts: if the cosmos does not depend on its parts, neither does any smaller composite.

In his recent book 'Pleonastische Propositionen' Matthias Schürmann presents and defends an account of propositions as pleonastic entities. In this paper I challenge one of his main claims, namely that pleonastic propositions are ontologically dependent on thinkers. I argue that Schürmann's dependence claim is in tension with core tenets of a pleonastic account and, hence, unavailable for an elaboration of what it means that pleonastic entities are ontologically lightweight.

Christian Platonism and Divine Simplicity remain the most commonly discussed views with respect to the way in which Christians ought to conceive of God’s nature and properties. In this essay, I suggest that we ought to consider seriously two versions of a quite different view, namely, what I call “the Nominalized Composite God View.” Both versions of the Nominalized Composite God View share two features: (1) they treat God as metaphysically composite, in opposition to Divine Simplicity, and (2) they deny (...) that God has God’s properties in virtue of instantiating abstractly existing universals, in opposition to Christian Platonism. (shrink)

Recently, many philosophers have claimed that the world has an ordered, hierarchical structure, where entities at lower ontological levels are said to metaphysically ground entities at higher ontological levels. Other philosophers have recently claimed that our language has an ordered, hierarchical structure. Semantically primitive sentences are said to conceptually ground less primitive sentences. It’s often emphasized that metaphysical grounding is a relation between things out in the world, not a relation between our sentences. But conflating these relations is easy to (...) do, given that both types of grounding are expressed by non-causal “in-virtue-of” claims. The purpose of this paper is to clarify the relation between metaphysical and conceptual grounding. I argue that conceptual and metaphysical grounding are exclusive: if a given in-virtue-of claim involves conceptual grounding, then it does not involve metaphysical grounding. I also develop some heuristics for deciding which type of grounding is relevant in a given case. These heuristics suggest that many proposed cases of metaphysical grounding do not actually involve metaphysical grounding at all. (shrink)

In this paper, I clarify the relation between two types of grounding: metaphysical and conceptual. Metaphysical grounding relates entities at more and less fundamental ontological levels. Conceptual grounding relates semantically primitive sentences and semantically derivative sentences. It is important to distinguish these relations given that both types of grounding can underwrite non-causal “in-virtue-of” claims. In this paper, I argue that conceptual and metaphysical grounding are exclusive: if a given in-virtue-of claim involves conceptual grounding, then it does not involve metaphysical grounding. (...) I then present two heuristics for deciding which type of grounding is relevant to a given case. These heuristics suggest that certain proposed cases of metaphysical grounding may not actually involve metaphysical grounding at all. (shrink)

Grounding and explanation are said to be intimately connected. Some even maintain that grounding just is a form of explanation. But grounding and explanation also seem importantly different—on the face of it, the former is ‘worldy’ or ‘objective’ while the latter isn’t. In this paper, we develop and respond to an argument to the effect that there is no way to fruitfully address this tension that retains orthodox views about grounding and explanation but doesn’t undermine a central piece of methodology, (...) namely that explanation is a guide to ground. (shrink)

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)

This article seeks to provide a response to the Aloneness Argument Against Classical Theism proposed by Joseph C. Schmid and Ryan T. Mullins. This response focuses on showing the unsoundness of the argument once the Doctrine of Divine Simplicity is reformulated within the essentialist aspectival framework provided by the Aspectival Account. Formulating a response to this argument will thus also serve the further purpose of providing an extension of the Aspectival Account and a needed revision of the Doctrine of Divine (...) Simplicity, which can aid others in their quest to further clarify the nature of this doctrine. (shrink)

This paper discusses a recent puzzle concerning the notions of boundary parthood and dependence, and offers a new solution. The puzzle was originally presented by Jeroen Smid and successively elaborated upon by Claudio Calosi. I first reformulate some of the troublesome premises. Particularly, whereas Smid and Calosi discuss the puzzle in terms of an underspecified notion of dependence, I propose to construe it in terms of the notion of grounding. In this manner, the dependence relation inherently carries an asymmetry, and (...) we can effectively utilize its four places. The solution I advance precisely takes advantage of this feature of dependence. My proposal avoids the contradiction while still respecting the intuitions driving the original premises. It is also fully compatible with boundaries being only generically dependent on their wholes. (shrink)

The article is primarily concerned with the notion of a truth-maker. An explication for this notion is offered, which relates it to other notions of making something such-and-such. In particular, it is shown that the notion of a truth-maker is a close relative of a concept employed by van Inwagen in the formulation of his Consequence Argument. This circumstance helps understanding the general mechanisms of the concepts involved. Thus, a schematic explication of a whole battery of related notions is offered. (...) It is based on an explanatory notion, introduced by the sentential connector “because”, whose function is examined in some detail. Finally, on the basis of the explication proposed, an argument is developed to the effect that the objects usually regarded as truth-makers are not apt to play this role. (shrink)

The main question of this paper is how to understand the notion of a truth-maker. In section 1, I show that the identification of truth-making with necessitation cannot capture the pretheoretic understanding of notions such as ‘x makes something true’. In section 2, I examine Barry Smith’s reaction to this problem: he defines truth-making as the combination of necessitation and projection. I focus on the formal part of Smith’s account, which is shown to yield undesired results. However, in section 3, (...) I present an alternative account of projection, which fares better and can fruitfully be employed to circumvent the problems raised in section 1. Unfortunately, the account still has to face some troublemakers, as I show in the final section. I conclude, therefore, with a pessimistic view on the project of defining truth-making via necessitation and projection. (shrink)

The argument from internal relatedness was one of the major nineteenth century neo-Hegelian arguments for monism. This argument has been misunderstood, and may even be sound. The argument, as I reconstruct it, proceeds in two stages: first, it is argued that all things are internally related in ways that render them interdependent; second, the substantial unity of the whole universe is inferred from the interdependence of all of its parts. The guiding idea behind the argument is that failure of free (...) recombination is the modal signature of an integrated monistic cosmos. Frequently consider the connection of all things in the universe and their relation to one another. For in a manner all things are implicated with one another... (Marcus Aurelius, Meditations, p. 43). (shrink)

It is shown that the standard definitions of truth-functionality, though useful for their purposes, ignore some aspects of the usual informal characterisations of truth-functionality. An alternative definition is given that results in a stronger notion which pays attention to those aspects.

What does it mean that some proposition follows from others? The standard way of spelling out the notion proceeds in modal terms: x follows from y iff necessarily, if y is true, so is x. But although this yields a useful and manageable account of consequence, it fails to capture certain aspects of our pre-theoretical understanding of consequence. In this paper, an alternative notion of logical consequence, based on the idea of grounding, is developed.

Most answers to the mind-body problem are claims about the nature of mental properties and substances. But advocates of non-reductive physicalism have generally neglected the topic of the nature of substance, quickly nodding to the view that all substances are physical, while focusing their intellectual energy on understanding how mental properties relate to physical ones. Let us call the view that all substances are physical or are exhaustively composed of physical substances substance physicalism (SP). Herein, I argue that non-reductive physicalism (...) (NRP) cannot uphold substance physicalism and is thereby false. For NRP faces a mind problem: its commitment to property irreducibility prevents that which bears the mental properties—the mind, or on some views, the self or person—from being a physical thing. (shrink)

Grounding is often glossed as metaphysical causation, yet no current theory of grounding looks remotely like a plausible treatment of causation. I propose to take the analogy between grounding and causation seriously, by providing an account of grounding in the image of causation, on the template of structural equation models for causation.

The paper deals with the notions of grounding and of existential dependence. It is shown that cases of existential dependence seem to be systematically correlated to cases of grounding and hence the question is raised what sort of tie might hold the two notions together so as to account for the observed correlation. The paper focusses on three possible ties between grounding and existential dependence: identity, definition, and grounding. A case for the definitional tie is made.

The main contribution of this paper is a novel account of ontological dependence. While dependence is often explained in terms of modality and existence, there are relations of dependence that slip through the mesh of such an account. Starting from an idea proposed by Jonathan Lowe, the article develops an account of ontological dependence based on a notion of explanation; on its basis, certain relations of dependence can be established that cannot be accounted by the modal-existential account. Dependence is only (...) one of two main topics of this paper, for it is approached via a discussion of the category of substance. On a traditional view, substances can be characterised as independent entities. Before the background of a modal-existential account of dependence, this idea appears problematic. The proposed notion of explanatory dependence is shown to vindicate the traditional approach to substance. (shrink)

This article outlines a realist theory of aesthetic properties as higher-order manifest properties and defends it from several objections, including a possible conflict with contextualist approaches to the aesthetic properties of works of art.

Recent metaphysics has seen a surge of interest in grounding—a relation of non-causal determination underlying a distinctive kind of explanation common in philosophy. In this article, I investigate the connection between grounding and another phenomenon of great interest to metaphysics: ontological dependence. There are interesting parallels between the two phenomena: for example, both are commonly invoked through the use of “dependence” terminology, and there is a great deal of overlap in the motivations typically appealed to when introducing them. I approach (...) the question of the relationship between grounding and ontological dependence through an investigation of their modal connections. I argue, firstly, that on the common assumption that grounding is factive, it can be shown that no known variety of rigid ontological dependence is either necessary or sufficient for grounding. I also offer some suggestions in support of the claim that this generalizes to every possible form of rigid ontological dependence. I then broaden the discussion by considering a non-factive conception of grounding, as well as by looking at forms of generic ontological dependence. I argue that there is at least one form of rigid ontological dependence that is sufficient for non-factive grounding, and that a form of generic dependence may be necessary both for factive and non-factive grounding. However, justifying even these fairly weak modal connections between grounding and ontological dependence turns out to require some quite specific and substantive assumptions about the two phenomena that have only rarely been discussed. (shrink)

This article explores the concept of metaphysically opaque grounding, a largely neglected form of metaphysical grounding that challenges the commonly held assumptions that grounding is an especially intimate and powerful connection between facts and that it is necessarily connected with the essences of things. I provide a definition of opaque grounding, identify some interesting philosophical views that are committed to it, and explore some consequences for the general theory of grounding. Finally, I briefly address some natural initial doubts about opaque (...) grounding and find them unwarranted. The upshot is that the notion deserves more attention than it has previously received. (shrink)

Some metaphysicians believe that metaphysical modality is explainable by the essences of objects. In §II, I spell out the definitional view of essence, and in §III, a working notion of metaphysical explanation. Then, in §IV, I consider and reject five natural ways to explain necessity by essence: in terms of the principle that essential properties can't change, in terms of the supposed obviousness of the necessity of essential truth, in terms of the logical necessity of definitions, in terms of Fine's (...) logic of essence, and in terms of the theory of real definitions. I will conclude that the present evidence favours rejecting the hypothesis that modality is explainable by essence. (shrink)

On a highly influential way to think of modality, that I call ‘relationalism’, the modality of a state is explained by its being composed of properties, and these properties being related by a higher-order and primitively modal relation. Examples of relationalism are the Dretske-Tooley-Armstrong account of natural necessity, many dispositional essentialist views, and Wang’s incompatibility primitivism. I argue that relationalism faces four difficulties: that the selection between modal relations is arbitrary, that the modal relation cannot belong to any logical order, (...) that to explain how the modal relation can relate properties of different adicities additional ideological complexity has to be introduced, and that not all modal constraints are relational. From the discussion, I will extract desiderata for a successor theory of modality. (shrink)

The paper argues that Lewis’ Genuine Modal Realism, in taking the plurality of worlds to be necessarily the way it is, implies the existence of necessary connections of the sort that contradicts the Humean thesis that Lewis endorses. By endorsing, pace Divers, a non-redundancy interpretation of advanced modalizing, we gain the means to exactly state what these connections amount to.

A commonly held view is that a central aim of metaphysics is to give a fundamental account of reality which refers only to the fundamental entities. But a puzzle arises. It is at least a working hypothesis for those pursuing the aim that, first, there must be fundamental entities. But, second, it also seems possible that the world has no foundation, with each entity depending on others. These two claims are inconsistent with the widely held third claim that the fundamental (...) just is the foundational. It is tempting to resolve the puzzle by rejecting the first or second claim, perhaps because it is obscure how the third claim might plausibly be challenged. But I develop a new analysis of fundamentality which challenges the third claim by allowing for an entity to be fundamental without being foundational. The analysis, roughly, is that an entity is fundamental just in case not all facts about it are grounded in facts about other entities. The possibility of fundamentality without foundations not only provides for a novel resolution to the puzzle, but has applications to some live debates: for example, it undermines Jonathan Schaffer's modal argument for priority monism. (shrink)

Those who wish to claim that all facts about grounding are themselves grounded (“the meta-grounding thesis”) must defend against the charge that such a claim leads to infinite regress and violates the well-foundedness of ground. In this paper, we defend. First, we explore three distinct but related notions of “well-founded”, which are often conflated, and three corresponding notions of infinite regress. We explore the entailment relations between these notions. We conclude that the meta-grounding thesis need not lead to tension with (...) any of the three notions of “well-founded”. Finally, we explore the details of and motivations for further conditions on ground that one might add to generate a conflict between the meta-grounding thesis and a well-founded constraint. We explore these topics by developing and utilizing a formal framework based on the notion of a grounding structure. (shrink)