Axiomatic Theories of Partial Ground II

Journal of Philosophical Logic 47 (2):193-226 (2018)

Authors
Johannes Korbmacher
Utrecht University
Abstract
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
Keywords No keywords specified (fix it)
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s10992-017-9444-z
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

The Pure Logic of Ground.Kit Fine - 2012 - Review of Symbolic Logic 5 (1):1-25.
Is Metaphysical Dependence Irreflexive?C. S. Jenkins - 2011 - The Monist 94 (2):267-276.
Some Puzzles of Ground.Kit Fine - 2010 - Notre Dame Journal of Formal Logic 51 (1):97-118.
Paradox Without Self-Reference.Stephen Yablo - 1993 - Analysis 53 (4):251.

View all 10 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.

Add more citations

Similar books and articles

Axiomatic Theories of Partial Ground I.Johannes Korbmacher - 2018 - Journal of Philosophical Logic 47 (2):161-191.
Yet Another Puzzle of Ground.Johannes Korbmacher - 2015 - Kriterion - Journal of Philosophy 29 (2):1-10.
Theories and Theories of Truth.Ryan Christensen - 2011 - Metaphysica 12 (1):31-43.
Axiomatic Theories of Truth.Volker Halbach - 2008 - Stanford Encyclopedia of Philosophy.
Remarks on Compositionality and Weak Axiomatic Theories of Truth.Günther Eder - 2014 - Journal of Philosophical Logic 43 (2-3):541-547.
Is Ground a Strict Partial Order?Michael J. Raven - 2013 - American Philosophical Quarterly 50 (2):191-199.
Partial Model Theory as Model Theory.Sebastian Lutz - 2015 - Ergo: An Open Access Journal of Philosophy 2.
Relative Truth Definability of Axiomatic Truth Theories.Kentaro Fujimoto - 2010 - Bulletin of Symbolic Logic 16 (3):305-344.
A Simple Type Theory With Partial Functions And Subtypes.William M. Farmer - 1993 - Annals of Pure and Applied Logic 64 (3):211-240.
Decidability of Mereological Theories.Hsing-Chien Tsai - 2009 - Logic and Logical Philosophy 18 (1):45-63.
Axiomatizing Kripke's Theory of Truth.Volker Halbach & Leon Horsten - 2006 - Journal of Symbolic Logic 71 (2):677 - 712.

Analytics

Added to PP index
2017-08-04

Total views
32 ( #248,927 of 2,237,228 )

Recent downloads (6 months)
6 ( #307,030 of 2,237,228 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature