This chapter discusses the relation of theories of truth to the program of truth-theoretic semantics. It reviews briefly three traditional theories of truth and their relation to Tarski-style axiomatic truth theories: the coherence theory, the redundancy theory, and the correspondence theory. It also discusses Davidson's views about the relation of Tarski-style truth theories and traditional correspondence theories.
Keywords: coherence theory of truth, redundancy theory of truth, correspondence theory of truth