Provides an explicit statement of a compositional meaning theory that makes use of a truth theory. The meaning theory is identified as the body of knowledge that one would have to have to use a truth theory to interpret object language sentences on the basis of knowledge of the semantical primitives of the language. Shows that the meaning theory consists of statements about an interpretive truth theory, but that no axioms of the truth theory itself are axioms of the meaning theory.
Keywords: compositional meaning theory, truth theory