We argue that distinct conditionals-conditionals that are governed by different logics-are needed to formalize the rules of Truth Introduction and Truth Elimination. We show that revision theory, when enriched with the new conditionals, yields an attractive theory of truth. We go on to compare this theory with one recently proposed by Hartry Field.
We present an extension of the basic revision theory of circular definitions with a unary operator, 2. We present a Fitch-style proof system that is sound and complete with respect to the extended semantics. The logic of the box gives rise to a simple modal logic, and we relate provability in the extended proof system to this modal logic via a completeness theorem, using interpretations over circular definitions, analogous to Solovay's completeness theorem for G L using arithmetical interpretations. We adapt our proof to a special class of circular definitions as well as to the first-order case. §1. Introduction. One of the important discoveries in provability logic is the connection between Peano arithmetic (PA) and the modal logic G L, first demonstrated by Robert Solovay. 1 Solovay showed that G L is complete with respect to provability in PA under all so-called arithmetical interpretations. These interpretations connect necessity in the modal language to provability predicates in the arithmetical language.Revision theory is a general theory of circular definitions. It was originally developed as a theory of truth by Anil Gupta and, independently, Hans Herzberger, with important early contributions by Nuel Belnap. 2 The theory was generalized to a theory of circular definitions in Gupta (1988-89), which was further elaborated in Gupta & Belnap (1993). 3 In this paper, we will show that there is a connection, similar to the one between PA and G L, between the circular definitions of revision theory and a particular modal logic, which we call "RT ," for revision theory. 4 We will prove that RT is complete with respect to validity under all D-interpretations for all sets of circular definitions D.The modal logic RT arises naturally from an extension of revision theory that we will present below. Gupta & Standefer (2014) present an extension of revision theory that uses different primitives, which have independent philosophical interest. The extension presented here adds a unary connective, 2, to basic revision theory. This connective can be glossed as saying, roughly, "according to the current hypothesis," or, in the context of a revision sequence, "at the previous stage." The modal logic RT is the logic one obtains from viewing the box simply as a modal operator.The addition of 2 to revision theory increases the expressive power of the theory. The most striking demonstration of the increase in expressive power is that the box permits
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.