Davidson's truth-theoretic semantics requires axioms that pair expressions with extensions, but exte...