Abstract

Deflationists argue that the truth predicate does not express a substantive property, but is only required for expressive purposes. Using the resources of a fully schematic, inferentialist account of higher-order logic, truth predicates are purely logical and indeed eliminable, since they are logically definable, for any reasonable language, when we extend the language by the appropriate higher-order quantifiers. Accordingly, the truth predicate is not required for expressive purposes. Alethic deflationism thus appears to collapse into a redundancy theory of truth. In this chapter, I take first steps into investigating whether such an inferentialist redundancy theory could serve as a philosophically satisfactory account of truth. I investigate the charge that semantic paradoxes are merely avoided rather than solved and the assumption that providing a philosophically satisfactory account of truth must be based on the way truth predicates behave in natural languages.