Abstract

Talk of truth plays a major role in formulating realism, to the point that realist theories are often criticized by attacking the correspondence theory of truth that they are presumed to defend. In this chapter, I claim that there is an alternative theory of truth, which is both non‐epistemic and not based on correspondence relation that suffices to support mathematical realism. I describe the theory as a logical conception of truth because the truth predicate will turn out to be simply a logical operator. The theory has two main features: it is disquotational, and immanent, in that it specifies the extension of the term ‘true’ only for the language in which it applies.