Current views of metaphysical ground suggest that a true conjunction is immediately grounded in its conjuncts, and only its conjuncts. Similar principles are suggested for disjunction and universal quantification. Here, it is shown that these principles are jointly inconsistent: They require that there is a distinct truth for any plurality of truths. By a variant of Cantor’s Theorem, such a fine-grained individuation of truths is inconsistent. This shows that the notion of grounding is either not in good standing, or that (...) natural assumptions about it need to be revised. (shrink)

Fundamentality plays a pivotal role in discussions of ontology, supervenience, and possibility, and other key topics in metaphysics. However, there are two different ways of characterising the fundamental: as that which is not grounded, and as that which is the ground of everything else. I show that whether these two characterisations pick out the same property turns on a principle—which I call “Dichotomy”—that is of independent interest in the theory of ground: that everything is either fully grounded or not even (...) partially grounded. I then argue that Dichotomy fails: some facts have partial grounds that cannot be complemented to a full ground. Rejecting Dichotomy opens the door to recognising a bifurcation in our notion of fundamentality. I sketch some of the far-reaching metaphysical consequences this might have, with reference to big-picture views such as Humeanism. Since Dichotomy is entailed by the standard account of partial ground, according to which partial grounds are subpluralities of full grounds, a non-standard account is needed. In a technical “Appendix”, I show that truthmaker semantics furnishes such an account, and identify a semantic condition that corresponds to Dichotomy. (shrink)

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)

I develop a graph-theoretic model theory for pure and iterative grounding logics.

Separatists about grounding take explanations to be separate from their corresponding grounding-facts. Grounding-facts are supposed to underlie, or back, such explanations. However, the backing relation hasn’t received much attention in the literature. The aim of this paper is to provide an informative definition of backing. First, I examine two prominent proposals: backing as explaining (Kovacs 2017; 2019a) and backing as grounding (see Sjölin Wirling 2020). Finally, I put forward my own proposal. I argue that under plausible assumptions about the role (...) of backing and the nature of explanation, backing should be understood as a form of truthmaking, minimally construed. (shrink)

I present an argument proving that there are no fundamental facts, which is similar to an argument recently presented by Mark Jago for truthmaker maximalism. I suggest that this argument gives us at least some prima facie, defeasible reason to believe that there are no fundamental facts.

The notion of fundamentality, as it is used in metaphysics, aims to capture the idea that there is something basic or primitive in the world. This metaphysical notion is related to the vernacular use of “fundamental”, but philosophers have also put forward various technical definitions of the notion. Among the most influential of these is the definition of absolute fundamentality in terms of ontological independence or ungroundedness. Accordingly, the notion of fundamentality is often associated with these two other technical notions.

This article develops the Pure Logic of Iterated Full Ground (PLIFG), a logic of ground that can deal with claims of the form “ϕ grounds that (ψ grounds θ)”—what we call iterated grounding claims. The core idea is that some truths Γ ground a truth ϕ when there is an explanatory argument (of a certain sort) from premisses Γ to conclusion ϕ. By developing a deductive system that distinguishes between explanatory and nonexplanatory arguments we can give introduction rules for operators (...) for factive and nonfactive full ground, as well as for a propositional “identity” connective. Elimination rules are then found by using a proof-theoretic inversion principle. (shrink)

Concerning a conversation about grounding between Philo, a quizzical maverick, and Cleanthes, a studious devotee of the very latest trends in metaphysics. Whereas Cleanthes enthuses about grounding, Philo counsels methodological caution and greater immersion in actual scientific practice.