  A coherence theory of truth states that the truth of any (true) proposition consists in its coherence with some specified set of propositions. The coherence theory differs from its principal competitor, the correspondence theory of truth, in two essential respects. The competing theories give conflicting accounts of the relation that propositions bear to their truth conditions. (In this article, ‘proposition’ is not used in any technical sense. It simply refers to the bearers of truth values, whatever they may be.)  According to one, the relation is coherence, according to the other, it is correspondence. The two theories also give conflicting accounts of truth conditions. According to the coherence theory, the truth conditions of propositions consist in other propositions. The correspondence theory, in contrast, states that the truth conditions of propositions are not (in general) propositions, but rather objective features of the world. (Even the correspondence theorist holds that propositions about propositions have propositions as their truth conditions.) Although the coherence and correspondence theories are fundamentally opposed in this way, they both present (in contrast to deflationary theories of truth) a substantive conception of truth. That is, unlike deflationary theories, the coherence and correspondence theories both hold that truth is a property of propositions that can be analysed in terms of the sorts of truth-conditions propositions have, and the relations propositions stand in to these conditions. 