Grounding Ground
Jon Erling Litland · Oxford University Press eBooks · 2017
The Problem of Iterated Ground is to explain what grounds truths about ground: if Γ grounds φ, what grounds that Γ grounds φ? This paper proposes a novel solution based on tying grounding to explanatory arguments. By developing a rigorous account of explanatory arguments operators for factive and non-factive ground can be equipped with natural introduction and elimination rules. A satisfactory account of iterated ground falls directly out of the resulting logic: non-factive grounding claims, if true, are zero-grounded in the sense of Fine.