Emptying a Paradox of Ground

Sometimes a fact can play a role in a grounding explanation, but the particular content of that fact make no difference to the explanation—any fact would do in its place. I call these facts vacuous grounds. I show that applying the distinction between-vacuous grounds allows us to give a principled solution to Kit Fine and Stephen Kramer’s paradox of (reflexive) ground. This paradox shows that on minimal assumptions about grounding and minimal assumptions about logic, we can show that grounding is reflexive, contra the intuitive character of grounds. I argue that we should never have accepted that grounding is irreflexive in the first place; the intuitions that support the irreflexive intuition plausibly only require that grounding be non-vacuously irreflexive. Fine and Kramer’s paradox relies, essentially, on a case of vacuous grounding and is thus no problem for this account.

While IRREFLEXIVITY is a natural assumption, especially given the use of metaphysical grounding in explicating notions of dependence, metaphysical explanation, and suchlike, it has recently been challenged. The most interesting challenges have come from Fine [8] and, developing a simplified version of Fine's point, Krämer [13]. 3 They show that other natural assumptions about grounding, especially assumptions involving the grounding of existential facts, imply that there are cases of reflexive ground.
In light of the challenge, Krämer suggests (but does not ultimately endorse) restricting the existential grounding principle that true existential claims are grounded in their true instances and Fine mentions the same before developing other costly options such as the highly inegalitarian (and rather puzzling) thought that only a particular instance grounds an existential fact. In my view, we can get off cheaper than this; there is a natural restriction of irreflexivity which preserves much, and perhaps all, of the intuition driving the thought that grounding is irreflexive while accommodating Fine and Krämer's examples. 4 My purpose here is to develop this solution. I do so explicitly in the service of offering an alternative to the orthodox irreflexive picture of grounding, albeit one which I think particularly natural and useful. 5 While I will provide reasons below to favor my approach, I will not give conclusive arguments in its favor. By my lights, this is the most natural solution to the puzzles Fine and Krämer have developed, but I privilege aspects of the grounding relation-such as its explanatory aspects-that others may think of relatively minor importance. When, as in the case of grounding, intuitions differ so widely about its nature, it is useful to have a slate of options for accommodating various intuitions. The option I develop here picks up on a hitherto unnoticed aspect of certain grounding relations-sometimes, the grounds of some 2 I represent a total grounding relation by . . . < B where B is the grounded fact, the constituents to the left of it the grounds of B. Later on, I will use . . . ≺ B for the relation of partial grounding where some facts partially ground B if they are part of a set of total grounds for that fact. '. . .', in the inset, indicates that there may be additional facts besides A among the grounds on the left of '<'. The floor brackets are just to enhance readability. 3 I am ignoring here other challenges arising in the context of ontological dependence and related notions like metaphysical causation, such as those of Barnes [2], Bliss [3], Jenkins [11], and Paseau [17]. These challenges strike me as less immediate and pressing than the sort of very general challenge raised by Krämer and Fine and potentially admit of independent solution. 4 Obviously, if there are cases of reflexive grounding, then these very cases are also recherché cases of symmetric ground. So ASYMMETRY will have to be weakened to ANTISYMMETRY. 5 See Fine's sensible remarks on treating the development of a logic of ground in terms of reflective equilibrium [9] (p. 97). While I differ on the slate of available options, I agree with Fine that there is no solution that comes without some cost. The resolution I provide below strikes me as the least costly, but, as always, de gustibus.
instance of grounding are vacuous in the sense that their particular content does no substantive work in grounding the grounded fact. Any fact with any content would do just as well in grounding the grounded fact (in a precise sense I spell out below). 6 In the cases of reflexive grounding Fine and Krämer identify, the grounded fact would be grounded by any fact at all, including itself. This means that the identity of the ground and the fact it grounds is not essential to the work done by the ground in grounding the grounded fact. If we can reconcile ourselves to admitting that in these special kinds of cases-cases of vacuous grounding-grounding can be reflexive, then we can save most of the intuition that grounding is irreflexive without abandoning the exceedingly plausible claim that existential facts are grounded in their true instances. Grounding is not irreflexive, but it is substantively irreflexive-it is never the case that something is non-vacuously grounded in itself.
Fine and Krämer's challenges are closely related and Krämer's is the simplest to state, so we will work with it in what follows. 7 I concentrate on the notion of total ground at first even though the puzzle arises for both total and partial grounding as both Fine and Krämer note. Partial grounding will be discussed after I discuss the puzzle for total ground (objection 5). My solution extends naturally to solve reflexive cases of partial grounding so long as a partial ground is understood as being part of some set of total grounds. Although the target notion is grounding, understood as a notion of metaphysical explanation occurring between facts, Fine and Krämer's puzzles may arise for other irreflexive and transitive explanatory relations in the vicinity of grounding. As far as I can see, for those on which it clearly arises, my solution applies. 8 I assume that grounding is best expressed as a relation between facts-which I take to be true structured propositions-not as an operator on sentences, though 6 Donaldson [6] raises a related puzzle of property grounding involving a grounding principle for λabstraction and grounding principles for second-order quantifiers. Donaldson shows that these principles yield λ.x∃XXx a < λ.x ∃XXx a , violating IRREFLEXIVITY in the presence of λ-abstraction and second-order quantification. This puzzle came to my attention too late to address it here though I will note two things. First, we need to first account for when λ.xϕ(x) (t) and ϕ(t) are distinct propositions before we can address how plausible the λ-abstraction principles generating the puzzle are. If, for example, we treat λ.x ∃XXx a and ∃XXa as expressing the same proposition, as well we might, then the puzzle doesn't get off the ground. Second, λ.x ∃XXx occurs vacuously in λ.x ∃XXx a < λ.x ∃XXx a in the sense defined in [33]. This opens up room to use my solution below, suitably adapted, to explain away these cases of reflexive ground. I hope to address these cases elsewhere. 7 As Krämer notes, the central difference between his and Fine's account has to do with operating in a language containing propositional quantification and one without. Nothing significant I say below turns on which way we formulate the puzzle, so I shall not worry about the difference. 8 Many other relations which have been lumped with grounding are ones on which the puzzle doesn't apply. As noted by a referee, for instance, causation appears irreflexive and transitive, but the analogue of EXISTENTIAL GROUNDING seems obviously implausible for it; instances do not plausibly cause their generalizations. Metaphysical causation and ontological dependence also seem to be irreflexive and transitive, but the exact relationship of these to logical grounding principles like EXISTENTIAL GROUNDING and to metaphysical explanation is itself not obvious [12]. Consider, in contrast, a relation of conceptual priority, like that plausibly obtaining between p and p is true. This likewise seems irreflexive and transitive, and principles like EXISTENTIAL GROUNDING seems plausible for it. If it is distinct from grounding, then the sort of solution I moot here seems applicable to it as well.
little turns on which is chosen between these two options. 9 Treating propositions as structured and facts as true structured propositions allows a useful and elegant treatment of the combination of propositional quantification and grounding, but it is not absolutely essentially to the broad structural point I am making. Notationally, since I am assuming that propositions are structured sentence-like entities, I shall use sentences enclosed in angle brackets-like . . . -when context doesn't immediately disambiguate. Finally, I presume that propositions stand in entailment relations of the requisite sort.
Let us turn to setting up Fine and Krämer's challenge. Assume we are working with a background logical theory containing non-substitutional propositional quantification. That is, given a structured proposition ϕ(A), containing the proposition A in "sentential" position, we can existentially generalize to obtain the proposition ∃p ϕ(p), where p is a variable ranging over propositions and A is free for p in ϕ(A). 10 Similarly for universal elimination. So, for example, ϕ(A) entails the proposition ∃p ϕ(p) and ∀p ϕ(p) entails ϕ(A) (see [19,32] for further details.) 11 More concretely, ∃p (p ∧ some logicians do not like use and mention) is entailed by some metaphysicians like use and mention and some logicians do not since some metaphysicians like use and mention occurs in sentential position in some metaphysicians like use and mention and some logicians do not . Similarly, ∃p p is entailed by some metaphysicians like use and mention as some metaphysicians like use and mention occurs in sentential position in some metaphysicians like use and mention .
On reasonable (non-substitutional) treatments of propositional quantification, ∃p p is a theorem: pf. Suppose ¬∃p p. Then ∃p p, since ∃p p is entailed by ¬∃p p (as ¬∃p p is free for p in ¬∃p p). Tilt. So, ∃p p. Now, given the standard claim that true propositions whose dominant logical component is an existential quantifier are grounded in their true instances-EXISTENTIAL GROUNDING-we have: ϕ(A) < ∃p ϕ(p) for ϕ(A) a fact containing A and A free for p in ϕ(A). That is, we have that ϕ(A) fully grounds ∃p ϕ(p). Since ∃pp is free for p in ∃pp, we have the particular case: But this is a straightforward counterexample to the claim that grounding is irreflexive.
There is, however, something rather unsettling about the counterexample. Diagnosing exactly what has gone astray is not entirely clear. As Krämer notes, it is obviously impredicative in the sense that the propositional quantifier in ∃pp ranges over the proposition it itself helps to express. That is, it ranges over ∃pp. If this is to blame, then we would reject the claim that existentially quantified claims are grounded in their instances-they are at best grounded in their predicative instances. That is, we would need to replace (propositional) EXISTENTIAL GROUNDING: if A is free for p in the fact ϕ(A), then ϕ(A) < ∃p(ϕ(p)) with a restricted principle like PREDICATIVE EXISTENTIAL GROUNDING: if A is free for p in the predicative fact ϕ(A), then ϕ(A) < ∃p(ϕ(p)) for some more precise explication of predicativity.
It isn't clear how to plausibly implement this strategy; for example, it is hard to see how to formulate a predicativity restriction which is not overly strong. Krämer suggests two ways of doing so: one treats "predicative" in PREDICATIVE EXISTENTIAL GROUNDING as meaning "has no propositional quantifiers", the other postulates a hierarchy of propositions and, thereby, a hierarchy of propositional quantifiers. 12 Neither way is without obvious problems; more importantly, it is hard to see why impredicativity should be generally worrisome in a grounding context. Our problem case is one where the grounding fact involved quantifies over propositions including itself, but without some additional explanation of why this is problematic, I worry that restricting EXISTENTIAL GROUNDING is a mere palliative remedy. After all, some impredicative grounds sometimes seem fine. Consider every fact is a proposition . This, if a fact, is clearly impredicative, but it seems entirely unproblematic to let it ground ∃pp, contra PREDICATIVE EXISTENTIAL GROUNDING. It would thus be good to have principled alternatives to Krämer's approach which save the existential grounding principle in full generality even if merely in the service of having theoretical options. 13 A principled alternative which saves EXISTENTIAL GROUNDING is possible. We can say that EXISTENTIAL GROUNDING is fine, but IRREFLEXIVITY, as stated, is slightly too strong. It is only in the vast majority of cases that something doesn't ground itself; when there is a case of reflexive grounding, this is due to a special feature of the case, the vacuousness of the grounds in grounding the grounded fact. This is not to deny that there are ways of seeing the grounding relation which would motivate trying to solve this puzzle by keeping IRREFLEXIVITY and, perhaps, imposing some requirement of predicativity. If, for example, you thought that grounds were always "more fundamental" than what they ground, or that reality came stratified in 12 See the attempt in [13:? 88] for discussion. There are irritating complications that will arise if you ban propositional quantifiers from quantifying over propositionally quantified formulas. For example, ∀p(p → [(p∧s)∨(p∧¬s)]) should be a legitimate grounding instance of ∀r∀p(p → [(p∧r)∨(p∧¬r)]) by intuitive universal grounding properties-this seems to hold for all propositions r (even and including s itself.) Blocking it seems ad hoc. 13 For an interesting and attractive alternative response to these puzzles, see [15]. "grounding layers", then it would be natural to ban all reflexive grounding. 14 After all, it seems nothing can be less fundamental than itself and nothing can be "built" out of itself. 15 But this is not the only way of understanding the grounding relation; we should have alternative solutions that do not presuppose this particular interpretation of ground.
The irreflexivity of grounding often seems to be motivated by the thought that grounding is explanatory, but that nothing explains itself.
The fact that grounding is systematically connected with explanation in the manner discussed above also suggests that grounding is irreflexive on the assumption that nothing can explain itself. ( [31] (p.105)) 16 A prohibition on reflexive grounding relations seems prima facie reasonable on the assumption that explanation is not reflexive. It, however, is not entirely clear that there are no recherché cases in which something can explain itself in the relevant sense. [16] and [3], among others, have suggested that there are cases of self-explanation; regardless of whether these have to do with grounding in the sense intended here, their suggestions put pressure on the idea that it is obvious that explanation is irreflexive. And, of course, so too do the sort of cases we are discussing.
An anonymous referee asks why the fact there are facts explains that there are facts, instead of just necessitating it. This strikes me as a strange pair of alternatives; that there are facts-i.e. true propositions-is a theorem from my (bog standard) assumptions about propositional quantification. The fact that there are facts is thus trivially necessitated by anything. Many of these necessitations do not bear the least resemblance to anything like an explanation. It seems quite intuitive to me that, in at least a sense, we go further in the case at hand. We seem to explain that there are facts by pointing to an example of one: the very fact that there are facts. If these are not good explanations, it seems to me that it has to be explained why citing any other fact successfully explains that there are some facts, but not the obvious and demonstrable fact that there are some facts. This strikes me as a rather difficult challenge.
At this point, we have put some pressure on the idea that explanation is irreflexive, but not yet on the idea that grounding is irreflexive. However, the support for grounding being irreflexive was supposed to be that explanation is irreflexive. If explanation, in the relevant sense, is sometimes reflexive-and it seems to me that the burden is on the opponent of reflexive explanation to explain away cases or give a compelling argument for irreflexivity-then there seems no initial barrier to considering reflexive cases of explanation. If, therefore, some reflexive explanations seem acceptable, as they do to me, then we should not immediately assume they do not correlate with cases of grounding. 17 I have here been drawing on intuitions about explanation which are held by at least myself and some others, such as the above cited theorists. I admit that intuitions vary about these cases, but the disagreement seems to me, again, sufficient reason to develop an alternative which preserves the attractive existential grounding principle at what seems to me the minor cost of occasional principled violations of IRREFLEXIVITY.
For those who do not share these intuitions, it is worth noting that there is independent reason to develop alternatives like mine. Some theorists, such as Krämer and Roski [14], have suggested that grounding "backs explanation", but that not all cases of grounding are cases of explanation. 18 The idea is that grounding is a certain worldly relation which, at least typically, underwrites a relation of explanation between facts, but which is not to be identified with this explanatory relation. This cashes out the sense in which grounding is explanatory without requiring that all features (and, importantly, failures) of explanation imply failures of grounding. On this view, we could maintain that there was something wrong with cases of reflexive grounding-they don't back the best type of metaphysical explanation between facts-but the problem wouldn't be that they weren't instances of grounding.
This is important since, if our main reason for thinking that grounding was irreflexive was that we thought that explanation, in the best sense, was irreflexive, then even if we rejected self-explanation, we might admit that there are cases of reflexive grounding which are not perfectly explanatory. 19 This would still open up room for a view like mine, since the sort of diagnosis I give of reflexive grounding is easily adaptable, on such a picture, into a claim about explanatory failures of reflexive grounding.
In particular, there is an intuitive sense in which cases of vacuous grounding are exactly cases where the grounds are not difference-making grounds in something like Krämer and Roski's sense (see fn. 19 and fn. 24 below.) Insofar as difference-making is a crucial part of explanation, in at least the best sense, there is an explanatory failure in reflexive grounding which doesn't undermine the grounding relations. So it seems that there are a number of pictures of grounding, explanation, and the relationship between them which would underwrite developing a view like mine. 20 Turning to developing my account, it is important to keep in mind that I do not deny that there is something funny in cases of reflexive grounding. In my view, the important feature of these cases is that the grounds figure in an unusual way in their grounding role. I am not the first to notice this fact; Fine, in a useful discussion of TRANSITIVITY and IRREFLEXIVITY, notes: ...there might be special cases in which A in one capacity, so to speak, was a ground for A in another capacity. The truth-teller might in this sense be a ground for itself; and perhaps the cycles involved in our various arguments might also be of this sort. I do not wish to deny that there may be such a notion of ground.
[8] (p. 105) So even Fine, a proponent of the irreflexivity of ground admits that there might be a notion of ground which admitted of cycles, so long as they are some sort of special case. Fine's thought seems to be that there is more than one way in which a fact might figure in a grounding relation and that reflexive grounding might be okay so as long as these ways don't overlap between the grounds and the grounded fact. 21 Or, anyways, that for some notions of ground this is true. But we require a story about what these ways might be. 22 In my view, the difference is that sometimes the content of a fact plays a crucial role in its occurrence as a ground and sometimes it does not. 23 In particular, sometimes the particular content of a ground is irrelevant to the explanatory work it does in its occurrence as a ground for the grounded fact. How might this occur? Consider the case discussed above of there are some facts . In this case, the content of there are some facts is important in its occurrence as the grounded fact, but in its occurrence as a ground, its particular content is more or less irrelevant to the work it does as a 20 Thanks to a referee for pushing me to explore this reason for developing my view and suggestions for how this might go. 21 I make no claim here to Fine exegesis. Read this as "Fine's thought as it struck me". Section 1 of [9] later introduces a notion of weak ground on which every fact weakly grounds itself. This seems a distinct relation from the one he is toying with in the above quotation, where cases of reflexive ground would be special. 22 Given that Fine and Krämer's puzzles would plausibly arise even for this notion of grounding, if there is such a notion, then we need a story for it even if the solution for some other target notion of grounding is to bar impredicative instances of EXISTENTIAL GROUNDING. 23 An anonymous referee suggests that there is something funny with talking about the occurrence of a fact as a ground. Since I take facts to be true propositions, grounding to be a relation between propositions, and grounding claims to be propositions about grounding relations, I see nothing funny about this, but if it bothers the reader, take my use of 'occurrence' to be a vulgar way of indicating the occurrence of a sentence-like entity, denoting a true proposition, in a claim about grounding; a claim that, if true, corresponds to a real grounding relation. ground. Any fact would have done in its stead. So, intuitively, there is nothing in particular about what it says that is important for it grounding that there are some facts. We could as easily explain that there are facts by pointing to the fact that there are monkeys, the fact that I am wearing red sneakers, or the fact that one is the loneliest number. 24 To put the point slightly differently, it seems to me that one intuition behind the claim that grounding is irreflexive is that it is a mystery how the content of some fact could explain the content of that very fact. However, the particular content of ∃p p doesn't seem to matter to the role that it plays in explaining ∃p p. It does matter to the role that ∃p p plays in being grounded by ∃p p or any other fact. So Fine and Krämer's examples seem, on closer inspection, to display at least one way that a fact might figure in a grounding relation in two different ways.
In many cases, the particular content matters quite a bit. The particular content of the fact that I am wearing red sneakers matters in grounding the fact that I am wearing shoes of some color. And, again, in our case of reflexive grounding, the particular content matters to the grounded fact-since if the content were different in certain ways, then it would not be grounded by itself. there are some interesting facts is not grounded by itself, after all. If we can capture this difference slightly more precisely, we can put some flesh on Fine's important point about two different roles for facts in grounding claims.
The key move in giving a precise account of the difference is distinguishing between vacuous and non-vacuous grounds. 25 The notion of a vacuous ground is modeled on Quine's notion of a vacuous occurrence: for Quine, an expression ϕ occurs vacuously in the true sentence ϕ ∨¬ϕ since we could substitute any grammatically appropriate expression ψ for ϕ in ϕ ∨ ¬ϕ without disturbing its truth. Quine took this to show that (the content of) ϕ plays no essential role establishing the truth of ϕ ∨ ¬ϕ [20]. I will shortly propose that in any plausible case of reflexive grounding, the grounded fact occurs vacuously, in an analogous sense, in the grounds. Note, "propose", not "prove". What I show is that Fine and Krämer's cases can be dealt with in this way and that the solution is natural. Again, I do not show that there are no other worrisome cases of irreflexive grounds; I view Fine and Krämer's casesas they are constructed out of logical and "logic of grounding"-ical materials-as the most serious challenge to IRREFLEXIVITY. 26 24 This is the sense of some reflexive grounds not being difference-makers I pointed at above. Since the particular content of the grounds doesn't matter here, they are intuitively not difference-making grounds. Any old fact, with any old content, would do equally well; moreover, in this particular case, since there are always some facts, we will always have a total ground for there are some facts . Again, I hope to explore in detail the analogy to Krämer and Roski's account on another occasion. 25 This solution first occurred to me while thinking through Charles Pigden's account of ethical autonomy in terms of Quine's notion of vacuity [18]. The notion of vacuity used here is different, of course, since the context is explanation, not entailment. 26 Other potential cases beyond those so far mentioned, such as those in [11] and [25], involve significant further complications involving identity and truth, and again, potentially admit of independent resolution. Fine and Krämer's cases arise from basic facts about logic and the logic of grounding and are thus significantly more threatening. If there needs to be further work done to salvage the irreflexive property from these additional sort of worries, well and good. But that doesn't show that my proposal doesn't capture exactly what has gone wrong with the Fine and Krämer puzzles, even in contexts where further challenges may arise.
Quine's notion of vacuous occurrence largely captures the sense in which the content of a particular sentence can be irrelevant to the truth of what it entails or of a complex sentence it occurs within. We want to do something similar with respect to content and metaphysical explanation. We want to define a notion of vacuity which captures when the particular content of grounds is inessential to the metaphysical explanation of why the grounded fact holds. The idea is simple. Consider a grounding claim A < C and structurally identical grounding claim B < C we obtain by (uniformly) substituting an arbitrary proposition B for A. Suppose this new grounding claim holds at any world where B holds. What does this show us about A? It shows that the particular content of A was inessential to the grounding explanation as any proposition, at any world where it is true, would have done in its place. 27 This does not mean that we could simply delete A from the grounds-A plays an explanatory role in the actual explanation of C-but it does mean that A's particular content is not relevant since any content would do in its stead. 28 Note the essential occurrence of 'particular' in the above discussion. I am not claiming that the content does not matter in the actual explanation. That a particular proposition has some content and that that content is true or false will nearly always matter in providing a grounding explanation. But the particular content will sometimes not matter; that is, it will not matter what the content of the proposition is, merely that it has content and that that content is true or false (see objection 8 below.) More formally, given a (total) grounding fact γ , let γ A/B be the result of uniformly substituting the proposition B for A in the grounds of γ . Suppose γ is A, A ∨ C < G . γ A/B is then B, B ∨ C < G . γ A/B might not be a grounding fact since B might be false. Note that B might occur unembedded in γ or it might occur in γ by being embedded in some more complex proposition. We will say that: A proposition A occurs vacuously in a grounding fact γ when A occurs in the grounds of γ and, for any proposition B, γ A/B holds anywhere the (modified) grounds of γ A/B are true. 29 The proposition ∃pp is vacuous in ∃pp < ∃pp since substituting any proposition A for ∃pp in the grounds results in a true grounding claim anywhere A holds. 27 It is important to "modalize" here since otherwise, we might get that we can freely substitute facts for A, but only because there is an insufficient slate of available facts to put in the place of A. In such a case, A wouldn't be truly vacuous. Of course, my definition of vacuity is less permissive than the definition just mentioned, so my use of vacuity shouldn't trouble someone tempted by the weaker definition. 28 Note that vacuity is meant to be a sufficient condition for the particular content of a fact playing no essential role in a ground relation. It may not be a necessary condition, though it strikes me as plausible that it is. I hope to explore this issue elsewhere. 29 The grounded fact might be such that it holds in no world other than the actual world. Say, for example, the grounded fact C is a rigidified fact holding only in the actual world. For full generality, we would want to work with a more qualitative notion of the identity of propositions and say, strictly speaking, that A is B-vacuous in A < C when B < C * for C * the qualitative analogue of C in the world in which B is true. See [33] for more details. For the examples I discuss here, nothing turns on this point. Also, for a truly adequate definition, we would have to deal with complications involving simultaneous substitutions, as Quine later pointed out [21] (fn. 2). Doing this is slightly more difficult in a grounding context; I demonstrate one way of doing so, involving making explicit various property connections, in [33]. For the cases under consideration, this isn't really necessary, so I will not discuss the matter is more detail here. Note that we have performed the substitution only in the grounds, not in the grounded fact. If we substituted everywhere in the grounding fact, then many constituents of many grounding claims-such as any A in logical relationships like A < A ∨ Bwould turn out to be vacuous. This is not the phenomenon we are attempting to capture; instead, we want to capture how the particular content of the grounds might not be relevant for its work in grounding some particular. In the case of A < A∨B , the content of A matters quite a bit for its role in grounding A ∨ B. Not any old content would do. 30 In the cases under consideration, what is important is only that ∃pp is fact. That's all that is needed for it to ground ∃pp. Of course, the content of ∃pp is, in a way, part of the content of ∃pp. ∃p ranges over all propositions and since ∃pp, being a fact, is a true proposition, it's in the range of ∃p. But not all cases of vacuous grounding are cases where the content of the grounded fact includes the content of the grounds.
Consider an illustrative example: that Yagmur answered my question correctly might be grounded in the fact that Yagmur answered with A, that A is about rain, A, and that I asked Yagmur for an example of a fact about rain. If we uniformly substitute B for A in the grounds, then we get that Yagmur answered with B, B, that B is about rain, and that I asked Yagmur for an example of a fact about rain. This plausibly grounds that Yagmur answered my question correctly and would do so no matter what B was, in any case where B is about rain, where B held, and where the other modified grounds hold. That is, in any case where the modified grounds are true, they ground that Yagmur answered my question correctly. So A is vacuous in this grounding fact. The particular content of A, just as in the reflexive cases which are our main concern, do no work in explaining why Yagmur answered my question correctly-since all that matters is that A is about rain (which is itself part of the grounds.) See also objection and reply 8 below for more discussion. 31 With the notion of vacuous grounds now spelled out, I propose SUBSTANTIVE IRREFLEXIVITY: . . . , A ≮ A unless A occurs vacuously in . . . , A < A as the proper articulation of the irreflexivity of grounding. Given SUBSTANTIVE IRREFLEXIVITY, we can retain the full-blooded form of EXISTENTIAL GROUNDING without relinquishing the core intuition which drove (at least some of) us to accept the irreflexivity of grounding. We merely need to accept that sometimes-as in our existential case-we can have vacuous reflexive grounds. Moreover, this proposal makes sense of Fine's observation that facts can occur in two capacities in grounding claims. When the capacities are different in the way suggested above-when the particular content of a fact matters to its occurrence as the grounded fact, but not to its occurrence in the grounding facts-we can allow reflexive grounding while preserving the intuition that the particular content of a fact doesn't metaphysically explain its particular content. This because it is only when the particular content of A doesn't matter-when A is vacuous in . . . , A < Athat A can ground itself. Since my suggestion preserves this essential intuition about metaphysical explanation without abandoning the extremely plausible EXISTENTIAL GROUNDING principle, SUBSTANTIVE IRREFLEXIVITY is a serious contender for a way of resolving for Fine and Krämer's puzzles. we face the question of whether we can run an analogue of Krämer's argument which has this result.

Objections and Replies
Reply No. Suppose we have ∃pP os(p). By generalizing, we get that ∃pP os(p) < ∃pp , but we have no way to generalize so as to directly get ∃pP os(p) < ∃pP os(p) .

Objection 2
Suppose we had a further superficially plausible principle of total grounding for some property like positivity:

POSITIVE GROUNDING: if A and P os(A), then A < P os(A)
So long as the property of being positive can itself apply to a propositionally quantified existential fact like ∃pP os(p), POSITIVE GROUNDING and EXISTENTIAL GROUNDING together with the transitivity of grounding will yield a problem so long as, as seems immune from doubt, there are some true positive propositions: 1. ∃pP os(p) and P os( ∃pP os(p) ) 2. ∃pP os(p) < P os( ∃pP os(p) ) (POSITIVE GROUNDING) 3. P os( ∃pP os(p) ) < ∃pP os(p) (EXISTENTIAL GROUNDING) 4. ∃pP os(p) < ∃pP os(p) (TRANSITIVITY) But (4) violates SUBSTANTIVE IRREFLEXIVITY since ∃pP os(p) is not vacuous in ∃pP os(p) < ∃pP os(p) .

Reply
We cannot retain all of POSITIVE GROUNDING, EXISTENTIAL GROUNDING, and SUBSTANTIVE IRREFLEXIVITY so long as there are some true positive propositions. Happily, POSITIVE GROUNDING, it turns out, is entirely implausible on closer inspection. It is not plausible that the fact A explains the positivity of A. What seems to do the explaining here is the fact that A is the way that it is; that is, that A has the structure that it has. But A and that A is the way that it is are distinct facts. There are, as a result, two distinct general grounding claims here. POSITIVE GROUNDING, where P os(A) is totally grounded in A and POSITIVE STRUCTURE GROUNDING:

if P os(A), A is the way it is < P os(A)
POSITIVE STRUCTURE GROUNDING is a very plausible grounding claim, POSITIVE GROUNDING not. Whatever initial plausibility POSITIVE GROUNDING has seems to me to drain away once we see POSITIVE STRUCTURE GROUNDING. But, if this does not yet convince, consider the fact that grounding is widely considered to be "factive". That is, when we have a true grounding claim A < B , then A and B must also be true (i.e. they must be facts, not mere propositions.) But it seems clear that A figures, in some way, in the explanation of the fact that A is positive, regardless of whether or not A is true. So it must be that whatever the actual ground of A's positivity is, it's not the proposition A itself, but something closer to the proposition that A is the way it is which is true even if A is not. 32 But if POSITIVE STRUCTURE GROUNDING, not POSITIVE GROUNDING, is the correct way to see the relation between, say, A and A's positivity, then there is no immediate threat arising for my solution. And, clearly, the same goes for properties like [is a quantified proposition], [contains purple as a constituent], or what have you. So it is not at all obvious that properties like positivity that will cause us a problem since it is not at all clear that there are properties F such that there are some F propositions, ∃pF (p) ≮ ∃pF (p) , and where the F-analogue of POSITIVE GROUNDING holds. 33 Reply Since not only ∃p(p ∨ A) < ∃p(p ∨ A) , but also B < ∃p(p ∨ A) for any proposition B, ∃p(p ∨ A) occurs vacuously in ∃p(p ∨ A) < ∃p(p ∨ A) and there is no conflict with SUBSTANTIVE IRREFLEXIVITY.

Objection 4
Your solution is merely a solution to the analogue of Krämer's puzzle for total grounding. As Krämer (and Fine's) puzzles are developed for partial grounding, your solution is incomplete. 32 See [31] for a discussion of the claim that objects don't ground anything. Rather, their existence or properties do the grounding. The point is attributed to Shamik Dasgupta. 33 Note that even if we accept notions of "object" grounding"-grounding F (A) in the proposition A itself considered as an object-there is still no threat to our argument. We cannot infer ∃pF (p) < ∃pF (p) from ∃pF (p) o < F( ∃pF (p) ) and F ( ∃pF (p) ) < ∃pF (p) since < and o < are distinct relations. And there is no reason to think that if o object-grounds A and A grounds B, that o grounds B. At best, o object grounds B, but this is not violation of irreflexivity. See [27] for motivation of the idea that objects can stand in grounding relations.
Reply Yes, as stated, but the solution extends naturally to a solution to puzzles involving partial grounding. 34 It is worth spelling this out a bit since we have cases of reflexive partial grounding which hold where their total grounding analogues fail. For example, using ≺ for partial grounding-being part of a set of total grounds-and P osF ac for the property of being a positive fact (i.e. a true positive proposition)-it seems to me that ∃pP osF ac(p) ≺ ∃pP osF ac (p) but that the total ground analogue ∃pP osF ac(p) < ∃pP osF ac(p) fails. I argue for this by drawing on my response to objection 3 and the assumption that facts are true propositions. If we consider facts to be true propositions, then it would be strange to hold that we ground ∃pP os(p) in P os( ∃pP os(p) ), but we don't analogously need P osF ac( ∃pP osF ac(p) ) among the grounds of ∃pP osF ac(p). It is much more natural to hold that we can ground ∃pP osF ac(p) by the fact that it holds and the fact that it is positive. So, the proper grounding fact here is: ∃pP osF ac(p), P osF ac( ∃pP osF ac(p) ) < ∃pP osF ac(p) since we need both that ∃pP osF ac(p) holds and that it is positive in order to ground that there are positive facts. This grounding fact is unproblematic since ∃pP osF ac(p) occurs vacuously in ∃pP osF ac(p), P osF ac( ∃pP osF ac(p) ) < ∃pP osF ac(p) since for any other proposition B:

B, P osF ac(B) < ∃pP osF ac(p)
holds whenever B and P osF ac(B) do. 35 Now, so long as we define vacuous occurrence for partial grounding in terms of a component occurring vacuously in any set of total grounds extending the partial grounds-as seems entirely natural given what partial grounding is-reflexive partial grounds will cause us no significant worry. We can advocate, that is, PARTIAL SUBSTANTIVE IRREFLEXIVITY: . That is, if for every way of cashing out which produces a legitimate grounding fact, substituting B for A uniformly also produces a grounding fact when we assume the modified grounds hold. The explanation of PARTIAL SUBSTANTIVE IRREFLEXIVITY is entirely analogous to the the explanation of SUBSTANTIVE IRREFLEXIVITY, viz. when A is vacuous in a grounding fact, then its content is not relevant to the work it does in grounding the grounded fact.

Objection 5 What about cases of reflexive universal grounding?
Reply The solution given above can be shown to easily solve reflexive cases of universal grounding as well. Consider, for example, the claim that: where the A n s are all the facts and TOTALITY is the "totality fact" testifying to this. 36 If we uniformly substitute some proposition B for some proposition A n in the grounds of the above indented grounding claim, do we end up with a case in which all the grounds could be true, but they don't ground ∀p p ∨ ¬p? No, since we have to uniformly substitute. Since A will occur in TOTALITY, on reasonable treatments of TOTALITY, we need to also substitute B for A in TOTALITY and this will return a different totality fact TOTALITY A n /B . Presumably, though, -An existential generalization is totally grounded by each of its true instances.
-For any A, if Obama knows A, then this is partly grounded by A.
Writing "Obama knows" as O k , we get from the first that O k (∃pO k (p)) < ∃pO k (p) and from the second that ∃pO k (p) ≺ O k (∃pO k (p)) . By transitivity for partial grounding, we get O k (∃pO k (p)) ≺ O k (∃pO k (p)) but O k (∃pO k (p)) is not vacuous in this grounding fact. 38 36 I make no assumptions we can index all the propositions here. I'm using the ' n ' notation simply to make exposition easier. 37 This solution assumes that in the proper account of universal grounding, the TOTALITY fact appears in the grounds. This can be avoided; I use the technical notion of grounding* facts in [33] to avoid taking a stand on which grounds are necessary for a grounding claim to go through. This is related, though not identical to, the distinction between grounds and enablers; roughly, grounding* facts are grounding facts "fleshed-out" with facts which are not part of the explanation, but which are necessary in order to make sense of the meaning and role of the facts in the explanation so as to allow the proper substitutions to go through. This includes enablers (see [4] for discussion of enablers) and certain privileged property connections. For the point I'm making here, such technical machinations aren't to the point. The interested reader can consult [33] for discussion. 38 Thanks to a helpful referee for suggesting I consider this case. The cognoscenti might here wonder about the truth-teller and how I deal with it. It is a complicated case that I hope to deal with elsewhere. Roughly, the trouble is that the mechanism by which self-reference is achieved can involve significant background materials which are obfuscated by writing things like "let ϕ be ϕ is true". (This is a general problem. See [5] for a useful discussion of this mistake in the literature on paradoxes of validity.) Depending on how we make sense of self-reference, the solution will vary as will the plausibility of the claim that the truthteller grounds itself. As for the general plausibility of the claim that the truth-teller grounds itself, note how easily our intuition slips from "obviously it grounds itself", when we write the grounding claim of a truth-teller γ as γ < γ is true to "clearly it doesn't ground itself" when we write it as γ is true < γ . Caution here is warranted.
Reply In order to resolve this puzzle, we need to probe a bit deeper into how the puzzle arises. The important move is replacing ∃pO k (p) with O k (∃pO k (p)) to get the case of reflexive partial grounding. Partial grounds need fleshing out though. Consider replacing O k (∃pO k (p)) < ∃pO k (p) with O k (B) < ∃pO k (p) . We can then obtain, in the same way, O k (B) ≺ O k (∃pO k (p)) . This is an extremely partial grounding fact, suggesting we need to flesh it out a lot more in order to assess the total grounding fact. What we need, intuitively, is a ground expressing the relationship of Obama's knowledge that B to the grounded fact and, more importantly, Obama's knowledge about this relationship. Without this last, it is entirely unclear how to get a plausible total grounding fact from the partial grounding fact.
To make this clearer, let's actually flesh out the partial grounding fact O k (B) ≺ O k (∃pO k (p)) to a plausible total grounding fact. It would have to be something like: where O jb (A) represents that Obama is justified in believing that A. 39 If we similarly expand O k (∃pO k (p)) ≺ O k (∃pO k (p)) , writing B in the grounds for O k (∃pO k (p)) for both typesetting and sneaky reasons, we get:

B, O jb (B), O k [B → ∃pO k (p))] < O k (∃pO k (p))
But O k (∃pO k (p)) is vacuous in this grounding fact. Letting B now serve as an arbitrary proposition, so the above is the result of substituting B for O k (∃pO k (p)) in the grounds, the above is a grounding fact anywhere the modified grounds are true. So the partial grounding fact O k (∃pO k (p)) ≺ O k (∃pO k (p)) doesn't violate PARTIAL SUBSTANTIVE IRREFLEXIVITY (see objection 5). 40

Objection 7
The intuitive gloss you have given and motivated of the content not mattering comes apart from the formal gloss in terms of a vacuous occurrence. Consider, for example, the fact that Barry believes that snow is white, that snow is white concerns snow < Barry believes something concerning snow . snow is white occurs vacuously in this grounding fact-for arbitrary A, Barry believes A, A concerns snow < Barry believes something concerning snow -but intuitively, that snow is white is not irrelevant to explaining the fact that Barry believes something concerning snow. 41 Reply I deny the counterexample is a counterexample. It is exactly the right result that that snow is white occurs vacuously in this grounding fact; the particular content 39 Or whatever you take the additional materials grounding the fact that Obama knows something to be. 40 Readers might wonder here about concerns involving the opacity of knowledge claims. Careful inspection of my tentative solution to this puzzle reveals that I have made no assumptions about opacity here, though a more thorough survey and defense of my expansion claim might. The interesting issue of the relationship of substitution into grounding contexts can be bracketed here given that it is generally orthogonal to my concerns. 41 Thanks to Jon Litland and a helpful referee for raising cases of this form. Similar responses hold for the variations on this case suggested by the referee, so I will just use the simple version they first suggest. of snow is white plays no role in grounding that Barry believes something concerning snow. What plays the important role in grounding the grounded fact is the fact that snow is white concerns snow, which is explicitly part of the grounds. If this fact is needed for the grounding claim, then we have no counterexample here since what does the work in explaining that Barry believes something concerning snow is that the proposition he believes concerns snow. Of course, if we replaced that snow is white with that grass is green, we would have as one of the grounds that grass is green concerns snow, which is manifestly false, but if it were true, we would have a perfectly fine explanation.
To see the point here, contrast this case with another putative grounding claim: Barry believes that snow is white < Barry believes something concerning snow . If this is a correct grounding claim-i.e. if we do not need snow is white concerns snow in our explanation-then it would indeed be problematic if snow is white were vacuous in this contracted grounding claim. But, it's not. That Barry believes that grass is green does not ground that Barry believes something concerning snow.
This shows that it really is the fact that snow is white concerns snow that is doing the actual explanatory work in the grounding claim in the objection. The particular content of snow is white doesn't play a role in the putatively problematic example, except as articulated as part of the grounds (i.e. in its occurrence as the fact snow is white concerns snow.) Of course, which of these two grounding claims correctly articulates the grounds of Barry's snow-concerning believing is a matter of some contention, but the important fact is that neither constitutes a problem for my analysis.