Schema M′ points the way forward, but we are not there yet. Davidson is not really interested in constructing theories of meaning in the sense of filling out schema M′ for every sentence of German or Urdu; rather, he theorizes about constructing theories of meaning to gain insight into the concept of meaning. And in this regard, schema M′ comes up short: it relies on the relation “means that” which is essentially synonymy across languages, which is as much in need of explication as meaning itself. What Davidson is really interested in is giving an explication, in Carnap’s sense (Carnap 1947, pp. 7-8), of an obscure explanandum , meaning, using a clear and exact explanans , and he finds his explanans in Tarski’s semantic theory of truth.