A new conditional for naive truth theory

Abstract

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. © University of Notre Dame.