Analytic Philosophy 56 (3):229-252 (2015)

Louis deRosset
University of Vermont
Philosophers have spilled a lot of ink over the past few years exploring the nature and significance of grounding. Kit Fine has made several seminal contributions to this discussion, including an exact treatment of the formal features of grounding [Fine, 2012a]. He has specified a language in which grounding claims may be expressed, proposed a system of axioms which capture the relevant formal features, and offered a semantics which interprets the language. Unfortunately, the semantics Fine offers faces a number of problems. In this paper, I review the problems and offer an alternative that avoids them. I offer a semantics for the pure logic of ground that is motivated by ideas already present in the grounding literature, and for which a natural axiomatization capturing central formal features of grounding is sound and complete. I also show how the semantics I offer avoids the problems faced by Fine’s semantics.
Keywords Grounding  Pure Logic of Ground  Truthmaker Semantics
Categories (categorize this paper)
DOI 10.1111/phib.12065
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
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

Metaphysical Dependence: Grounding and Reduction.Gideon Rosen - 2010 - In Bob Hale & Aviv Hoffmann (eds.), Modality: Metaphysics, Logic, and Epistemology. Oxford University Press. pp. 109-36.
The Question of Realism.Kit Fine - 2001 - Philosophers' Imprint 1:1-30.
The Pure Logic of Ground.Kit Fine - 2012 - Review of Symbolic Logic 5 (1):1-25.
Is Metaphysical Dependence Irreflexive?C. Jenkins - 2011 - The Monist 94 (2):267-276.

View all 8 references / Add more references

Citations of this work BETA

Pure Logic of Many-Many Ground.Jon Litland - 2016 - Journal of Philosophical Logic 45 (5):531-577.
An Impure Logic of Representational Grounding.Fabrice Correia - 2017 - Journal of Philosophical Logic 46 (5):507-538.
On Weak Ground.Louis Derosset - 2014 - Review of Symbolic Logic 7 (4):713-744.

View all 12 citations / Add more citations

Similar books and articles

On Weak Ground.Louis Derosset - 2014 - Review of Symbolic Logic 7 (4):713-744.
What is Weak Ground?Louis deRosset - 2013 - Essays in Philosophy 14 (1):2.
The Pure Logic of Ground.Kit Fine - 2012 - Review of Symbolic Logic 5 (1):1-25.
A Game Semantics for Disjunctive Logic Programming.Thanos Tsouanas - 2013 - Annals of Pure and Applied Logic 164 (11):1144-1175.
Resource Modalities in Tensor Logic.Paul-André Melliès & Nicolas Tabareau - 2010 - Annals of Pure and Applied Logic 161 (5):632-653.
An Alternative Linear Semantics for Allowed Logic Programs.John Jeavons - 1997 - Annals of Pure and Applied Logic 84 (1):3-16.
A Constructive Game Semantics for the Language of Linear Logic.Giorgi Japaridze - 1997 - Annals of Pure and Applied Logic 85 (2):87-156.
The Logic of Proofs, Semantically.Melvin Fitting - 2005 - Annals of Pure and Applied Logic 132 (1):1-25.
Exit Fantasyland: On the Ontological Status of “Pure” Logic and “Pure” Semantics.John C. W. Touchie - 1998 - International Journal for the Semiotics of Law - Revue Internationale de Sémiotique Juridique 11 (2):193-203.
Pure Second-Order Logic with Second-Order Identity.Alexander Paseau - 2010 - Notre Dame Journal of Formal Logic 51 (3):351-360.
Possible World Semantics for First-Order Logic of Proofs.Melvin Fitting - 2014 - Annals of Pure and Applied Logic 165 (1):225-240.
Topological Completeness of the Provability Logic GLP.Lev Beklemishev & David Gabelaia - 2013 - Annals of Pure and Applied Logic 164 (12):1201-1223.


Added to PP index

Total views
233 ( #35,843 of 2,362,031 )

Recent downloads (6 months)
11 ( #59,971 of 2,362,031 )

How can I increase my downloads?


My notes