Abstract

The concept “truth under an interpretation” simply expresses the formal structure of truth assignations in any type of statement. In the particular case of empirical statements, interpretations consist of sets of material objects whose extent can only be determined by criteria of correspondence with facts. Such correspondence thus constitutes a substantive, non-formal aspect of empirical truth, outside the model theory. The existence of other types of truth also structured by the idea of “truth under an interpretation”, but outside the notion of correspondence with facts, reinforces the existence of a line of demarcation between these two categories