Skip to main content



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.

Corresponding author
Hide All
Audi, P. (2012). Grounding: Towards a theory of the in virtue of relation. Journal of Philosophy, 109(12), 685711.
Bennett, K. (2011). By our bootstraps. Philosophical Perspectives, 25(1), 2741.
Bliss, R. (2014). Viciousness and circles of ground. Metaphilosophy, 45(2), 245256.
Bliss, R. & Trogdon, K. (2016). Metaphysical grounding. In Zalta, E. N., editor. The Stanford Encyclopedia of Philosophy (Winter 2016 edition). Available at
Correia, F. (2010). Grounding and truth-functions. Logique et Analyse, 53(211), 251279.
Correia, F. (2014). Logical grounds. Review of Symbolic Logic, 7(1), 3159.
Correia, F. (2017). An impure logic of representational grounding. Journal of Philosophical Logic, 46(5), 507538.
Daly, C. (2012). Scepticism about grounding. In Correia, F. and Schnieder, B., editors. Metaphysical Grounding. Cambridge: Cambridge University Press, pp. 81100.
Dasgupta, S. (2014a). On the plurality of grounds. Philosophers’ Imprint, 14(20), 128.
Dasgupta, S. (2014b). The possibility of physicalism. Journal of Philosophy, 111(9/10), 557592.
deRosset, L. (2013a). Grounding explanations. Philosophers’ Imprint, 13(7), 126.
deRosset, L. (2013b). What is weak ground? Essays in Philosophy, 14(1), 718.
deRosset, L. (2014). On weak ground. Review of Symbolic Logic, 7(4), 713744.
Dorr, C. (2016). To be F is to be G. Philosophical Perspectives, 30, 39134.
Fine, K. (1994a). Essence and modality. Philosophical Perspectives, 8, 116.
Fine, K. (1994b). Senses of essence. In Raffman, D., Sinnott Armstrong, W., and Asher, N., editors. Modality, Morality, and Belief: Essays in Honor of Ruth Barcan Marcus. Chicago: University of Chicago Press, pp. 5373.
Fine, K. (2001). The Question of realism. Philosophers’ Imprint, 1(1), 130.
Fine, K. (2010). Some puzzles of ground. Notre Dame Journal of Formal Logic, 51(1), 97118.
Fine, K. (2012a). Guide to ground. In Correia, F. and Schnieder, B., editors. Metaphysical Grounding. Cambridge: Cambridge University Press. pp. 3780.
Fine, K. (2012b). The pure logic of ground. The Review of Symbolic Logic, 5(1), 125.
Gentzen, G. (1969). The Collected Papers of Gerhard Gentzen. Amsterdam: North-Holland.
Hofweber, T. (2009). Ambitious, yet modest, metaphysics. In Chalmers, D., Manley, D., and Wasserman, R., editors. Metametaphysics: New Essays on the Foundations of Ontology. New York: Oxford University Press, pp. 269289.
Jenkins, C. (2011). Is metaphysical dependence irreflexive? The Monist, 94(2), 267276.
Krämer, S. (2013). A simpler puzzle of ground. Thought, 2(2), 8589.
Litland, J. E. (2013). On some counterexamples to the transitivity of grounding. Essays in Philosophy, 14(1), 1932.
Litland, J. E. (2015). Grounding, explanation, and the limit of internality. Philosophical Review, 124(4), 481532.
Litland, J. E. (2016). Pure logic of many-many ground. Journal of Philosophical Logic, 45(5), 531577.
Litland, J. E. (2017a). Could the grounds’s grounding the grounded ground the grounded? Analysis, 78(1), 5665.
Litland, J. E. (2017b). Grounding ground. Oxford Studies in Metaphysics, 10, 279316.
Litland, J. E. (forthcoming). Bicollective ground: Towards a (hyper)graphic account. In Bliss, R. and Priest, G., editors. Reality and Its Structure: Essays in Fundamentality. New York: Oxford University Press, pp. 140163.
Poggiolesi, F. (2016). On defining the notion of complete and immediate formal grounding. Synthese, 193(10), 31473167.
Poggiolesi, F. (2018). On constructing a logic for the notion of complete and immediate formal grounding. Synthese, 195(3), 12311254.
Raven, M. J. (2013). Is ground a strict partial order. American Philosophical Quarterly, 50(2), 191199.
Rayo, A. (2013). The Construction of Logical Space. Oxford: Oxford University Press.
Read, S. (2010). General-elimination harmony and the meaning of the logical constants. Journal of Philosophical Logic, 39(5), 557576.
Rosen, G. (2015). Real definition. Analytic Philosophy, 56, 189209.
Schaffer, J. (2012). Grounding, transitivity, and contrastivity. In Correia, F. and Schnieder, B., editors. Metaphysical Grounding. Cambridge: Cambridge University Press, pp. 122138.
Schnieder, B. (2011). A Logic for “Because”. Review of Symbolic Logic, 4(3), 445465.
Schroeder-Heister, P. (1984). A natural extension of natural deduction. Journal of Symbolic Logic, 49, 12841300.
Wilsch, T. (2015a). The deductive-nomological account of metaphysical explanation. Australasian Journal of Philosophy, 94(1), 123.
Wilsch, T. (2015b). The nomological account of ground. Philosophical Studies, 12(172), 32933312.
Wilson, J. M. (2014). No work for a theory of grounding. Inquiry, 57(5–6), 535579.
Wilson, J. M. (2016). Grounding-based formulations of physicalism. Topoi,
Yablo, S. & Rosen, G. (forthcoming). Solving the caesar problem—with metaphysics. In Miller, A., editor. Logic, Language and Metaphysics. Essays in Honor of Crispin Wright. Oxford: Oxford University Press.
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: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed