Grounding, Quantifiers, and Paradoxes

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.

[1]  Fabrice Correia,et al.  Grounding and Truth-Functions , 2010 .

[2]  Benjamin Schnieder,et al.  Metaphysical Grounding: Understanding the Structure of Reality , 2012 .

[3]  Jack Woods.  Emptying a Paradox of Ground , 2018, J. Philos. Log..

[4]  A. Betti.  Explanation in metaphysics and Bolzano’s theory of ground and consequence , 2010 .

[5]  Bernard Bolzano,et al.  Theory of Science , 1973 .

[6]  T. Sider.  Ground grounded , 2018, Philosophical Studies.

[7]  Francesca Poggiolesi,et al.  On defining the notion of complete and immediate formal grounding , 2016, Synthese.

[8]  Antje Rumberg,et al.  BOLZANO’S CONCEPT OF GROUNDING (ABFOLGE) AGAINST THE BACKGROUND OF NORMAL PROOFS , 2013, The Review of Symbolic Logic.

[9]  Kit Fine,et al.  Reasoning with arbitrary objects , 1988 .

[10]  Kit Fine,et al.  Metaphysical Grounding: Guide to ground , 2012 .

[11]  Neil Tennant,et al.  A Defence of Arbitrary Objects , 1983 .

[12]  Kit Fine,et al.  Some Puzzles of Ground , 2010, Notre Dame J. Formal Log..

[13]  Stephan Krämer.  A Simpler Puzzle of Ground , 2013 .

[14]  Stefan Roski.  Grounding and the explanatory role of generalizations , 2018 .

[15]  Johannes Korbmacher,et al.  Axiomatic Theories of Partial Ground I , 2017, J. Philos. Log..

[16]  F. Correia,et al.  Metaphysical Grounding: Frontmatter , 2012 .

[17]  David Hilbert.  Neubegründung der Mathematik. Erste Mitteilung , 1922 .

[18]  Johannes Korbmacher,et al.  Axiomatic Theories of Partial Ground II , 2017, J. Philos. Log..

[19]  Kit Fine,et al.  THE PURE LOGIC OF GROUND , 2011, The Review of Symbolic Logic.

[20]  Michaela M. McSweeney,et al.  Debunking Logical Ground: Distinguishing Metaphysics from Semantics , 2020, Journal of the American Philosophical Association.

[21]  Richard Zach.  Semantics and Proof Theory of the Epsilon Calculus , 2017, ICLA.

[22]  Kit Fine,et al.  Natural deduction and arbitrary objects , 1985, J. Philos. Log..

[23]  Alexander Paseau.  Defining Ultimate Ontological Basis and the Fundamental Layer , 2010 .

[24]  Helmut Schwichtenberg,et al.  Basic proof theory , 1996, Cambridge tracts in theoretical computer science.

[25]  Gideon Rosen,et al.  Metaphysical Dependence: Grounding and Reduction , 2009 .

[26]  E. J. Lowe,et al.  The Possibility of Metaphysics: Substance, Identity, and Time , 2001 .

[27]  Richard Zach,et al.  The Epsilon Calculus (Tutorial) , 2002, CSL.

[28]  L. Horsten.  The Metaphysics and Mathematics of Arbitrary Objects , 2019 .

[29]  Jonathan Schaffer,et al.  Monism: The Priority of the Whole , 2010 .

[30]  Francesca Poggiolesi.  Logics of grounding , 2019 .

[31]  S. Walsh,et al.  Philosophy and Model Theory , 2018 .

[32]  P. Dangerfield.  Logic , 1996, Aristotle and the Stoics.

[33]  B. Slater.  The Epsilon Calculus and its Applications , 1991 .

[34]  Fabrice Correia,et al.  LOGICAL GROUNDS , 2013, The Review of Symbolic Logic.

[35]  Benjamin Schnieder,et al.  A LOGIC FOR ‘BECAUSE’ , 2011, The Review of Symbolic Logic.

[36]  Francesca Poggiolesi,et al.  On constructing a logic for the notion of complete and immediate formal grounding , 2018, Synthese.