 While mainstream formal semantics went with Carnap and Montague, supplementing the Tarskian apparatus with the possible worlds machinery and defining meanings as intensions, Davidson (1967, 1984) put forth an alternative suggestion. Tarski had shown how to provide a definition of the truth predicate for a (formal) language L: such a definition is materially adequate (i.e., it is a definition of truth, rather than of some other property of sentences of L) if and only if it entails every biconditional of the form