 The Liar paradox has been a locus of thinking about non-classical logics (as we already saw a taste of, for instance, in the idea that bivalence might be rejected as part of a solution to the Liar). Thus, we should stop to consider what principles should govern the truth predicate \(\Tr\) if classical logic is not to hold.