Notre Dame Journal of Formal Logic 54 (1):87-104 (2013)
In this paper a logic for reasoning disquotationally about truth is presented and shown to have a standard model. This work improves on Hartry Field's recent results establishing consistency and omega-consistency of truth-theories with strong conditional logics. A novel method utilising the Banach fixed point theorem for contracting functions on complete metric spaces is invoked, and the resulting logic is shown to validate a number of principles which existing revision theoretic methods have heretofore failed to provide.
|Keywords||liar paradox non-classical logic contractionless logic Curry's paradox|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
Conditionals in Theories of Truth.Anil Gupta & Shawn Standefer - 2017 - Journal of Philosophical Logic 46 (1):27-63.
Naive Truth and Restricted Quantification: Saving Truth a Whole Lot Better.Hartry Field - 2013 - Review of Symbolic Logic 7 (1):1-45.
Adding a Conditional to Kripke’s Theory of Truth.Lorenzo Rossi - 2016 - Journal of Philosophical Logic 45 (5):485-529.
Similar books and articles
Variations on a Theme by Yablo.Hartry Field - 2005 - In J. C. Beall & Bradley Armour-Garb (eds.), Deflationism and Paradox. Clarendon Press.
Two Flavors of Curry's Paradox.Jc Beall & Julien Murzi - 2013 - Journal of Philosophy 110 (3):143-165.
A Revenge-Immune Solution to the Semantic Paradoxes.Hartry Field - 2003 - Journal of Philosophical Logic 32 (2):139-177.
Quantifier Probability Logic and the Confirmation Paradox.Theodore Hailperin - 2007 - History and Philosophy of Logic 28 (1):83-100.
Hyper-Contradictions, Generalized Truth Values and Logics of Truth and Falsehood.Yaroslav Shramko & Heinrich Wansing - 2006 - Journal of Logic, Language and Information 15 (4):403-424.
Added to index2011-07-04
Total downloads95 ( #53,625 of 2,163,979 )
Recent downloads (6 months)4 ( #84,084 of 2,163,979 )
How can I increase my downloads?