Pure Logic of Many-Many Ground

Journal of Philosophical Logic 45 (5):531-577 (2016)
  Copy   BIBTEX

Abstract

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.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 105,859

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

On weak ground.Louis deRosset - 2014 - Review of Symbolic Logic 7 (4):713-744.
Better Semantics for the Pure Logic of Ground.Louis deRosset - 2015 - Analytic Philosophy 56 (3):229-252.
The logic of ground.Adam Lovett - 2020 - Journal of Philosophical Logic 49 (1):13-49.
The Pure Logic of Ground.Kit Fine - 2012 - Review of Symbolic Logic 5 (1):1-25.
Grounding Generalizations.Jeremy Goodman - 2023 - Journal of Philosophical Logic 52 (3):821-858.
Disjunction and the Logic of Grounding.Giovanni Merlo - 2020 - Erkenntnis 87 (2):567-587.
Tableaus for many-valued modal logic.Melvin Fitting - 1995 - Studia Logica 55 (1):63 - 87.
Understanding the Many.Byeonguk Yi - 1995 - Dissertation, University of California, Los Angeles
Many-valued hybrid logic.Jens Ulrik Hansen, Thomas Bolander & Torben Braüner - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev, Advances in Modal Logic. CSLI Publications. pp. 111-132.

Analytics

Added to PP
2016-02-07

Downloads
151 (#158,511)

6 months
13 (#258,957)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jon Litland
University of Texas at Austin

Citations of this work

Fundamentality.Tuomas E. Tahko - 2023 - Stanford Encyclopedia of Philosophy.
Grounding, Essence, And Identity.Fabrice Correia & Alexander Skiles - 2017 - Philosophy and Phenomenological Research 98 (3):642-670.
Ground.Michael J. Raven - 2015 - Philosophy Compass 10 (5):322-333.
No Work for Fundamental Facts.Thomas Oberle - 2023 - Philosophical Quarterly 73 (4):983-1003.

View all 27 citations / Add more citations

References found in this work

Writing the Book of the World.Theodore Sider - 2011 - Oxford, England: Oxford University Press.
Guide to Ground.Kit Fine - 2012 - In Fabrice Correia & Benjamin Schnieder, Metaphysical grounding: understanding the structure of reality. Cambridge: Cambridge University Press. pp. 37--80.
Grounding in the image of causation.Jonathan Schaffer - 2016 - Philosophical Studies 173 (1):49-100.
The question of realism.Kit Fine - 2001 - Philosophers' Imprint 1:1-30.
Grounding Explanations.Louis deRosset - 2013 - Philosophers' Imprint 13.

View all 23 references / Add more references