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: 90,616

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

Pure Logic of Many-Many Ground.Jon Erling 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.
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 Mathematical Logic 15 (2):109.
Some applications of iterated ultrapowers in set theory.Kenneth Kunen - 1970 - Annals of Mathematical 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.

Analytics

Added to PP
2018-07-14

Downloads
94 (#168,322)

6 months
10 (#135,809)

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