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

Jon Litland
University of Texas at Austin
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.
Keywords ground  iterated ground  logic of ground  inversion principle  natural deduction
Categories (categorize this paper)
DOI 10.1017/S1755020317000211
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 51,723
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No Work for a Theory of Grounding.Jessica M. Wilson - 2014 - Inquiry: An Interdisciplinary Journal of Philosophy 57 (5-6):535-579.
To Be F Is To Be G.Cian Dorr - 2016 - Philosophical Perspectives 30 (1):39-134.
Grounding: Toward a Theory of the In-Virtue-Of Relation.Paul Audi - 2012 - Journal of Philosophy 109 (12):685-711.
Essence and Modality.Kit Fine - 1994 - Philosophical Perspectives 8:1-16.
The Possibility of Physicalism.Shamik Dasgupta - 2014 - Journal of Philosophy 111 (9-10):557-592.

View all 35 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Pure Logic of Many-Many Ground.Jon Litland - 2016 - Journal of Philosophical Logic 45 (5):531-577.
Some Logics of Iterated Belief Change.John Cantwell - 1999 - Studia Logica 63 (1):49-84.
Iterated Local Reflection Versus Iterated Consistency.Lev Beklemishev - 1995 - Annals of Pure and Applied Logic 75 (1-2):25-48.
An Infinitely Descending Chain of Ground Without a Lower Bound.Jon Litland - 2016 - Philosophical Studies 173 (5):1361-1369.
The Pure Logic of Ground.Kit Fine - 2012 - Review of Symbolic Logic 5 (1):1-25.
Iterated Ultrapowers and Prikry Forcing.Patrick Dehornoy - 1978 - Annals of Pure and Applied Logic 15 (2):109.
Some Applications of Iterated Ultrapowers in Set Theory.Kenneth Kunen - 1970 - Annals of Pure and Applied Logic 1 (2):179.
Applications of Iterated Perfect Set Forcing.Marcia J. Groszek - 1988 - Annals of Pure and Applied Logic 39 (1):19-53.
Iterated Reflection Over Full Disquotational Truth.Fischer Martin, Nicolai Carlo & Horsten Leon - 2017 - Journal of Logic and Computation 27 (8):2631-2651.
On Weak Ground.Louis Derosset - 2014 - Review of Symbolic Logic 7 (4):713-744.


Added to PP index

Total views
55 ( #169,268 of 2,333,428 )

Recent downloads (6 months)
4 ( #194,578 of 2,333,428 )

How can I increase my downloads?


My notes