Journal of Philosophical Logic 47 (2):161-191 (2018)
Authors |
|
Abstract |
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.
|
Keywords | No keywords specified (fix it) |
Categories | (categorize this paper) |
ISBN(s) | |
DOI | 10.1007/s10992-016-9423-9 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Guide to Ground.Kit Fine - 2012 - In Fabrice Correia & Benjamin Schnieder (eds.), Metaphysical Grounding. Cambridge University Press. pp. 37--80.
Grounding, Transitivity, and Contrastivity.Jonathan Schaffer - 2012 - In Fabrice Correia & Benjamin Schnieder (eds.), Metaphysical Grounding: Understanding the Structure of Reality. Cambridge University Press. pp. 122-138.
View all 29 references / Add more references
Citations of this work BETA
In Defense of the Disunity of Grounding.Jon Erling Litland - 2018 - Thought: A Journal of Philosophy 7 (2):97-108.
Could the Grounds’s Grounding the Grounded Ground the Grounded?Jon Erling Litland - 2018 - Analysis 78 (1):56-65.
View all 13 citations / Add more citations
Similar books and articles
Is Ground a Strict Partial Order?Michael J. Raven - 2013 - American Philosophical Quarterly 50 (2):191-199.
Remarks on Compositionality and Weak Axiomatic Theories of Truth.Günther Eder - 2014 - Journal of Philosophical Logic 43 (2-3):541-547.
Decidability of Mereological Theories.Hsing-Chien Tsai - 2009 - Logic and Logical Philosophy 18 (1):45-63.
Relative Truth Definability of Axiomatic Truth Theories.Kentaro Fujimoto - 2010 - Bulletin of Symbolic Logic 16 (3):305-344.
Partial Model Theory as Model Theory.Sebastian Lutz - 2015 - Ergo: An Open Access Journal of Philosophy 2.
Axiomatizing Semantic Theories of Truth?Martin Fischer, Volker Halbach, Jönne Kriener & Johannes Stern - 2015 - Review of Symbolic Logic 8 (2):257-278.
Probabilistic Canonical Models for Partial Logics.François Lepage & Charles Morgan - 2003 - Notre Dame Journal of Formal Logic 44 (3):125-138.
Analytics
Added to PP index
2017-01-10
Total views
116 ( #101,021 of 2,508,063 )
Recent downloads (6 months)
9 ( #79,755 of 2,508,063 )
2017-01-10
Total views
116 ( #101,021 of 2,508,063 )
Recent downloads (6 months)
9 ( #79,755 of 2,508,063 )
How can I increase my downloads?
Downloads