That truth is the correspondence of a representation with its object is, as Kant says, merely the nominal definition of it. Truth belongs exclusively to propositions. A proposition has a subject (or set of subjects) and a predicate. The subject is a sign; the predicate is a sign; and the proposition is a sign that the predicate is a sign of that of which the subject is a sign. If it be so, it is true. But what does this correspondence or reference of the sign, to its object, consist in? (Peirce 1906, CP 5.553).