ABSTRACT

That truth-values are objects is one of Frege’s most distinctive theses. Frege’s reason for taking this view resides in the role truth-values are called on to play in logic and language in founding logical concepts as truth-functions; Frege’s view of truth is functional rather than metaphysical. In Grundgesetze, Frege identifies truth-values as logical objects, as certain value-ranges, and this characterization sets the basis for the so-called “proof of referentiality”, intended to show that the logical language is a referential language and so properly suited for the development of scientific applications. However, Frege’s stipulative identification of truth-values with value-ranges is as problematic as it is creative, leading to what is dubbed the “quasi-paradox of truth”.