Abstract

This chapter argues that Davidson's truth-theoretic semantics was not intended to replace the traditional pursuit of providing a compositional meaning theory but rather to achieve the same aim indirectly by placing conditions on a truth theory that would enable someone who understood it to understand its object language. The chapter argues that by placing constraints on the axioms of a Tarski-style truth theory, namely, that they interpret the terms for which they give satisfaction conditions, and specifying a suitable canonical proof procedure that issues in T-sentence that remove all the metalanguage semantic terms from the right hand side and draw intuitively only on the content of the axioms, we can use the theory to interpret object language sentences. It further argues that if we ask what body of knowledge one must be in possession of to interpret the language, it turns out to be a set of propositions about the truth theory but not the axioms of the truth theory itself. This shows how to avoid the problem of the semantic paradoxes and the problem of vagueness.