Skip to main content
    • Aa
    • Aa



Though the study of grounding is still in the early stages, Kit Fine, in ”The Pure Logic of Ground”, has made a seminal attempt at formalization. Formalization of this sort is supposed to bring clarity and precision to our theorizing, as it has to the study of other metaphysically important phenomena, like modality and vagueness. Unfortunately, as I will argue, Fine ties the formal treatment of grounding to the obscure notion of a weak ground. The obscurity of weak ground, together with its centrality in Fine’s system, threatens to undermine the extent to which this formalization offers clarity and precision. In this paper, I show how to overcome this problem. I describe a system, the logic of strict ground (LSG) and demonstrate its adequacy; I specify a translation scheme for interpreting Fine’s weak grounding claims; I show that the interpretation verifies all of the principles of Fine’s system; and I show that derivability in Fine’s system can be exactly characterized in terms of derivability in LSG. I conclude that Fine’s system is reducible to LSG.

Corresponding author
Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

D. M Armstrong . (1997). A World of States of Affairs. Cambridge: Cambridge University Press.

R. P Cameron . (2008). Truthmakers and ontological commitment. Philosophical Studies, 140(1), 118.

F Correia . (2008). Ontological dependence. Philosophy Compass, 3(5), 1013–32.

K Fine . (2012a). Guide to Ground. In B. Schnieder & F. Correia , editors, Metaphysical Grounding: Understanding the Structure of Reality. Cambridge: Cambridge University Press, pp. 3780.

K Fine . (June 2014). Truthmaker semantics for intuitionistic logic. Journal of Philosophical Logic, 43(23), 549–77.

J Melia . (2005). Truthmaking without Truthmakers. In H. Beebee & J. Dodd , editors, Truthmakers: The Contemporary Debate. Oxford: Oxford University Press, pp. 6783.

K Mulligan , P Simons , & B Smith . (March 1984). Truth-Makers. Philosophy and Phenomenological Research, 44(3), 287321.

J Schaffer . (2003). Is there a fundamental level? Noûs, 37(3), 498517.

J Schaffer . (2007). From Nihilism to Monism. Australasian Journal of Philosophy, 85(2), 175–91.

J Schaffer . (2010). Monism: The Priority of the whole. The Philosophical Review, 119(1) 3176.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Review of Symbolic Logic
  • ISSN: 1755-0203
  • EISSN: 1755-0211
  • URL: /core/journals/review-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *


Full text views

Total number of HTML views: 0
Total number of PDF views: 18 *
Loading metrics...

Abstract views

Total abstract views: 152 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 26th September 2017. This data will be updated every 24 hours.