Two-valued Logics for Transparent Truth Theory

Abstract

It is part of the current wisdom that the Liar and similar semantic paradoxes can be taken care of by the use of certain non-classical multivalued logics. It is also well-known that some of these logics can be characterized by means of two-valued semantics. An immediate consequence of this is that there are two-valued logics that support a transparent truth predicate. In this paper I want to suggest that these logics are not just interesting from a formal point of view but also from a philosophical perspective. In particular, I will argue that the two-valued presentation of these logics has a number of advantages over the more usual presentations.