1. Logical Truth (also called Formal Truth). The conformity of a judgment to reality, either immediately (in the case of first principles or immediate experience) or mediately (through objectively inferential reasoning). So defined, truth is in the intellect, being a quality of a judgment. 2. Truth as Manifestation. The effect of a true judgment insofar as it shows us how reality is; and more broadly the truth attained by the first operation of the intellect when one knows the quiddity of something. 3. Practical truth. Truth in conformity to a moral end or in conformity to the due form of a work of art. 4. Transcendental Truth (also called Ontological Truth). The conformity of a thing to the intellect of its Creator, i.e., God, or the thing insofar as a judgment of a created intellect can conform to the thing, i.e., insofar as it is knowable by a created intellect. Truth according to this fourth definition is, in some respect, in things and not only in the intellect.