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...