Abstraction principles and grounding can be combined in a natural way Modality: metaphysics, logic, and epistemology, Oxford University Press, Oxford, pp 109–136, 2010; Schwartzkopff in Grazer philosophische studien 82:353–373, 2011). However, some ground-theoretic abstraction principles entail that there are circles of partial ground :775–801, 2017). I call this problem auto-abstraction. In this paper I sketch a solution. Sections 1 and 2 are introductory. In Sect. 3 I start comparing different solutions to the problem. In Sect. 4 I contend that the (...) thesis that the right-hand side of an abstraction principle is prior to its left-hand side motivates an independence constraint, and that this constraint leads to predicative restrictions on the acceptable instances of ground-theoretic abstraction principles. In Sect. 5 I argue that auto-abstraction is acceptable unless the left-hand side is essentially grounded by the right-hand side. In Sect. 6 I highlight several parallelisms between auto-abstraction and the puzzles of ground. I finally compare my solution with the strategies listed in Sect. 3. (shrink)

The grounding relation is routinely characterized by means of logical postulates. The aim of this paper is twofold. First, I show that a subset of those postulates is incompatible with a minimal characterization of metaphysical modality. Then I consider a number of ways for reconciling ground with modality. The simplest and most elegant solution consists in adopting serious actualism, which is best captured within a first-order modal language with predicate abstraction governed by negative free logic. I also explore a number (...) of alternative strategies by revising the ground-theoretic postulates, while keeping the modal ones fixed. As I argue, each of those strategies is either unviable, highly contentious, or insufficiently motivated. (shrink)

In this essay, I propose a functionalist theory of grounding (functionalist-grounding). Specifically, I argue that grounding is a second-order phenomenon that is realized by relations that play the noncausal explanatoriness role. I also show that functionalist-grounding can deal with a powerful challenge. Appeals to explanatory unificationism have been made to argue that the success of noncausal explanations does not depend on the existence of grounding relations. Against this, I argue that a systematization involving functionalist-grounding is superior to its anti-relational counterpart.

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)

I will use paradox as a guide to metaphysical grounding, a kind of non-causal explanation that has recently shown itself to play a pivotal role in philosophical inquiry. Specifically, I will analyze the grounding structure of the Predestination paradox, the regresses of Carroll and Bradley, Russell's paradox and the Liar, Yablo's paradox, Zeno's paradoxes, and a novel omega plus one variant of Yablo's paradox, and thus find reason for the following: We should continue to characterize grounding as asymmetrical and irreflexive. (...) We should change our understanding of the transitivity of grounding in a certain sense. We should require foundationality in a new, generalized sense, that has well-foundedness as its limit case. Meta-grounding is important. The polarity of grounding can be crucial. Thus we will learn a lot about structural properties of grounding from considering the various paradoxes. On the way, grounding will also turn out to be relevant to the diagnosis (if not the solution) of paradox. All the paradoxes under consideration will turn out to be breaches of some standard requirement on grounding, which makes uniform solutions of large groups of these paradoxes more desirable. In sum, bringing together paradox and grounding will be shown to be of considerable value to philosophy.1. (shrink)

Many philosophers take purportedly logical cases of ground ) to be obvious cases, and indeed such cases have been used to motivate the existence of and importance of ground. I argue against this. I do so by motivating two kinds of semantic determination relations. Intuitions of logical ground track these semantic relations. Moreover, our knowledge of semantics for first order logic can explain why we have such intuitions. And, I argue, neither semantic relation can be a species of ground even (...) on a quite broad conception of what ground is. Hence, without a positive argument for taking so-called ‘logical ground’ to be something distinct from a semantic determination relation, we should cease treating logical cases as cases of ground. (shrink)

I outline and provide a solution to some paradoxes of ground.

Seemingly natural principles about the logic of ground generate cycles of ground; how can this be if ground is asymmetric? The goal of the theory of decycling is to find systematic and principled ways of getting rid of such cycles of ground. In this paper—drawing on graph-theoretic and topological ideas—I develop a general framework in which various theories of decycling can be compared. This allows us to improve on proposals made earlier by Fine and Litland. However, it turns out that (...) there is no unique method of decycling. An important upshot is that the notion of asymmetric ground may be indeterminate. (shrink)

Fine (2012) is a pluralist about grounding. He holds that there are three fundamentally distinct notions of grounding: metaphysical, normative, and natural. Berker (2017) argues for monism on the grounds that the pluralist cannot account for certain principles describing how the distinct notions of grounding interact. This paper defends pluralism. By building on work by Fine (2010) and Litland (2015) I show how the pluralist can systematically account for Berker's interaction principles.

Could φ’s partially grounding ψ itself be a partial ground for ψ? I show that it follows from commonly accepted principles in the logic of ground that this sometimes happens. It also follows from commonly accepted principles that this never happens. I show that this inconsistency turns on different principles than the puzzles of ground already discussed in the literature, and I propose a way of resolving the inconsistency.

This paper develops a novel theory of abstraction—what we call collective abstraction. The theory solves a notorious problem for noneliminative structuralism. The noneliminative structuralist holds that in addition to various isomorphic systems there is a pure structure that can be abstracted from each of these systems; but existing accounts of abstraction fail for nonrigid systems like the complex numbers. The problem with the existing accounts is that they attempt to define a unique abstraction operation. The theory of collective abstraction instead (...) simultaneously defines a collection of distinct abstraction operations, each of which maps a system to its corresponding pure structure. The theory is precisely formulated in an essentialist language. This allows us to throw new light on the question to what extent structuralists are committed to symmetric dependence. Finally, we apply the theory of collective abstraction to solve a problem about converse relations. (shrink)

It is commonly believed that blamees can dismiss hypocritical blame on the ground that the hypocrite has no standing to blame their target. Many believe that the feature of hypocritical blame that undermines standing to blame is that it involves an implicit denial of the moral equality of persons. After all, the hypocrite treats herself better than her blamee for no good reason. In the light of the complement to hypocrites and a comparison of hypocritical and non-hypocritical blamers subscribing to (...) hierarchical moral norms, I show why we must reject the moral equality account of the hypocrite’s lack of standing to blame. (shrink)

The Russell-Myhill paradox puts pressure on the Russellian structured view of propositions by showing that it conflicts with certain prima facie attractive ontological and logical principles. I describe several versions of RMP and argue that structurists can appeal to natural assumptions about metaphysical grounding to provide independent reasons for rejecting the ontological principles used in these paradoxes. It remains a task for future work to extend this grounding-based approach to all variants of RMP.

The principle of sufficient reason threatens modal collapse. Some have suggested that by appealing to the indefinite extensibility of contingent truth, the threat is neutralized. This paper argues that this is not so. If the indefinite extensibility of contingent truth is developed in an analogous fashion to the most promising models of the indefinite extensibility of the concept set, plausible principles permit the derivation of modal collapse.

Some propositions are true, and it is true that some propositions are true. Each of these facts looks like an impeccable ground of the other. But they cannot both ground each other, since grounding is asymmetric. This paper explores two new diagnoses of this much discussed puzzle. The tools of higher-order logic are used to show how both diagnoses can be fleshed out into strong and consistent theories of grounding. These theories of grounding in turn demand new theories of the (...) granularity of propositions, properties, and relations. Even those who are uninterested in grounding should take seriously these pictures of reality’s logical structure, which are in many ways reminiscent of Russell’s and Wittgenstein’s logical atomism. (shrink)

The notion of grounding is usually conceived as an objective and explanatory relation. It connects two relata if one—the ground—determines or explains the other—the consequence. In the contemporary literature on grounding, much effort has been devoted to logically characterize the formal aspects of grounding, but a major hard problem remains: defining suitable grounding principles for universal and existential formulae. Indeed, several grounding principles for quantified formulae have been proposed, but all of them are exposed to paradoxes in some very natural (...) contexts of application. We introduce in this paper a first-order formal system that captures the notion of grounding and avoids the paradoxes in a novel and non-trivial way. The system we present formally develops Bolzano’s ideas on grounding by employing Hilbert’s ε-terms and an adapted version of Fine’s theory of arbitrary objects. (shrink)

An argument going back to Russell shows that the view that propositions are structured is inconsistent in standard type theories. Here, it is shown that such type theories may nevertheless provide entities which can serve as proxies for structured propositions. As an illustration, such proxies are applied to the case of grounding, as standard views of grounding require a degree of propositional structure which suffices for a version of Russell’s argument. While this application solves some of the problems grounding faces, (...) it introduces problematic limitations: it becomes impossible to quantify unrestrictedly over the relata of ground. The proposed proxies may thus not save grounding, but they shed light on what exactly Russell’s argument does and does not show. (shrink)

Existential claims are widely held to be grounded in their true instances. However, this principle is shown to be problematic by arguments due to Kit Fine. Stephan Krämer has given an especially simple form of such an argument using propositional quantifiers. This note shows that even if a schematic principle of existential grounds for propositional quantifiers has to be restricted, this does not immediately apply to a corresponding non-schematic principle in higher-order logic.

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)

A raft of new philosophical problems concerning truth have recently been discovered by several theorists. These problems concern the question of how ascriptions of truth are to be grounded. Most previous commentators have taken the problems to shed light on the theory of ground. In this paper, I argue that they also shed light on the theory of truth. In particular, I argue that the notion of ground can be deployed to clearly articulate one strand of deflationary thinking about truth, (...) according to which truth is “metaphysically lightweight.” I offer a ground-theoretic explication of the lightness of truth and show how it yields a novel solution to the problems concerning how truth is grounded. So, the theory of truth and the theory of ground interact fruitfully: we can apply the notion of ground to offer a clear explication of the deflationist claim that truth is “metaphysically lightweight” that both captures the motivations for that claim and solves the problems. (shrink)

The idea that some objects are metaphysically “cheap” has wide appeal. An influential version of the idea builds on abstractionist views in the philosophy of mathematics, on which numbers and other mathematical objects are abstracted from other phenomena. For example, Hume’s Principle states that two collections have the same number just in case they are equinumerous, in the sense that they can be correlated one-to-one: (HP) #xx=#yy iff xx≈yy. The principal aim of this article is to use the notion of (...) grounding to develop this sort of abstractionism. The appeal to grounding enables a unified response to the two main challenges that confront abstractionism. First, we must explicate the metaphor of meta- physical “cheapness.” Second, we must rebut the “bad company” objection, which rejects abstraction principles like (HP) as tarnished by their similarity to inconsistent principles like Frege’s Basic Law V. By enforcing a simple requirement that all abstraction be properly grounded, we propose a unified solution to these two hard, and prima facie unrelated, problems. On our view, grounded abstraction simultaneously ensures “cheap” abstracta and permissible abstraction. (shrink)

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 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)

Author's note: This is a piece from the very early stage of my career. Please regard it as a historical document.

General discussion of grounding, including its formal features, relations to other notions, and applications. (Originally published 2014; revised 2021).