×

Axiomatic theories of partial ground. I: The base theory. (English) Zbl 1436.03047

Summary: This is part one of a two-part paper, in which we develop an axiomatic theory of the relation of partial ground. The main novelty of the paper is the of use of a binary ground predicate rather than an operator to formalize ground. This allows us to connect theories of partial ground with axiomatic theories of truth. In this part of the paper, we develop an axiomatization of the relation of partial ground over the truths of arithmetic and show that the theory is a proof-theoretically conservative extension of the theory \(PT\) of positive truth. We construct models for the theory and draw some conclusions for the semantics of conceptualist ground.

MSC:

03A05 Philosophical and critical aspects of logic and foundations
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Bennett, K. (2011). By our bootstraps. Philosophical Perspectives, 25(1), 27-41. · doi:10.1111/j.1520-8583.2011.00207.x
[2] Bliss, R., & Trogdon, K. (2014). Metaphysical grounding. In Zalta, E. N. (Ed.) The stanford encyclopedia of philosophy. Winter 2014.
[3] Boolos, G., & et al. (2007). Computability and logic. Cambridge: Cambridge University Press. · Zbl 1154.03001 · doi:10.1017/CBO9780511804076
[4] Clark, M., & Liggins, D. (2012). Recent work on grounding. Analysis, 72(4), 812-23. · doi:10.1093/analys/ans086
[5] Correia, F. (2010). Grounding and truth-functions. Logique et Analyse, 53 (211), 251-279. · Zbl 1253.03028
[6] Correia, F. (2013). Logical grounds. Review of Symbolic Logic, 7(1), 31-59. · Zbl 1344.03005 · doi:10.1017/S1755020313000300
[7] Correia, F., & Schnieder, B. (2012). Grounding. an opiniated introduction. In Correia, F., & Schnieder, B. (Eds.) Metaphysical grounding: understanding the structure of reality (pp. 1-36). Cambridge University Press.
[8] Cresswell, M.J. (1975). Hyperintensional logic. Studia Logica, 34(1), 25-38. · Zbl 0307.02017 · doi:10.1007/BF02314421
[9] deRosset, L. (2015). Better Semantics for the Pure Logic of Ground. forthcoming in Analytic Philosophy.
[10] deRosset, L. (2013). Grounding explanations. Philosophers’ Imprint, 13(7), 1-26.
[11] Derosset, L. (2014). On weak ground. Review of Symbolic Logic, 7(4), 713-744. · Zbl 1339.03006 · doi:10.1017/S1755020314000306
[12] Fine, K. (1982). First-order modal theories III — facts. Synthese, 53(1), 43-122. · Zbl 0522.03009
[13] Fine, K. (2012). Guide to ground. In Correia, F., & Schnieder, B. (Eds.) Metaphysical grounding: understanding the structure of reality (pp. 37-80). Cambridge University Press. · Zbl 1250.03010
[14] Fine, K. (2010). Some puzzles of ground. Notre Dame Journal of Formal Logic, 51(1), 97-118. · Zbl 1256.03034 · doi:10.1215/00294527-2010-007
[15] Fine, K. (2012). The pure logic of ground. Review of Symbolic Logic, 5(1), 1-25. · Zbl 1250.03010 · doi:10.1017/S1755020311000086
[16] Halbach, V. (2011). Axiomatic theories of truth, Cambridge University Press, Cambridge. · Zbl 1223.03001
[17] Jenkins, C.S. (2011). Is metaphysical dependence irreflexive? The Monist, 94(2), 267-276. · doi:10.5840/monist201194213
[18] Krämer, S. (2013). A simpler puzzle of ground. Thought: A Journal of Philosophy, 2(2), 85-89.
[19] Litland, J.E. (2015). Grounding, Explanation, and the Limit of Internality. forthcoming in Philosophical Review. · Zbl 1253.03020
[20] Litland, J.E. (forthcoming). Grounding grounding. Oxford studies in metaphysics.
[21] Litland, J. (2013). On some counterexamples to the transitivity of grounding. Essays in Philosophy, 14(1), 19-32. · doi:10.7710/1526-0569.1453
[22] Litland, J.E. (2012). Topics in philosophical logic. Doctoral dissertation, harvard university. DASH: Digital access to scholarship at harvard. http://dash.harvard.edu/handle/1/9527318 (accessed May 13, 2015). · Zbl 0307.02017
[23] Oliver, A., & Smiley, T. (2004). Multigrade predicates. Mind, 113(452), 609-681. · doi:10.1093/mind/113.452.609
[24] Raven, M.J. (2015). Ground. Philosophy Compass, 10(5), 322-333. · doi:10.1111/phc3.12220
[25] Raven, M.J. (2013). Is ground a strict partial order? American Philosophical Quarterly, 50(2), 191-199.
[26] Rosen, G. (2010). Metaphysical dependence: grounding and reduction. In Hale, B., & Hoffmann, A. (Eds.) Modality: metaphysics, logic, and epistemology (pp. 109-136). Oxford University Press.
[27] Schaffer, J. (2012). Grounding, transitivity, and contrastivity. In Correia, F., & Schnieder, B. (Eds.) Metaphysical grounding: understanding the structure of reality (pp. 122-138). Cambridge University Press.
[28] Schnieder, B. (2011). A logic for ‘because’. The Review of Symbolic Logic, 4(3), 445-465. · Zbl 1253.03020 · doi:10.1017/S1755020311000104
[29] Trogdon, K. (2013). An introduction to grounding. In Holtje, M., Schnieder, B., & Steinberg, A. (Eds.) Varieties of dependence. Ontological dependence, grounding, supervenience, repsonse-dependence (pp. 97-122). Philosophia verlag.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.