A counterpossible is a counterfactual with an impossible antecedent. Counterpossibles present a puzzle for standard theories of counterfactuals, which predict that all counterpossibles are semantically vacuous. Moreover, counterpossibles play an important role in many debates within metaphysics and epistemology, including debates over grounding, causation, modality, mathematics, science, and even God. In this article, we will explore various positions on counterpossibles as well as their potential philosophical consequences.

A counterpossible conditional is a counterfactual with an impossible antecedent. Common sense delivers the view that some such conditionals are true, and some are false. In recent publications, Timothy Williamson has defended the view that all are true. In this paper we defend the common sense view against Williamson’s objections.

According to an increasingly popular view among philosophers of science, both causal and non-causal explanations can be accounted for by a single theory: the counterfactual theory of explanation. A kind of non-causal explanation that has gained much attention recently but that this theory seems unable to account for are grounding explanations. Reutlinger :239-256, 2017) has argued that, despite these appearances to the contrary, such explanations are covered by his version of the counterfactual theory. His idea is supported by recent work (...) on grounding by Schaffer and Wilson who claim there to be a tight connection between grounding and counterfactual dependence. The present paper evaluates the prospects of the idea. We show that there is only a weak sense in which grounding explanations convey information about counterfactual dependencies, and that this fact cannot plausibly be taken to reveal a distinctive feature that grounding explanations share with other kinds of explanations. (shrink)

Discussion of grounding-theoretic accounts of truthmaking in terms of the theoretical role of “catching cheaters”.

Discussion of partial grounds that aren't parts of full grounds; definition of full grounding in terms of partial grounding.

In this article, I seek to assess the extent to which Theism, the claim that there is a God, can provide a true fundamental explanation for the instantiation of the grounding relation that connects the various entities within the layered structure of reality. More precisely, I seek to utilise the explanatory framework of Richard Swinburne within a specific metaphysical context, a ground-theoretic context, which will enable me to develop a true fundamental explanation for the existence of grounding. And thus, given (...) the truth of this type of explanation, we will have a further reason to believe in the existence of God. (shrink)

In this article, I seek to assess the extent to which Theism, the claim that there is a God, can provide a true fundamental explanation for the existence of the infinite plurality of concrete and abstract possible worlds, posited by David K. Lewis and Alvin Plantinga. This assessment will be carried out within the (modified) explanatory framework of Richard Swinburne, which will lead to the conclusion that the existence of God provides a true fundamental explanation for these specific entities. And (...) thus, given the truth of this type of explanation, we have another good abductive argument for God’s existence and grounds for affirming a weaker form of the principle of methodological naturalism in our metaphysical theorising. (shrink)

In this article, I seek to assess the extent to which a ‘trope-theoretic’ version of Theism is a better theory than that of a theory of Atheism, as posited by Graham Oppy. This end will be achieved by utilising the systemisation of the theoretical virtues proposed by Michael Keas (as further modified by an application of the work of Jonathan Schaffer), the notion of a trope, introduced by D.C. Williams, and an aspect, proposed by Donald L.M. Baxter, which will establish (...) the basis of the trope-theoretic account of Theism that will be at the centre of our analysis. This assessment will ultimately show that Theism, rather than that of Atheism (Naturalism), can successfully achieve the trade-off between minimising theoretical commitments and maximising explanatory power. And thus, given this, the best theory of Theism—namely, that of ‘trope-theoretic Theism’—is to be privileged over that of the best theory of Atheism—namely, that of ‘Oppyian Naturalism’—and is able to provide grounds for a decisive reassessment of the cogency of Agnosticism. (shrink)

Bernard Williams argues that philosophy is in some deep way akin to history. This article is a novel exploration and defense of the Williams thesis —though in a way anathema to Williams himself. The key idea is to apply a central moral from what is sometimes called the analytic philosophy of history of the 1960s to the philosophy of philosophy of today, namely, the separation of explanation and laws. I suggest that an account of causal explanation offered by David Lewis (...) may be modified to bring out the way in which this moral applies to philosophy, and so to defend the Williams thesis. I discuss in detail the consequences of the thesis for the issue of philosophical progress and note also several further implications: for the larger context of contemporary metaphilosophy, for the relation of philosophy to other subjects, and for explaining, or explaining away, the belief that success in philosophy requires a field-specific ability or brilliance. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

“X-Firsters” hold that there is some normative feature that is fundamental to all others (and, often, that there’s some normative feature that is the “mark of the normative”: all other normative properties have it, and are normative in virtue of having it). This view is taken as a starting point in the debate about which X is “on first.” Little has been said about whether or why we should be X-Firsters, or what we should think about normativity if we aren’t (...) X-Firsters. Hence the chapter’s two main goals. First, to provide a simple argument that one shouldn’t be an X-Firster about the normative domain, which starts with the observation that analogous views have dubious merits in analogous domains. Second, to offer an alternative view—taking normativity to be a determinable explained in terms of its determinates—that offers an interesting way to think about the structure and unity of normativity. (shrink)

Discussion of the relevance of grounding to substantiveness, theory-choice, and “location problems” in metaphysics.

According to dispositionalism about modality, a proposition <p> is possible just in case something has, or some things have, a power or disposition for its truth; and <p> is necessary just in case nothing has a power for its falsity. But are there enough powers to go around? In Yates (2015) I argued that in the case of mathematical truths such as <2+2=4>, nothing has the power to bring about their falsity or their truth, which means they come out both (...) necessary and not possible. Combining this with axiom (T), it is easy to derive a contradiction. I suggested that dispositionalists ought to retreat a little and say that <p> is possible just in case either p, or there is a power to bring it about that p, grounding the possibility of mathematical propositions in their truth rather than in powers. Vetter’s (2015) has the resources to provide a response to my argument, and in her (2018) she explicitly addresses it by arguing for a plenitude of powers, based on the idea that dispositions come in degrees, with necessary properties a limiting case of dispositionality. On this view there is a power for <2+2=4>, without there being a power to bring about its truth. In this paper I argue that Vetter’s case for plenitude does not work. However, I suggest, if we are prepared to accept metaphysical causation, a case can be made that there is indeed a power for <2+2=4>. (shrink)

This article aims to provide an explication of the doctrine of the monarchy of the Father. A precisification of the doctrine is made within the building-fundamentality framework provided by Karen Bennett, which enables a further clarification of the central elements of the doctrine to be made and an important objection against it to be answered.

Leibniz argues that there must be a fundamental level of simple substances because composites borrow their reality from their constituents and not all reality can be borrowed. I contend that the underlying logic of this ‘borrowed reality argument’ has been misunderstood, particularly the rationale for the key premise that not all reality can be borrowed. Contrary to what has been suggested, the rationale turns neither on the alleged viciousness of an unending regress of reality borrowers nor on the Principle of (...) Sufficient Reason, but on the idea that composites are phenomena and thus can be real only insofar as they have a foundation in substances, from which they directly ‘borrow’ their reality. The claim that composites are phenomena rests in turn on Leibniz's conceptualism about relations. So understood, what initially looked like a disappointingly simple argument for simples turns out to be a rather rich and sophisticated one. (shrink)

In this paper, I offer a new theory of grounding. The theory has it that grounding is a job description that is realized by different properties in different contexts. Those properties play the grounding role contingently, and grounding is the property that plays the grounding role essentially. On this theory, grounding is monistic, but ‘grounding’ refers to different relations in different contexts. First, I argue against Kit Fine’s monist univocalism. Next, I argue against Jessica Wilson’s pluralist multivocalism. Finally, I introduce (...) monist multivocalism, explicate three versions of it (of which the above is one), and show its advantages. (shrink)

I introduce an argument for Platonism based on intra-mathematical explanation: the explanation of one mathematical fact by another. The argument is important for two reasons. First, if the argument succeeds then it provides a basis for Platonism that does not proceed via standard indispensability considerations. Second, if the argument fails it can only do so for one of three reasons: either because there are no intra-mathematical explanations, or because not all explanations are backed by dependence relations, or because some form (...) of noneism-the view according to which non-existent entities possess properties and stand in relations-is true. The argument thus forces a choice between nominalism without noneism, intra-mathematical explanation and a backing conception of explanation. You can have any two, but not all three. (shrink)

Much recent metaphysics is built around notions such as naturalness, fundamentality, grounding, dependence, essence, and others besides. In this article I raise a problem for this kind of metaphysics, the “problem of missing value.” I survey a number of possible solutions to the problem and find them all wanting. This suggests a return to a kind of Goodmanian view that the world is a structureless mess onto which we project our own categorizations, not something with categories already built in.

According to a widespread view in metaphysics and philosophy of science, all explanations involve relations of ontic dependence between the items appearing in the explanandum and the items appearing in the explanans. I argue that a family of mathematical cases, which I call “viewing-as explanations”, are incompatible with the Dependence Thesis. These cases, I claim, feature genuine explanations that aren’t supported by ontic dependence relations. Hence the thesis isn’t true in general. The first part of the paper defends this claim (...) and discusses its significance. The second part of the paper considers whether viewing-as explanations occur in the empirical sciences, focusing on the case of so-called fictional models. It’s sometimes suggested that fictional models can be explanatory even though they fail to represent actual worldly dependence relations. Whether or not such models explain, I suggest, depends on whether we think scientific explanations necessarily give information relevant to intervention and control. Finally, I argue that counterfactual approaches to explanation also have trouble accommodating viewing-as cases. (shrink)

Grounding is not required for explanation in metaphysics, and, more generally, in philosophy. An account independent of grounding is available. Grounding claims do not provide the explanations that they are alleged to. The case for displacing supervenience in favour of grounding is mistaken. Grounding is a zombie idea: it staggers on in philosophical culture despite being thoroughly discredited.

Cross-temporal grounding is a type of grounding whereby present facts about the past (for example that Caesar was alive) are explained in terms of past facts (for example that Caesar is alive) rather than in terms of other present facts. This paper lays the foundations for a theory of cross-temporal grounding. After introducing the general idea of a type of grounding connecting facts to past facts, we offer two arguments that past-directed facts require cross-temporal grounds—the ‘argument from intimacy’ and the (...) ‘argument from past explanation’. We then go on to show that cross-temporal grounding statements can be understood as instances of a type of explanation which is perfectly legitimate and intelligible, even if somewhat unusual. Finally, we explain how the logic of grounding can be extended to accommodate cross-temporal grounding statements. (shrink)

I give a semantic characterisation of a system for the logic of grounding similar to the system introduced by Kit Fine in his “Guide to Ground”, as well as a semantic characterisation of a variant of that system which excludes the possibility of what Fine calls ‘zero-grounding’.

The epistemic probability of A given B is the degree to which B evidentially supports A, or makes A plausible. This paper is a first step in answering the question of what determines the values of epistemic probabilities. I break this question into two parts: the structural question and the substantive question. Just as an object’s weight is determined by its mass and gravitational acceleration, some probabilities are determined by other, more basic ones. The structural question asks what probabilities are (...) not determined in this way—these are the basic probabilities which determine values for all other probabilities. The substantive question asks how the values of these basic probabilities are determined. I defend an answer to the structural question on which basic probabilities are the probabilities of atomic propositions conditional on potential direct explanations. I defend this against the view, implicit in orthodox mathematical treatments of probability, that basic probabilities are the unconditional probabilities of complete worlds. I then apply my answer to the structural question to clear up common confusions in expositions of Bayesianism and shed light on the “problem of the priors.”. (shrink)

Molinists hold that there are contingently true counterfactuals about what agents would do if put in specific circumstances, that God knows these prior to creation, and that God uses this knowledge in choosing how to create. In this essay we critique Molinism, arguing that if these theses were true, agents would not be free. Consider Eve’s sinning upon being tempted by a serpent. We argue that if Molinism is true, then there is some set of facts that fully explains both (...) Eve’s action and everything else Eve does that influences that action; and that if this is the case, Eve does not act freely. The first premise of this argument follows from the explanatory relations the Molinist is committed to, and the second premise follows from libertarian intuitions about free will. (shrink)

If there are facts about what grounds what, are there any grounding relations between them? This paper suggests so, arguing that transitivity and amalgamation principles in the logic of grounding yield facts of grounding that are grounded by others. I develop and defend this view and note that combining it with extant accounts of iterated grounding commits us to seemingly problematic instances of ground-theoretic overdetermination. Taking the superinternality thesis as a case study, I discuss how defenders of this thesis should (...) respond. It emerges that our discussion puts pressure on superinternalists to make an interesting qualification to their view: to only regard as a fundamental metaphysical law a version of the superinternality thesis that is restricted to minimal and immediate grounding. (shrink)

A new strategy in philosophy of law appeals to explanatory gap arguments to attack legal positivism. We argue that the strategy faces a dilemma, which derives from there being two available readings of the constraint it places on legal grounding. To this end, we elaborate the most promising ways of spelling out the epistemic constraints governing law-determination, and show that each of the arguments based on them has problems. Throughout the paper, we evaluate a number of explanatory requirements, ultimately with (...) a view to shedding light on the explanatory nature of both grounding in general, and legal grounding in particular. (shrink)

Hume’s Law that one cannot derive an “ought” from an “is” has often been deemed to bear a significance that extends far beyond logic. Repeatedly, it has been invoked as posing a serious threat to views about normativity: naturalism in metaethics and positivism in jurisprudence. Yet in recent years, a puzzling asymmetry has emerged: while the view that Hume’s Law threatens naturalism has largely been abandoned (due mostly to Pigden’s work, see e.g. Pigden 1989), the thought that Hume’s Law is (...) a serious challenge to positivism has only grown in prominence. Our main aim is to establish that Hume’s Law is not a threat to positivism or naturalism. First, we connect extensive, but unfortunately siloed, discussions of this issue. Second, we show that Hume’s Law is not a serious threat to naturalism or positivism, for the gap between logic and such theses is very hard to bridge in a way that would make Hume’s Law able to bear this significance. Finally, we emphasize an implication of our discussion: it undermines one of the main “dialectical tributaries” in jurisprudence (Toh 2018). (shrink)

Law being a derivative feature of reality, it exists in virtue of more fundamental things, upon which it depends. This raises the question of what is the relation of dependence that holds between law and its more basic determinants. The primary aim of this paper is to argue that grounding is that relation. We first make a positive case for this claim, and then we defend it from the potential objection that the relevant relation is rather rational determination (Greenberg 2004, (...) 2006). Against this challenge, we argue that the apparent objection is really no objection, for on its best understanding, rational determination turns out to actually be grounding. Finally, we clarify the framework for theories on law-determination that results from embracing our view; by way of illustration, we offer a ground-theoretic interpretation of Hartian positivism, and show how it can defuse an influential challenge to simple positivist accounts of law. (shrink)

Do grounding claims entail corresponding supervenience claims? The question matters, as a positive answer would help grounding theorists address worries that their hyperintensional primitive is obscure, and also increase the argumentative strategies that are available within ground-theoretic frameworks for metaphysical inquiry. Leuenberger (Erkenntnis 79:227–240, 2014a) argues for a negative response, by specifying some candidate principles of entailment and then claiming that each of them is subject to counterexamples. In this paper, I critically assess those principles and the objections he raises (...) against them, and advocate a novel entailment principle that overcomes all the problems suffered by those other principles. The principle I defend places a supervenience-based constraint on grounding claims, and secures a substantive connection between grounding and modality, weaker than necessitation. (shrink)

The goal of this paper is to provide an accurate grounding-based formulation of positivism in the philosophy of law. I start off by discussing some simple formulations, based on the ideas that social facts are always either full or partial grounds of legal facts. I then raise a number of objections against these definitions: the full grounding proposal rules out possibilities that are compatible with positivism; the partial grounding proposal fails, on its own, to vindicate the distinctive role that is (...) played by social facts within positivist accounts of law. Then, I present a more adequate and insightful formulation capable of solving their problems, which crucially relies on a robust notion of a social enabler. Finally, I model inclusive and exclusive positivism on the resulting template, and set out the advantages of the ground-enablers proposal. (shrink)

ABSTRACT Lewtas [2017] recently articulated an argument claiming that emergent conscious causal powers are impossible. In developing his argument, Lewtas makes several assumptions about emergence, phenomenal consciousness, categorical properties, and causation. We argue that there are plausible alternatives to these assumptions. Thus, the proponent of emergent conscious causal powers can escape Lewtas’s challenge.

Are identity criteria grounding principles? A prima facie answer to this question is positive. Specifically, two-level identity criteria can be taken as principles related to issues of identity among objects of a given kind compared with objects of a more basic kind. Moreover, they are grounding metaphysical principles of some objects with regard to others. In the first part of the paper we criticise this prima facie natural reading of identity criteria. This result does not mean that identity criteria could (...) not be taken as grounding principles. In the second part, we propose some basic steps towards a conceptual reading of grounding. Such a way of understanding it goes along with an epistemic reading of identity criteria. (shrink)

A well-known objection to Humean accounts of laws charges them with circularity. While the view has it that particular facts explain the natural laws, natural laws are often relied upon in order to explain particular facts. Thus, the Humean is committed to circular explanations—or so goes the argument. In this paper, I review two ways of dealing with the circularity objection against Humean views of laws. Then, by introducing a contrastive treatment of explanations, I put forward a new one, which, (...) if it does not end up dethroning its competitors, I am hoping is still worth exploring. (shrink)

According to the traditional bundle theory, particulars are bundles of compresent universals. I think we should reject the bundle theory for a variety of reasons. But I will argue for the thesis at the core of the bundle theory: that all the facts about particulars are grounded in facts about universals. I begin by showing how to meet the main objection to this thesis (which is also the main objection to the bundle theory): that it is inconsistent with the possibility (...) of distinct qualitative indiscernibles. Here, the key idea appeals to a non-standard theory of haecceities as non-well-founded properties of a certain sort. I will then defend this theory from a number of objections, and finally argue that we should accept it on the basis of considerations of parsimony about the fundamental. (shrink)

In this paper, I argue that, when it comes to explaining what can be described as “representational” properties of propositions, Soames’s new conception of propositions—on which the proposition that Seattle is sunny is the act of predicating the property being sunny of Seattle and to entertain that proposition is to perform that act—does not have an advantage over traditional ones.

'Chains of Being' argues that there can be infinite chains of dependence or grounding. Cameron also defends the view that there can be circular relations of ontological dependence or grounding, and uses these claims to explore issues in logic and ontology.

This paper surveys some of the grounding literature searching for points of contact between theories of ground and science. I find that there are some places where a would-be naturalistic grounding theorist can draw inspiration. I synthesize a list of recommendations for how science may be put to use in theories of ground. I conclude that the prospects for naturalizing the metaphysics of ground are bright.

Philosophers have recently highlighted substantial affinities between causation and grounding, which has inclined some to import the conceptual and formal resources of causal interventionism into the metaphysics of grounding. The prospect of grounding interventionism raises two important questions: exactly what are grounding interventions, and why should we think they enable knowledge of grounding? This paper will approach these questions by examining how causal interventionists have addressed (or might address) analogous questions and then comparing the available options for grounding interventionism. I (...) argue that grounding interventions must be understood in worldly terms, as adding something to or deleting something from the roster of entities, or making some fact obtain or fail to obtain. I consider three bases for counterfactual assessment: imagination, structural equation models, and background theory. I conclude that grounding interventionism requires firmer epistemological foundations, without which the interventionist's epistemology of grounding is incomplete and ineffectually rationalist. (shrink)

Some facts ground other facts. Some fact is fundamental iff there are no other facts which partially or fully ground that fact. According to metaphysical foundationalism, every non-fundamental fact is fully grounded by some fundamental fact(s). In this paper I examine and defend some neglected considerations which might be made in favor of metaphysical foundationalism. Building off of work by Ross Cameron, I suggest that foundationalist theories are more unified than, and so in one important respect simpler than, non-foundationalist theories, (...) insofar as foundationalist theories allow us to derive all non-fundamental facts from some fundamental fact(s). Non-foundationalist theories can enjoy a similar sort of theoretical unification only by taking on objectionable metaphysical laws. (shrink)

I present new counterexamples to the asymmetry of grounding: we have prima facie reason to think that some conditional probabilities partially ground their inverse conditional probabilities, and vice versa. These new counterexamples may require that we reject the asymmetry of grounding, or alternatively may require that we reject one or more of the assumptions which enable the counterexamples. Either way, by reflecting on these purported counterexamples to grounding asymmetry we learn something important, either about the formal properties of grounding, or (...) about the nature of probability. (shrink)

Kit Fine famously objected against the idea that essence can be successfully analyzed in terms of de re necessity. In response, I want to explore a novel, interesting, but controversial modal account of essence in terms of intrinsicality and grounding. In the first section, I will single out two theoretical requirements that any essentialist theory should meet—the essentialist desideratum and the essentialist challenge—in order to clarify Fine’s objections. In the second section, I will assess Denby’s improved modal account, which appeals (...) to the notion of intrinsicality, and argue that it is untenable. In the third section, I will explain how, when combined with a modal-existential criterion, a hyperintensional account of intrinsicality—in the same vein as Bader (J Philos 110(10): 525–563, 2013) and Rosen (in: Hale and Hoffman (eds) Modality: Metaphysics, logic, and epistemology, Oxford, OUP, 2010)—can help successfully address Fine’s counterexamples. In the fourth section, I will evaluate how this novel analysis of essence stands with respect to sortal, origin, and natural kinds essentialism and discuss potential objections and difficulties. (shrink)

Divine Foundationalism is the thesis that God is the source of all things (apart from God hirself). I clarify and defend the thesis, before I consider the main arguments for and against it.

It is widely recognized by proponents of the notion that grounding can be, indeed is, overdetermined. Moreover, it seems safe to suppose that something of a consensus has emerged: grounding is overdetermined and there is nothing about it that we ought to find concerning. Not only is the overdetermination apparently not problematic, metaphysically speaking, but that grounding is overdetermined is not problematic, conceptually speaking, either. From a small sampling of alleged cases, however, no such conclusions can responsibly be drawn. And (...) without an account of when a fact is technically overdetermined, we are unable to reasonably answer questions about the acceptability of that overdetermination either. In this paper, I attempt to understand when a fact is technically metaphysically overdetermined. I argue that such an exploration reveals that nothing as regards the overdetermination of grounding is straightforward, and that the phenomenon is deserving of much more philosophical attention. (shrink)

Suppose that A explains B. Do A and B need to be true? Provided that we have metaphysical explanation in mind, orthodoxy answers “yes:” metaphysical explanation is factive. This article introduces and defends a non-factive notion of metaphysical explanation. I argue that we need a non-factive notion of explanation in order to make sense of explanationist arguments where we motivate a view by claiming that it offers better explanations than its competitors. After presenting and rejecting some initially plausible rivals, I (...) account for non-factive metaphysical explanation by drawing on existing applications of structural equation models to metaphysical grounding. (shrink)

I argue—contra moderate grounding pluralists such as Kit Fine and more extreme grounding pluralists such as Jessica Wilson—that there is fundamentally only one grounding/in-virtue-of relation. I also argue that this single relation is indispensable for normative theorizing—that we can’t make sense of, for example, the debate over consequentialism without it. It follows from what I argue that there is no metaethically-pure normative ethics.

Moral properties are explained by other properties. And moral principles tell us about moral properties. How are these two ideas related? In particular, is the truth of a given moral principle part of what explains why a given action has a given moral property? I argue “No.” If moral principles are merely concerned with the extension of moral properties across all possible worlds, then they cannot be partial explainers of facts about the instantiation of those properties, since in general necessitation (...) does not suffice for explanation. And if moral principles are themselves about what explains the moral properties under their purview, then by their own lights they are not needed in order to explain those moral properties’ instantiation—unless, that is, the principles exhibit an objectionable form of metaphysical circularity. So moral principles cannot explain why individual actions have moral properties. Nor, I also argue, can they explain why certain other factors explain why those actions have the moral properties that they do, or in some other way govern or mediate such first-order explanations of particular moral facts. When it comes to the explanation of an individual action’s specific moral features, moral principles are explanatorily idle. (shrink)

This paper argues that scientific realism commits us to a metaphysical determination relation between the mathematical entities that are indispensible to scientific explanation and the modal structure of the empirical phenomena those entities explain. The argument presupposes that scientific realism commits us to the indispensability argument. The viewpresented here is that the indispensability of mathematics commits us not only to the existence of mathematical structures and entities but to a metaphysical determination relation between those entities and the modal structure of (...) the physical world. The no-miracles argument is the primary motivation for scientific realism. It is a presupposition of this argument that unobservable entities are explanatory only when they determine the empirical phenomena they explain. I argue that mathematical entities should also be seen as explanatory only when they determine the empirical facts they explain, namely, the modal structure of the physical world. Thus, scientific realism commits us to a metaphysical determination relation between mathematics and physical modality that has not been previously recognized. The requirement to account for the metaphysical dependence of modal physical structure on mathematics limits the class of acceptable solutions to the applicability problem that are available to the scientific realist. (shrink)

It is often thought that metaphysical grounding underwrites a distinctive sort of metaphysical explanation. However, it would be a mistake to think that all metaphysical explanations are underwritten by metaphysical grounding. In service of this claim, I offer a novel kind of metaphysical explanation called metaphysical explanation by constraint, examples of which have been neglected in the literature. I argue that metaphysical explanations by constraint are not well understood as grounding explanations.