Pure logic of iterated full ground

Review of Symbolic Logic 11 (3):411-435 (2018)
  Copy   BIBTEX

Abstract

This article develops the Pure Logic of Iterated Full Ground (PLIFG), a logic of ground that can deal with claims of the form “ϕ grounds that (ψ grounds θ)”—what we call iterated grounding claims. The core idea is that some truths Γ ground a truth ϕ when there is an explanatory argument (of a certain sort) from premisses Γ to conclusion ϕ. By developing a deductive system that distinguishes between explanatory and nonexplanatory arguments we can give introduction rules for operators for factive and nonfactive full ground, as well as for a propositional “identity” connective. Elimination rules are then found by using a proof-theoretic inversion principle.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,031

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

Grounding Grounding.Jon Litland - 2017 - Oxford Studies in Metaphysics 10.
A Semantics for the Impure Logic of Ground.Louis deRosset & Kit Fine - 2023 - Journal of Philosophical Logic 52 (2):415-493.
The Pure Logic of Ground.Kit Fine - 2012 - Review of Symbolic Logic 5 (1):1-25.
Pure Logic of Many-Many Ground.Jon Erling Litland - 2016 - Journal of Philosophical Logic 45 (5):531-577.
Inner mantles and iterated HOD.Jonas Reitz & Kameryn J. Williams - 2019 - Mathematical Logic Quarterly 65 (4):498-510.
On weak ground.Louis deRosset - 2014 - Review of Symbolic Logic 7 (4):713-744.
Ground by Status.Lisa Vogt - 2024 - Philosophical Studies 181 (2):419-432.

Analytics

Added to PP
2018-07-14

Downloads
103 (#173,957)

6 months
14 (#200,423)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jon Litland
University of Texas at Austin

Citations of this work

Prospects for a Theory of Decycling.Jon Erling Litland - 2020 - Notre Dame Journal of Formal Logic 61 (3):467-499.

Add more citations

References found in this work

No Work for a Theory of Grounding.Jessica M. Wilson - 2014 - Inquiry: An Interdisciplinary Journal of Philosophy 57 (5-6):535-579.
Essence and modality.Kit Fine - 1994 - Philosophical Perspectives 8 (Logic and Language):1-16.
To Be F Is To Be G.Cian Dorr - 2016 - Philosophical Perspectives 30 (1):39-134.
The question of realism.Kit Fine - 2001 - Philosophers' Imprint 1:1-30.
Grounding: Toward a Theory of the I n-Virtue-Of Relation.Paul Audi - 2012 - Journal of Philosophy 109 (12):685-711.

View all 35 references / Add more references