 One of the great advantages of this proposal is that it enables Davidson to connect his account of a theory of meaning with an already existing approach to the theory of truth, namely that developed by Alfred Tarski (in his seminal work ‘The Concept of Truth in Formalised Languages’, first published in Polish in 1933 and in English translation in 1956). Tarski’s theory of truth was originally intended, not as a general account of the nature of truth, but rather as a way of defining the truth-predicate as it applies within a formal language. Tarski suggests that we arrive at a formal definition of the predicate ‘is true’ by providing, for every sentence s in the object language, a matching sentence p in the meta-language that is a translation of s (here, in his use of the idea of translational synonymy, Tarski actually relies upon the concept of meaning in order to get at a theory of truth – Davidson reverses this approach). The resulting ‘T-sentences’ will have the form ‘s is true in language L if and only if p’. That an adequate theory should indeed be capable of generating a T-sentence for every sentence in the object-language is the essence of Tarski’s ‘Convention T’ – a requirement that clearly matches the holistic requirement Davidson also specifies for an adequate theory of meaning. And just as a Davidsonian theory of meaning treats the meaning of whole sentences as dependent on the components of those sentences, so a Tarskian theory of truth also operates recursively by means of the technical notion of satisfaction – a notion that stands to open sentences (expressions containing unbound variables) as does truth to closed sentences (expressions that contain no variables other than bound variables) – such that the satisfaction conditions of more complex sentences are seen to depend on the satisfaction conditions of simpler sentences. 