Ernest Lepore and Kirk Ludwig examine the foundations and applications of Davidson's influential program of truth-theoretic semantics for natural languages. The program uses an axiomatic truth theory for a language, which meets certain constraints, to serve the goals of a compositional meaning theory. Lepore and Ludwig explain and clarify the motivations for the approach, and then consider how to apply the framework to a range of important natural language constructions, including quantifiers, proper names, indexicals, simple and complex demonstratives, quotation, adjectives and adverbs, the simple and perfect tenses, temporal adverbials and temporal quantifiers, tense in sentential complement clauses, attitude and indirect discourse reports, and the problem of interrogative and imperative sentences. They not only discuss Davidson's own contributions to these subjects but consider criticisms, developments, and alternatives as well. They conclude with a discussion of logical form in natural language in light of the approach, the role of the concept of truth in the program, and Davidson's view of it. Anyone working on meaning will find this book invaluable.