Abstract

Kant claims that the nominal definition of truth is: “Truth is the agreement of cognition with its object”. In this paper, I analyse the relevant features of Kant's theory of definition in order to explain the meaning of that claim and its consequences for the vexed question of whether Kant endorses or rejects a correspondence theory of truth. I conclude that Kant's claim implies neither that he holds, nor that he rejects, a correspondence theory of truth. Kant's claim is not a generic way of setting aside a correspondence definition of truth, or of considering it uninformative. Being the nominal definition of truth, the formula “truth is the agreement of cognition with its object” illustrates the meaning of the predicate “is true” and people's ordinary conception of truth. True judgements correspond to the objects they are about. However, there could be more to the property of truth than correspondence.