Many authors have proposed that grounding is closely related to metaphysical laws. However, we argue that no existing theory of metaphysical laws is sufficiently general. In this paper we develop a general theory of grounding laws, proposing that they are generative relations between pluralities of propositions and propositions. We develop the account in an essentialist language; this allows us to state precisely the sense in which grounding might be reduced to laws. We then put the theory to use in showing (...) how moral laws can play a role in grounding particular moral facts, in defending monism about ground, and in showing in what sense there is no gap between the grounds and the grounded. Finally, we make a novel proposal about what grounds facts about ground. (shrink)

Our aim in this paper is to extend the semantics for the kind of logic of ground developed in (deRosset and Fine, 2023). In that paper, we very briefly suggested a way of treating universal and existential quantification over a fixed domain of objects. Here we explore some options for extending the treatment to allow for a variable domain of objects.

According to orthodoxy, the most fundamental kind of causation involves one event causing another event. I argue against this event‐causal view. Instead, the most fundamental kind of causation is thing causation, which involves a thing causing a thing to do something. Event causation is reducible to thing causation, but thing causation is not reducible to event causation, because event causation cannot accommodate cases of fine‐grained causation. I defend my view from objections, including C. D. Broad's influential “timing” argument, and I (...) conclude with implications for agent‐causal theories of free will. (shrink)

What is the explanatory role of ‘status-truths’ such as essence-truths, necessity-truths and law-truths? A plausible principle, suggested by various authors, is Ground by Status, according to which status truths ground their prejacents. For instance, if it is essential to a that p, then this grounds the fact that p. But Ground by Status faces a forceful objection: it is inconsistent with widely accepted principles regarding the logic of grounding (Glazier in Philos Stud 174(11):2871–2889, 2017a, Synthese 174(198):1409–1424, 2017b; Kappes in Synthese (...) 199(1–2):2575–2595, 2020, Philos Stud 178(4):1267–1284, 2021). I defend Ground by Status against this objection. (shrink)

Abstract:Skepticism about grounding is the view that ground-theoretic concepts shouldn’t be used in meta­physical theorizing. Possible reasons for adopting this attitude are numerous: perhaps grounding is unintelligible; or perhaps it’s never instantiated; or perhaps it’s just too heterogeneous to be theor­­­­­etically useful. Unfortunately, as currently pursued the debate between grounding enthusiasts and skeptics is insufficiently structured. This paper’s purpose is to impose a measure of conceptual rigor on the debate by offering an opinionated taxonomy of views with a reasonable claim (...) to being “skeptical.” I argue that carving up logical space into pro- and anti-grounding views isn’t especially helpful; rather, we should recognize various degrees of ground-theoretic involvement depending on how inflationary our understanding of the theoretical term ‘ground’ is. (shrink)

Grounding necessitarianism (GN) is the view that full grounds necessitate what they ground. Although GN has been rather popular among philosophers, it faces important counterexamples: For instance, A=[Socrates died] fully grounds C=[Xanthippe became a widow]. However, A fails to necessitate C: A could have obtained together with B=[Socrates and Xanthippe were never married], without C obtaining. In many cases, the debate essentially reduces to whether A indeed fully grounds C – as the contingentist claims – or if instead C is (...) fully grounded in A+, namely A plus some supplementary fact S (e.g. [Xanthippe was married to Socrates]) – as the necessitarian claims. Both sides typically agree that A+ necessitates C, while A does not; they disagree on whether A or A+ fully grounds C. This paper offers a novel defence of the claim that, in these typical cases, unlike A+, A fails to fully ground C – thereby bringing further support to GN. First and foremost, unlike A+, A fails to fully ground C because it fails to contain just what is relevant to do so, in two distinct senses – explanatory and generative relevance. Second, going for A, rather than A+, as a full ground undermines not just grounding necessitarianism, but modally weaker views which even contingentists may want to preserve. (shrink)

What grounds the facts about what is identical to/distinct from what? A natural answer is: the facts about what exists. Despite its prima facie appeal, this view has received surprisingly little attention in the literature. Moreover, those who have discussed it have been inclined to reject it because of the following important challenge: why should the existence of some individuals ground their identity in some cases and their distinctness in others? (Burgess 2012, Shumener 2020b). This paper offers a sustained defense (...) of the view. The first half provides some positive motivations in terms of other natural principles involving ground. The second half considers various ways of distilling the challenge into a precise objection to the view, and argues that none of the resulting objections proves persuasive. (shrink)

This paper evaluates the proof-theoretic definition of ground developed by Poggiolesi in a range of recent publications and argues that her proposed definition fails. The paper then outlines an alternative approach where logical consequence relations and the logical operations are defined in terms of ground.

Metaphysical and ontological debates, concerning what exists and the nature of reality, are perennial features of the philosophical landscape. However, some have argued that ontological debates are non-substantive, pointless, trivial, incoherent, or impossible. Debates about whether tables exist, for example, or about the nature of reality, are taken to be in some way deficient. This has led to a burgeoning literature studying the nature of metaphysical and ontological disputes themselves. One major debate within this context concerns the language of ontology. (...) The central question is whether the nature of language influences or limits our ability to engage productively in ontological disputes. While we typically think that our language describes the world, or at least can accurately describe the world, there have been many who have argued that the nature of language inherently influences and limits our attempts to understand the nature of reality-that our claims about what exists are, in fact, merely a reflection of how we happen to speak or think. The Language of Ontology collects chapters from established participants in the debate alongside new voices, to explore the range of issues relating to our ability or inability to get beyond the limits of our language. (shrink)

Contingent negative existentials give rise to a notorious paradox. I formulate a version in terms of metaphysical grounding: nonexistence can't be fundamental, but nothing can ground it. I then argue for a new kind of solution, expanding on work by Kit Fine. The key idea is that negative existentials are contingently zero-grounded – that is to say, they are grounded, but not by anything, and only in the right conditions. If this is correct, it follows that grounding cannot be an (...) internal relation, and that no complete account of reality can be purely fundamental. (shrink)

Justification depends on context: even if E on its own justifies H, still it might fail to justify in the context of D. This sort of effect, epistemologists think, is due to defeaters, which undermine or rebut a would-be justifier. I argue that there is another fundamental sort of contextual feature, disqualification, which doesn't involve rebuttal or undercutting, and which cannot be reduced to any notion of screening-off. A disqualifier makes some would-be justifier otiose, as direct testimony sometimes does to (...) distal testimony, and as manifestly decisive evidence might do to gratuitous evidence on the same team. Basing a belief on disqualified evidence, moreover, is distinctively irrational. One is not necessarily irresponsible. Instead one is turning down a free upgrade to a sleeker, stabler basis for one's beliefs. Such an upgrade would prevent wastes of epistemic effort, since someone who bases her belief on a disqualified proposition E will need to remember E and rethink her belief should E ever be defeated. The upgrade might also reduce reliance on unwieldy evidence, if E is relevant only thanks to some labyrinthine argument; and if even ideal agents should doubt their ability to follow such arguments, even they should care about disqualifiers. (shrink)

It is widely agreed among broadly Anselmian theists that God is in some sense the 'delimiter of possibilities.' In other words, the scope of possibility is explained by the manner in which the universe emanates from God. However, existing accounts of God's role here—in terms of freedom, choice, or power—face serious difficulties. The present paper provides a new account of God's role as the delimiter of possibilities in terms of the different manner in which the non-actuality of non-actual states of (...) affairs is explained. Intuitively and metaphorically, we can think of the menu of states of affairs being 'whittled down' in successive stages of a process of divine decision-making, with the different species of impossibility corresponding to when and how the states of affairs are ruled out. I argue that this approach provides genuine contingency while also preserving the Principle of Sufficient Reason. (shrink)

This volume announces a new era in the philosophy of God. Many of its contributions work to create stronger links between the philosophy of God, on the one hand, and mathematics or metamathematics, on the other hand. It is about not only the possibilities of applying mathematics or metamathematics to questions about God, but also the reverse question: Does the philosophy of God have anything to offer mathematics or metamathematics? The remaining contributions tackle stereotypes in the philosophy of religion. The (...) volume includes 35 contributions. It is divided into nine parts: 1. Who Created the Concept of God; 2. Omniscience, Omnipotence, Timelessness and Spacelessness of God; 3. God and Perfect Goodness, Perfect Beauty, Perfect Freedom; 4. God, Fundamentality and Creation of All Else; 5. Simplicity and Ineffability of God; 6. God, Necessity and Abstract Objects; 7. God, Infinity, and Pascal's Wager; 8. God and (Meta-)Mathematics; and 9. God and Mind. (shrink)

In contemporary metaphysics, the doctrine that the fundamental facts are those which are wholly ungrounded is the received view or something near enough. Against this radical brutalism, several metaphysicians argued in favour of the existence of fundamental facts that are moderately brute or merely partially grounded. However, the arguments for moderately brute facts rely on controversial metaphysical scenarios. This paper aims to counteract the tendency in favour of radical brutalism on scientific grounds. It does so by showing that naturalistic metaphysicians (...) can appeal to plausible considerations from physical theory to establish the existence of moderately brute facts. But should the naturalistic metaphysician embrace moderate brutalism, namely the view that the fundamental facts are those which are merely partially ungrounded? Here I argue for a negative answer, recommending a more inclusive pluralism about the kinds of brute facts we can expect to find in nature. (shrink)

According to many contemporary metaphysicians, we ought to theorize in terms of grounding because of its promise to explicate the idea of reality having a layered structure. However, a tension emerges when one combines the layered structure view with the view that higher-level facts are not reducible to lower-level facts. This tension emerges from two problems. The first problem arises from the fact that grounding explanations entail true universal generalizations. In order to satisfy this constraint, we will face serious pressure (...) to make sure the entities involved in the grounded facts are appropriately connected to the entities involved in the grounding facts, otherwise the generalizations associated with those grounding claims will come out false. However, ensuring the appropriate connections seemingly leaves no way for the non-reductivist to fully squeeze out reference to higher-level entities as we descend the levels of ground. This threatens the result that some higher-level facts must be taken as fundamental, which the non-reductivist cannot accept. -/- I argue that we can resolve the tension by taking the connections at issue to be essentially true. We can call this view essentialist non-reductivism. One significant upshot of the argument is that we can see not only that essentialist non-reductivism successfully resolves the tension, but that in principle no better solution could be offered. (shrink)