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 P T of positive truth. We construct models for the theory and draw some conclusions for the semantics of conceptualist ground.
We develop an account of how mutually inconsistent models of the same target system can provide coherent information about the system. Our account makes use of ideas from the debate surrounding robustness analysis and draws on the idea of a shared structure among models. To illustrate, we consider a case study from international trade-theory.
This is part two 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. In this part of the paper, we extend the base theory of the first part of the paper with hierarchically typed truth-predicates and principles about the interaction of partial ground and truth. We show that our theory is a proof-theoretically conservative extension of the ramified theory of positive truth up to 0 and thus is consistent. We argue that this theory provides a natural solution to Fine's "puzzle of ground" about the interaction of truth and ground. Finally, we show that if we apply the truth-predicate to sentences involving our ground-predicate, we run into paradoxes similar to the semantic paradoxes: we get ground-theoretical paradoxes of self-reference.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.