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 |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
External links
- From the Publisher via CrossRef (no proxy)
- link.springer.com
(no proxy) - link.springer.com [2] (no proxy)
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
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
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
Could the Grounds’s Grounding the Grounded Ground the Grounded?Jon Erling Litland - 2018 - Analysis 78 (1):56-65.
In Defense of the Disunity of Grounding.Jon Erling Litland - 2018 - Thought: A Journal of Philosophy 7 (2):97-108.
Axiomatic Theories of Partial Ground II: Partial Ground and Hierarchies of Typed Truth.Johannes Korbmacher - 2018 - Journal of Philosophical Logic 47 (2):193-226.
Grounding Rules and (Hyper-)Isomorphic Formulas.Francesca Poggiolesi - 2020 - Australasian Journal of Logic 17 (1):70.
View all 8 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
98 ( #105,771 of 2,433,208 )
Recent downloads (6 months)
9 ( #73,456 of 2,433,208 )
2017-01-10
Total views
98 ( #105,771 of 2,433,208 )
Recent downloads (6 months)
9 ( #73,456 of 2,433,208 )
How can I increase my downloads?
Downloads
