A property implicitly ascribed to a proposition by belief in or assertion of it. The denial is "falsity". The verification theory of truth identifies it with a correspondence between the proposition and the events, properties or objects to which it refers (
see reference ) linguistically or operationally. The logical theory of truth identifies it with the coherence between that proposition and other propositions. The constructivist theory of truth identifies it with constructability (
see constructivism ) implying the absence of
paradox and contradiction. (
Krippendorff )