A new conditional for näıve truth theory

Abstract: In this paper the a logic, TJK, suitable 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 ω-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 so far failed to provide. In this paper the a logic, TJK, suitable 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 ω-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 so far failed to provide.