Open Access
Translator Disclaimer
2013 A New Conditional for Naive Truth Theory
Andrew Bacon
Notre Dame J. Formal Logic 54(1): 87-104 (2013). DOI: 10.1215/00294527-1731407


In this paper a logic suitable for reasoning disquotationally about truth, TJK + , is presented and shown to have a standard model. This work improves on Hartry Field’s recent results establishing consistency and ω -consistency of truth theories with strong conditional logics. A novel method utilizing 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 so far failed to provide.


Download Citation

Andrew Bacon. "A New Conditional for Naive Truth Theory." Notre Dame J. Formal Logic 54 (1) 87 - 104, 2013.


Published: 2013
First available in Project Euclid: 14 December 2012

zbMATH: 1273.03073
MathSciNet: MR3007964
Digital Object Identifier: 10.1215/00294527-1731407

Primary: 03B20
Secondary: 03Axx , 03B47 , 03B50

Keywords: contractionless logic , Curry’s paradox , fixed point Theorem , liar paradox , nonclassical logic , semantic paradoxes

Rights: Copyright © 2013 University of Notre Dame


Vol.54 • No. 1 • 2013
Back to Top