 A number of commentators on Tarski (e.g., Etchemendy, 1988; Soames, 1984) have observed that the Tarskian apparatus needs to be understood in a particular way to make it suitable for giving a theory of meaning. Tarski’s work is often taken to show how to define a truth predicate. If it is so used, then whether or not a sentence is true becomes, in essence, a truth of mathematics. Presumably what truth conditions sentences of a natural language have is a contingent matter, so a truth predicate defined in this way cannot be used to give a theory of meaning for them. But the Tarskian apparatus need not be used just to explicitly define truth. The recursive characterization of truth can be used to state the semantic properties of sentences and their constituents, as a theory of meaning should. In such an application, truth is not taken to be explicitly defined, but rather the truth conditions of sentences are taken to be described. (See Heck, 1997 for more discussion.)