The paper proposes a strategy for understanding metaphysical grounding in deflationary terms and, more generally, proposes a form of methodological deflationism with respect to the notions of ground. The idea is to define a deflationary is grounded in-predicate by appeal to the two-place non-causal connective ‘because’ and a deflationary truth predicate. To this end, we discuss the explanatory role of the truth-predicate in non-causal explanations and develop a theory of truth for the language of the ‘because’-connective. We argue that at (...) least from a logical perspective our deflationary notion of ground is up to the task. (shrink)

This article aims to provide an explication of the doctrine of the monarchy of the Father. A precisification of the doctrine is made within the building-fundamentality framework provided by Karen Bennett, which enables a further clarification of the central elements of the doctrine to be made and an important objection against it to be answered.

In this article, I seek to assess the extent to which Theism, the claim that there is a God, can provide a true fundamental explanation for the existence of certain entities within the layered structure of reality. More precisely, I assume the cogency of Swinburne’s explanatory framework and seek to resituate it within a new philosophical context-that of the field of contemporary metaphysics-which will enable me to develop a true fundamental explanation for the existence of the non-fundamental entities that fill (...) up the various levels of the layered structure of reality. And thus, given the truth of this type of explanation, we will have one more good reason to believe in the existence of God. (shrink)

Most of the logics of grounding that have so far been proposed contain grounding axioms, or grounding rules, for the connectives of conjunction, disjunction and negation, but little attention has been dedicated to the implication connective. The present paper aims at repairing this situation by proposing adequate grounding principles for relevant implication. Because of the interaction between negation and implication, new grounding principles concerning negation will also arise.

In Poggiolesi [. Grounding principles for implication. Synthese, 1–28], a definition of the notion of grounding in the background of a relevant framework has been introduced; this...

An oft-defended claim of a close relationship between Gentzen inference rules and the meaning of the connectives they introduce and eliminate has given rise to a whole domain called proof-theoretic semantics, see Schroeder- Heister (1991); Prawitz (2006). A branch of proof-theoretic semantics, mainly developed by Dosen (2019); Dosen and Petric (2011), isolates in a precise mathematical manner formulas (of a logic L) that have the same meaning. These isomorphic formulas are defined to be those that behave identically in inferences. The (...) aim of this paper is to investigate another type of recently discussed rules in the literature, namely grounding rules, and their link to the meaning of the connectives they provide the grounds for. In particular, by using grounding rules, we will refine the notion of isomorphic formulas through the notion of hyper-isomorphic formulas. We will argue that it is actually the notion of hyper-isomorphic formulas that identify those formulas that have the same meaning. (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 is part two of a two-part paper in which we develop an axiomatic theory of the relation of partial ground. The main novelty of the paper is the of use of a binary ground predicate rather than an operator to formalize ground. In this part of the paper, we extend the base theory of the first part of the paper with hierarchically typed truth-predicates and principles about the interaction of partial ground and truth. We show that our theory is (...) a proof-theoretically conservative extension of the ramified theory of positive truth up to. (shrink)

According to a longstanding philosophical tradition dating back to Aristotle, certain proofs do not only certify the truth of their conclusion but also explain it. Lately, much effort is being devo...

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)

In this article, I seek to assess the extent to which Theism, the claim that there is a God, can provide a true fundamental explanation for the existence of certain entities within the layered structure of reality. More precisely, I assume the cogency of Swinburne’s explanatory framework and seek to resituate it within a new philosophical context-that of the field of contemporary metaphysics-which will enable me to develop a true fundamental explanation for the existence of the non-fundamental entities that fill (...) up the various levels of the layered structure of reality. And thus, given the truth of this type of explanation, we will have one more good reason to believe in the existence of God. (shrink)