ABSTRACT

When Alfred Tarski wrote his famous definition of truth [20] (1933) for a formal language, he had several stated aims. His chief aim was to define truth of sentences. Giving correct meanings of other expressions of the language was nowhere in his list of aims at all; it was a happy accident that a general semantics fell out of his truth definition.