Though the study of grounding is still in the early stages, Kit Fine, in ”The Pure Logic of Ground”, has made a seminal attempt at formalization. Formalization of this sort is supposed to bring clarity and precision to our theorizing, as it has to the study of other metaphysically important phenomena, like modality and vagueness. Unfortunately, as I will argue, Fine ties the formal treatment of grounding to the obscure notion of a weak ground. The obscurity of weak ground, together (...) with its centrality in Fine’s system, threatens to undermine the extent to which this formalization offers clarity and precision. In this paper, I show how to overcome this problem. I describe a system, the logic of strict ground (LSG) and demonstrate its adequacy; I specify a translation scheme for interpreting Fine’s weak grounding claims; I show that the interpretation verifies all of the principles of Fine’s system; and I show that derivability in Fine’s system can be exactly characterized in terms of derivability in LSG. I conclude that Fine’s system is reducible to LSG. (shrink)

I identify a notion of logical grounding, clarify it, and show how it can be used (i) to characterise various consequence relations, and (ii) to give a precise syntactic account of the notion of “groundedness” at work in the literature on the paradoxes of truth.

We first introduce the intuitive idea of a relation of grounding between facts . Then we propose a definition of this idea, based on a certain theory of the structure of facts . Finally we consider the idea of proofs of a special kind, namely proofs which follow the grounds of what is proved.

The paper has two main objectives: first, it presents a new argument against the so-called Anscombe Thesis (if χ φ-s by ψ-ing, then χ's φ-ing = χ's ψ-ing). Second, it develops a proposal about the syntax and semantics of the 'by'-locution.

In spite of its significance for everyday and philosophical discourse, the explanatory connective has not received much treatment in the philosophy of logic. The present paper develops a logic for based on systematic connections between and the truth-functional connectives.

The aim of this paper is to provide a definition of the the notion of complete and immediate formal grounding through the concepts of derivability and complexity. It will be shown that this definition yields a subtle and precise analysis of the concept of grounding in several paradigmatic cases.

A logic of grounding where what is grounded can be a collection of truths is a “many-many” logic of ground. The idea that grounding might be irreducibly many-many has recently been suggested by Dasgupta. In this paper I present a range of novel philosophical and logical reasons for being interested in many-many logics of ground. I then show how Fine’s State-Space semantics for the Pure Logic of Ground can be extended to the many-many case, giving rise to the Pure Logic (...) of Many-Many Ground. In the second, more technical, part of the paper, I do two things. First, I present an alternative formalization of plg; this allows us to simplify Fine’s completeness proof for plg. Second, I formalize plmmg using an infinitary sequent calculus and prove that this formalization is sound and complete. (shrink)

I discuss three recent counterexamples to the transitivity of grounding due to Jonathan Schaffer. I argue that the counterexamples don’t work and draw some conclusions about the relationship between grounding and explanation.

Using only uncontentious principles from the logic of ground I construct an infinitely descending chain of ground without a lower bound. I then compare the construction to the constructions due to Dixon and Rabin and Rabern.

We define a notion of difference-making for partial grounds of a fact in rough analogy to existing notions of difference-making for causes of an event. Using orthodox assumptions about ground, we show that it induces a non-trivial division with examples of partial grounds on both sides. We then demonstrate the theoretical fruitfulness of the notion by applying it to the analysis of a certain kind of putative counter-example to the transitivity of ground recently described by Jonathan Schaffer. First, we show (...) that our conceptual apparatus of difference-making enables us to give a much clearer description than Schaffer does of what makes the relevant instances of transitivity appear problematic. Second, we suggest that difference-making is best seen as a mark of good grounding-based explanations rather than a necessary condition on grounding, and argue that this enables us to deal with the counter-example in a satisfactory way. Along the way, we show that Schaffer's own proposal for salvaging a form of transitivity by moving to a contrastive conception of ground is unsuccessful. We conclude by sketching some natural strategies for extending our proposal to a more comprehensive account of grounding-based explanations. (shrink)

In his 2010 paper ‘Grounding and Truth-Functions’, Fabrice Correia has developed the first and so far only proposal for a logic of ground based on a worldly conception of facts. In this paper, we show that the logic allows the derivation of implausible grounding claims. We then generalize these results and draw some conclusions concerning the structural features of ground and its associated notion of relevance, which has so far not received the attention it deserves.

Metaphysical grounding is standardly taken to be irreflexive: nothing grounds itself. Kit Fine has presented some puzzles that appear to contradict this principle. I construct a particularly simple variant of those puzzles that is independent of several of the assumptions required by Fine, instead employing quantification into sentence position. Various possible responses to Fine's puzzles thus turn out to apply only in a restricted range of cases.

The article explores the irreflexivity of metaphysical dependence in the physical structure of reality. It stresses that the word dependence denotes quasi-ireflexivity which affects the metaphysical relations of a physical structure. It focuses on the view that irreflexivity assumption has been made without discussion of the dependence relations on the structure of reality.

I propose a new semantics for intuitionistic logic, which is a cross between the construction-oriented semantics of Brouwer-Heyting-Kolmogorov and the condition-oriented semantics of Kripke. The new semantics shows how there might be a common semantical underpinning for intuitionistic and classical logic and how intuitionistic logic might thereby be tied to a realist conception of the relationship between language and the world.

I lay down a system of structural rules for various notions of ground and establish soundness and completeness.

I describe some paradoxes of ground and relate them to the semantic paradoxes.

I provide a truthmaker semantics for Angell’s system of analytic implication and establish completeness.

A number of philosophers think that grounding is, in some sense, well-founded. This thesis, however, is not always articulated precisely, nor is there a consensus in the literature as to how it should be characterized. In what follows, I consider several principles that one might have in mind when asserting that grounding is well-founded, and I argue that one of these principles, which I call ‘full foundations’, best captures the relevant claim. My argument is by the process of elimination. For (...) each of the inadequate principles, I illustrate its inadequacy by showing either that it excludes cases that should not be ruled out by a well-foundedness axiom for grounding, or that it admits cases that should be ruled out. (shrink)

On the now dominant Quinean view, metaphysics is about what there is. Metaphysics so conceived is concerned with such questions as whether properties exist, whether meanings exist, and whether numbers exist. I will argue for the revival of a more traditional Aristotelian view, on which metaphysics is about what grounds what. Metaphysics so revived does not bother asking whether properties, meanings, and numbers exist (of course they do!) The question is whether or not they are fundamental.

The essay is a partial investigation into the semantics of the explanatory connective ‘because’. After three independently plausible assumptions about ‘because’ are presented in some detail, it is shown how their interaction generates a puzzle about ‘because’, once they are combined with a common view on conceptual analysis. Four possible solutions to the puzzle are considered.

Interest surges in a distinctively metaphysical notion of ground. But a Schism has emerged between Orthodoxy’s view of ground as inducing a strict partial order structure on reality and Heresy’s rejection of this view. What’s at stake is the structure of reality (for proponents of ground), or even ground itself (for those who think this Schism casts doubt upon its coherence). I defend Orthodoxy against Heresy.

A number of philosophers have recently become receptive to the idea that, in addition to scientific or causal explanation, there may be a distinctive kind of metaphysical explanation, in which explanans and explanandum are connected, not through some sort of causal mechanism, but through some constitutive form of determination. I myself have long been sympathetic to this idea of constitutive determination or ‘ontological ground’; and it is the aim of the present paper to help put the idea on a firmer (...) footing - to explain how it is to be understood, how it relates to other ideas, and how it might be of use in philosophy. (shrink)

How does metaphysical grounding interact with the truth-functions? I argue that the answer varies according to whether one has a worldly conception or a conceptual conception of grounding. I then put forward a logic of worldly grounding and give it an adequate semantic characterisation.