Axiomatic Theories of Partial Ground I

Journal of Philosophical Logic 47 (2):161-191 (2018)

Authors
Johannes Korbmacher
Utrecht University
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
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive
External links

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

References found in this work BETA

No references found.

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.

Add more citations

Similar books and articles

Theories and Theories of Truth.Ryan Christensen - 2011 - Metaphysica 12 (1):31-43.
Axiomatic Theories of Truth.Volker Halbach - 2008 - Stanford Encyclopedia of Philosophy.
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.
Editorial Introduction.P. Dekker - 1998 - Journal of Semantics 15 (4):301-303.
Pure Logic of Many-Many Ground.Jon Litland - 2016 - Journal of Philosophical Logic 45 (5):531-577.
Probabilistic Canonical Models for Partial Logics.François Lepage & Charles Morgan - 2003 - Notre Dame Journal of Formal Logic 44 (3):125-138.
Editorial Introduction.An Ravelingien - 2007 - Philosophica 79 (2):5-10.

Analytics

Added to PP index
2017-01-10

Total views
56 ( #136,573 of 2,237,433 )

Recent downloads (6 months)
11 ( #101,532 of 2,237,433 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature