Summa Theologica, Part I (Prima Pars) From the Complete...

Objection 1: It seems that truth does not reside only in the intellect, but rather in things. For Augustine (Soliloq. ii, 5) condemns this definition of truth, "That is true which is seen"; since it would follow that stones hidden in the bosom of the earth would not be true stones, as they are not seen. He also condemns the following, "That is true which is as it appears to the knower, who is willing and able to know," for hence it would follow that nothing would be true, unless someone could know it. Therefore he defines truth thus: "That is true which is." It seems, then, that truth resides in things, and not in the intellect.

Obj. 2: Further, whatever is true, is true by reason of truth. If, then, truth is only in the intellect, nothing will be true except in so far as it is understood. But this is the error of the ancient philosophers, who said that whatever seems to be true is so. Consequently mutual contradictories seem to be true as seen by different persons at the same time.

Obj. 3: Further, "that, on account of which a thing is so, is itself more so," as is evident from the Philosopher (Poster. i). But it is from the fact that a thing is or is not, that our thought or word is true or false, as the Philosopher teaches (Praedicam. iii). Therefore truth resides rather in things than in the intellect.

I answer that, As the good denotes that towards which the appetite tends, so the true denotes that towards which the intellect tends. Now there is this difference between the appetite and the intellect, or any knowledge whatsoever, that knowledge is according as the thing known is in the knower, whilst appetite is according as the desirer tends towards the thing desired. Thus the term of the appetite, namely good, is in the object desirable, and the term of the intellect, namely true, is in the intellect itself. Now as good exists in a thing so far as that thing is related to the appetite—and hence the aspect of goodness passes on from the desirable thing to the appetite, in so far as the appetite is called good if its object is good; so, since the true is in the intellect in so far as it is conformed to the object understood, the aspect of the true must needs pass from the intellect to the object understood, so that also the thing understood is said to be true in so far as it has some relation to the intellect. Now a thing understood may be in relation to an intellect either essentially or accidentally. It is related essentially to an intellect on which it depends as regards its essence; but accidentally to an intellect by which it is knowable; even as we may say that a house is related essentially to the intellect of the architect, but accidentally to the intellect upon which it does not depend.

Now we do not judge of a thing by what is in it accidentally, but by what is in it essentially. Hence, everything is said to be true absolutely, in so far as it is related to the intellect from which it depends; and thus it is that artificial things are said to be true as being related to our intellect. For a house is said to be true that expresses the likeness of the form in the architect's mind; and words are said to be true so far as they are the signs of truth in the intellect. In the same way natural things are said to be true in so far as they express the likeness of the species that are in the divine mind. For a stone is called true, which possesses the nature proper to a stone, according to the preconception in the divine intellect. Thus, then, truth resides primarily in the intellect, and secondarily in things according as they are related to the intellect as their principle. Consequently there are various definitions of truth. Augustine says (De Vera Relig. xxxvi), "Truth is that whereby is made manifest that which is;" and Hilary says (De Trin. v) that "Truth makes being clear and evident" and this pertains to truth according as it is in the intellect.

As to the truth of things in so far as they are related to the intellect, we have Augustine's definition (De Vera Relig. xxxvi), "Truth is a supreme likeness without any unlikeness to a principle": also Anselm's definition (De Verit. xii), "Truth is rightness, perceptible by the mind alone"; for that is right which is in accordance with the principle; also Avicenna's definition (Metaph. viii, 6), "The truth of each thing is a property of the essence which is immutably attached to it." The definition that "Truth is the equation of thought and thing" is applicable to it under either aspect.

Reply Obj. 2: The ancient philosophers held that the species of natural things did not proceed from any intellect, but were produced by chance. But as they saw that truth implies relation to intellect, they were compelled to base the truth of things on their relation to our intellect. From this, conclusions result that are inadmissible, and which the Philosopher refutes (Metaph. iv). Such, however, do not follow, if we say that the truth of things consists in their relation to the divine intellect.

Reply Obj. 3: Although the truth of our intellect is caused by the thing, yet it is not necessary that truth should be there primarily, any more than that health should be primarily in medicine, rather than in the animal: for the virtue of medicine, and not its health, is the cause of health, for here the agent is not univocal. In the same way, the being of the thing, not its truth, is the cause of truth in the intellect. Hence the Philosopher says that a thought or a word is true "from the fact that a thing is, not because a thing is true." _______________________

Objection 1: It seems that truth does not reside only in the intellect composing and dividing. For the Philosopher says (De Anima iii) that as the senses are always true as regards their proper sensible objects, so is the intellect as regards "what a thing is." Now composition and division are neither in the senses nor in the intellect knowing "what a thing is." Therefore truth does not reside only in the intellect composing and dividing.

Obj. 2: Further, Isaac says in his book On Definitions that truth is the equation of thought and thing. Now just as the intellect with regard to complex things can be equated to things, so also with regard to simple things; and this is true also of sense apprehending a thing as it is. Therefore truth does not reside only in the intellect composing and dividing.

I answer that, As stated before, truth resides, in its primary aspect, in the intellect. Now since everything is true according as it has the form proper to its nature, the intellect, in so far as it is knowing, must be true, so far as it has the likeness of the thing known, this being its form, as knowing. For this reason truth is defined by the conformity of intellect and thing; and hence to know this conformity is to know truth. But in no way can sense know this. For although sight has the likeness of a visible thing, yet it does not know the comparison which exists between the thing seen and that which itself apprehends concerning it. But the intellect can know its own conformity with the intelligible thing; yet it does not apprehend it by knowing of a thing "what a thing is." When, however, it judges that a thing corresponds to the form which it apprehends about that thing, then first it knows and expresses truth. This it does by composing and dividing: for in every proposition it either applies to, or removes from the thing signified by the subject, some form signified by the predicate: and this clearly shows that the sense is true of any thing, as is also the intellect, when it knows "what a thing is"; but it does not thereby know or affirm truth. This is in like manner the case with complex or non-complex words. Truth therefore may be in the senses, or in the intellect knowing "what a thing is," as in anything that is true; yet not as the thing known in the knower, which is implied by the word "truth"; for the perfection of the intellect is truth as known.

Obj. 2: Further, that which extends to being and not-being is not convertible with being. But the true extends to being and not-being; for it is true that what is, is; and that what is not, is not. Therefore the true and being are not convertible.

Obj. 3: Further, things which stand to each other in order of priority and posteriority seem not to be convertible. But the true appears to be prior to being; for being is not understood except under the aspect of the true. Therefore it seems they are not convertible.

I answer that, As good has the nature of what is desirable, so truth is related to knowledge. Now everything, in as far as it has being, so far is it knowable. Wherefore it is said in De Anima iii that "the soul is in some manner all things," through the senses and the intellect. And therefore, as good is convertible with being, so is the true. But as good adds to being the notion of desirable, so the true adds relation to the intellect.

Reply Obj. 1: The true resides in things and in the intellect, as said before (A. 1). But the true that is in things is convertible with being as to substance; while the true that is in the intellect is convertible with being, as the manifestation with the manifested; for this belongs to the nature of truth, as has been said already (A. 1). It may, however, be said that being also is in things and in the intellect, as is the true; although truth is primarily in the intellect, while being is primarily in things; and this is so because truth and being differ in idea.

Reply Obj. 2: Not-being has nothing in itself whereby it can be known; yet it is known in so far as the intellect renders it knowable. Hence the true is based on being, inasmuch as not-being is a kind of logical being, apprehended, that is, by reason.

Reply Obj. 3: When it is said that being cannot be apprehended except under the notion of the true, this can be understood in two ways. In the one way so as to mean that being is not apprehended, unless the idea of the true follows apprehension of being; and this is true. In the other way, so as to mean that being cannot be apprehended unless the idea of the true be apprehended also; and this is false. But the true cannot be apprehended unless the idea of being be apprehended also; since being is included in the idea of the true. The case is the same if we compare the intelligible object with being. For being cannot be understood, unless being is intelligible. Yet being can be understood while its intelligibility is not understood. Similarly, being when understood is true, yet the true is not understood by understanding being. _______________________