Summa Theologica, Part I

_On the contrary,_ Augustine says (De Civ. Dei xii), "Although we cannot number the infinite, nevertheless it can be comprehended by Him whose knowledge has no bounds."

_I answer that,_ Since God knows not only things actual but also things possible to Himself or to created things, as shown above (A. 9), and as these must be infinite, it must be held that He knows infinite things. Although the knowledge of vision which has relation only to things that are, or will be, or were, is not of infinite things, as some say, for we do not say that the world is eternal, nor that generation and movement will go on for ever, so that individuals be infinitely multiplied; yet, if we consider more attentively, we must hold that God knows infinite things even by the knowledge of vision. For God knows even the thoughts and affections of hearts, which will be multiplied to infinity as rational creatures go on for ever.

The reason of this is to be found in the fact that the knowledge of every knower is measured by the mode of the form which is the principle of knowledge. For the sensible image in sense is the likeness of only one individual thing, and can give the knowledge of only one individual. But the intelligible species of our intellect is the likeness of the thing as regards its specific nature, which is participable by infinite particulars; hence our intellect by the intelligible species of man in a certain way knows infinite men; not however as distinguished from each other, but as communicating in the nature of the species; and the reason is because the intelligible species of our intellect is the likeness of man not as to the individual principles, but as to the principles of the species. On the other hand, the divine essence, whereby the divine intellect understands, is a sufficing likeness of all things that are, or can be, not only as regards the universal principles, but also as regards the principles proper to each one, as shown above. Hence it follows that the knowledge of God extends to infinite things, even as distinct from each other.

Reply Obj. 1: The idea of the infinite pertains to quantity, as the Philosopher says (Phys. i). But the idea of quantity implies the order of parts. Therefore to know the infinite according to the mode of the infinite is to know part after part; and in this way the infinite cannot be known; for whatever quantity of parts be taken, there will always remain something else outside. But God does not know the infinite or infinite things, as if He enumerated part after part; since He knows all things simultaneously, and not successively, as said above (A. 7). Hence there is nothing to prevent Him from knowing infinite things.

Reply Obj. 2: Transition imports a certain succession of parts; and hence it is that the infinite cannot be traversed by the finite, nor by the infinite. But equality suffices for comprehension, because that is said to be comprehended which has nothing outside the comprehender. Hence it is not against the idea of the infinite to be comprehended by the infinite. And so, what is infinite in itself can be called finite to the knowledge of God as comprehended; but not as if it were traversable.

Reply Obj. 3: The knowledge of God is the measure of things, not quantitatively, for the infinite is not subject to this kind of measure; but it is the measure of the essence and truth of things. For everything has truth of nature according to the degree in which it imitates the knowledge of God, as the thing made by art agrees with the art. Granted, however, an actually infinite number of things, for instance, an infinitude of men, or an infinitude in continuous quantity, as an infinitude of air, as some of the ancients held; yet it is manifest that these would have a determinate and finite being, because their being would be limited to some determinate nature. Hence they would be measurable as regards the knowledge of God. _______________________

Whether the Knowledge of God Is of Future Contingent Things?

Objection 1: It seems that the knowledge of God is not of future contingent things. For from a necessary cause proceeds a necessary effect. But the knowledge of God is the cause of things known, as said above (A. 8). Since therefore that knowledge is necessary, what He knows must also be necessary. Therefore the knowledge of God is not of contingent things.

Obj. 2: Further, every conditional proposition of which the antecedent is absolutely necessary must have an absolutely necessary consequent. For the antecedent is to the consequent as principles are to the conclusion: and from necessary principles only a necessary conclusion can follow, as is proved in _Poster._ i. But this is a true conditional proposition, "If God knew that this thing will be, it will be," for the knowledge of God is only of true things. Now the antecedent conditional of this is absolutely necessary, because it is eternal, and because it is signified as past. Therefore the consequent is also absolutely necessary. Therefore whatever God knows, is necessary; and so the knowledge of God is not of contingent things.

Obj. 3: Further, everything known by God must necessarily be, because even what we ourselves know, must necessarily be; and, of course, the knowledge of God is much more certain than ours. But no future contingent things must necessarily be. Therefore no contingent future thing is known by God.

_On the contrary,_ It is written (Ps. 32:15), "He Who hath made the hearts of every one of them; Who understandeth all their works," i.e. of men. Now the works of men are contingent, being subject to free will. Therefore God knows future contingent things.

_I answer that,_ Since as was shown above (A. 9), God knows all things; not only things actual but also things possible to Him and creature; and since some of these are future contingent to us, it follows that God knows future contingent things.

In evidence of this, we must consider that a contingent thing can be considered in two ways; first, in itself, in so far as it is now in act: and in this sense it is not considered as future, but as present; neither is it considered as contingent (as having reference) to one of two terms, but as determined to one; and on account of this it can be infallibly the object of certain knowledge, for instance to the sense of sight, as when I see that Socrates is sitting down. In another way a contingent thing can be considered as it is in its cause; and in this way it is considered as future, and as a contingent thing not yet determined to one; forasmuch as a contingent cause has relation to opposite things: and in this sense a contingent thing is not subject to any certain knowledge. Hence, whoever knows a contingent effect in its cause only, has merely a conjectural knowledge of it. Now God knows all contingent things not only as they are in their causes, but also as each one of them is actually in itself. And although contingent things become actual successively, nevertheless God knows contingent things not successively, as they are in their own being, as we do but simultaneously. The reason is because His knowledge is measured by eternity, as is also His being; and eternity being simultaneously whole comprises all time, as said above (Q. 10, A. 2). Hence all things that are in time are present to God from eternity, not only because He has the types of things present within Him, as some say; but because His glance is carried from eternity over all things as they are in their presentiality. Hence it is manifest that contingent things are infallibly known by God, inasmuch as they are subject to the divine sight in their presentiality; yet they are future contingent things in relation to their own causes.

Reply Obj. 1: Although the supreme cause is necessary, the effect may be contingent by reason of the proximate contingent cause; just as the germination of a plant is contingent by reason of the proximate contingent cause, although the movement of the sun which is the first cause, is necessary. So likewise things known by God are contingent on account of their proximate causes, while the knowledge of God, which is the first cause, is necessary.

Reply Obj. 2: Some say that this antecedent, "God knew this contingent to be future," is not necessary, but contingent; because, although it is past, still it imports relation to the future. This however does not remove necessity from it; for whatever has had relation to the future, must have had it, although the future sometimes does not follow. On the other hand some say that this antecedent is contingent, because it is a compound of necessary and contingent; as this saying is contingent, "Socrates is a white man." But this also is to no purpose; for when we say, "God knew this contingent to be future," contingent is used here only as the matter of the word, and not as the chief part of the proposition. Hence its contingency or necessity has no reference to the necessity or contingency of the proposition, or to its being true or false. For it may be just as true that I said a man is an ass, as that I said Socrates runs, or God is: and the same applies to necessary and contingent. Hence it must be said that this antecedent is absolutely necessary. Nor does it follow, as some say, that the consequent is absolutely necessary, because the antecedent is the remote cause of the consequent, which is contingent by reason of the proximate cause. But this is to no purpose. For the conditional would be false were its antecedent the remote necessary cause, and the consequent a contingent effect; as, for example, if I said, "if the sun moves, the grass will grow."

Therefore we must reply otherwise; that when the antecedent contains anything belonging to an act of the soul, the consequent must be taken not as it is in itself, but as it is in the soul: for the existence of a thing in itself is different from the existence of a thing in the soul. For example, when I say, "What the soul understands is immaterial," this is to be understood that it is immaterial as it is in the intellect, not as it is in itself. Likewise if I say, "If God knew anything, it will be," the consequent must be understood as it is subject to the divine knowledge, i.e. as it is in its presentiality. And thus it is necessary, as also is the antecedent: "For everything that is, while it is, must be necessarily be," as the Philosopher says in _Peri Herm._ i.

Reply Obj. 3: Things reduced to act in time, as known by us successively in time, but by God (are known) in eternity, which is above time. Whence to us they cannot be certain, forasmuch as we know future contingent things as such; but (they are certain) to God alone, whose understanding is in eternity above time. Just as he who goes along the road, does not see those who come after him; whereas he who sees the whole road from a height, sees at once all travelling by the way. Hence what is known by us must be necessary, even as it is in itself; for what is future contingent in itself, cannot be known by us. Whereas what is known by God must be necessary according to the mode in which they are subject to the divine knowledge, as already stated, but not absolutely as considered in their own causes. Hence also this proposition, "Everything known by God must necessarily be," is usually distinguished; for this may refer to the thing, or to the saying. If it refers to the thing, it is divided and false; for the sense is, "Everything which God knows is necessary." If understood of the saying, it is composite and true; for the sense is, "This proposition, 'that which is known by God is' is necessary."

Now some urge an objection and say that this distinction holds good with regard to forms that are separable from the subject; thus if I said, "It is possible for a white thing to be black," it is false as applied to the saying, and true as applied to the thing: for a thing which is white, can become black; whereas this saying, "a white thing is black" can never be true. But in forms that are inseparable from the subject, this distinction does not hold, for instance, if I said, "A black crow can be white"; for in both senses it is false. Now to be known by God is inseparable from the thing; for what is known by God cannot be known. This objection, however, would hold if these words "that which is known" implied any disposition inherent to the subject; but since they import an act of the knower, something can be attributed to the thing known, in itself (even if it always be known), which is not attributed to it in so far as it stands under actual knowledge; thus material existence is attributed to a stone in itself, which is not attributed to it inasmuch as it is known. _______________________

Objection 1: It seems that God does not know enunciable things. For to know enunciable things belongs to our intellect as it composes and divides. But in the divine intellect, there is no composition. Therefore God does not know enunciable things.

Obj. 2: Further, every kind of knowledge is made through some likeness. But in God there is no likeness of enunciable things, since He is altogether simple. Therefore God does not know enunciable things.

_On the contrary,_ It is written: "The Lord knoweth the thoughts of men" (Ps. 93:11). But enunciable things are contained in the thoughts of men. Therefore God knows enunciable things.

_I answer that,_ Since it is in the power of our intellect to form enunciations, and since God knows whatever is in His own power or in that of creatures, as said above (A. 9), it follows of necessity that God knows all enunciations that can be formed.

Now just as He knows material things immaterially, and composite things simply, so likewise He knows enunciable things not after the manner of enunciable things, as if in His intellect there were composition or division of enunciations; for He knows each thing by simple intelligence, by understanding the essence of each thing; as if we by the very fact that we understand what man is, were to understand all that can be predicated of man. This, however, does not happen in our intellect, which discourses from one thing to another, forasmuch as the intelligible species represents one thing in such a way as not to represent another. Hence when we understand what man is, we do not forthwith understand other things which belong to him, but we understand them one by one, according to a certain succession. On this account the things we understand as separated, we must reduce to one by way of composition or division, by forming an enunciation. Now the species of the divine intellect, which is God's essence, suffices to represent all things. Hence by understanding His essence, God knows the essences of all things, and also whatever can be accidental to them.

Reply Obj. 1: This objection would avail if God knew enunciable things after the manner of enunciable things.

Reply Obj. 2: Enunciatory composition signifies some existence of a thing; and thus God by His existence, which is His essence, is the similitude of all those things which are signified by enunciation. _______________________

Whether the Knowledge of God Is Variable?

Objection 1: It seems that the knowledge of God is variable. For knowledge is related to what is knowable. But whatever imports relation to the creature is applied to God from time, and varies according to the variation of creatures. Therefore the knowledge of God is variable according to the variation of creatures.

Obj. 2: Further, whatever God can make, He can know. But God can make more than He does. Therefore He can know more than He knows. Thus His knowledge can vary according to increase and diminution.

Obj. 3: Further, God knew that Christ would be born. But He does not know now that Christ will be born; because Christ is not to be born in the future. Therefore God does not know everything He once knew; and thus the knowledge of God is variable.

_On the contrary,_ It is said, that in God "there is no change nor shadow of alteration" (James 1:17).

_I answer that,_ Since the knowledge of God is His substance, as is clear from the foregoing (A. 4), just as His substance is altogether immutable, as shown above (Q. 9, A. 1), so His knowledge likewise must be altogether invariable.

Reply Obj. 1: "Lord", "Creator" and the like, import relations to creatures in so far as they are in themselves. But the knowledge of God imports relation to creatures in so far as they are in God; because everything is actually understood according as it is in the one who understands. Now created things are in God in an invariable manner; while they exist variably in themselves. We may also say that "Lord", "Creator" and the like, import the relations consequent upon the acts which are understood as terminating in the creatures themselves, as they are in themselves; and thus these relations are attributed to God variously, according to the variation of creatures. But "knowledge" and "love," and the like, import relations consequent upon the acts which are understood to be in God; and therefore these are predicated of God in an invariable manner.

Reply Obj. 2: God knows also what He can make, and does not make. Hence from the fact that He can make more than He makes, it does not follow that He can know more than He knows, unless this be referred to the knowledge of vision, according to which He is said to know those things which are in act in some period of time. But from the fact that He knows some things might be which are not, or that some things might not be which are, it does not follow that His knowledge is variable, but rather that He knows the variability of things. If, however, anything existed which God did not previously know, and afterwards knew, then His knowledge would be variable. But this could not be; for whatever is, or can be in any period of time, is known by God in His eternity. Therefore from the fact that a thing exists in some period of time, it follows that it is known by God from eternity. Therefore it cannot be granted that God can know more than He knows; because such a proposition implies that first of all He did not know, and then afterwards knew.

Reply Obj. 3: The ancient Nominalists said that it was the same thing to say "Christ is born" and "will be born" and "was born"; because the same thing is signified by these three--viz. the nativity of Christ. Therefore it follows, they said, that whatever God knew, He knows; because now He knows that Christ is born, which means the same thing as that Christ will be born. This opinion, however, is false; both because the diversity in the parts of a sentence causes a diversity of enunciations; and because it would follow that a proposition which is true once would be always true; which is contrary to what the Philosopher lays down (Categor. iii) when he says that this sentence, "Socrates sits," is true when he is sitting, and false when he rises up. Therefore, it must be conceded that this proposition is not true, "Whatever God knew He knows," if referred to enunciable propositions. But because of this, it does not follow that the knowledge of God is variable. For as it is without variation in the divine knowledge that God knows one and the same thing sometime to be, and sometime not to be, so it is without variation in the divine knowledge that God knows an enunciable proposition is sometime true, and sometime false. The knowledge of God, however, would be variable if He knew enunciable things by way of enunciation, by composition and division, as occurs in our intellect. Hence our knowledge varies either as regards truth and falsity, for example, if when either as regards truth and falsity, for example, if when a thing suffers change we retained the same opinion about it; or as regards diverse opinions, as if we first thought that anyone was sitting, and afterwards thought that he was not sitting; neither of which can be in God. _______________________

Whether God Has a Speculative Knowledge of Things?

Objection 1: It seems that God has not a speculative knowledge of things. For the knowledge of God is the cause of things, as shown above (A. 8). But speculative knowledge is not the cause of the things known. Therefore the knowledge of God is not speculative.

Obj. 2: Further, speculative knowledge comes by abstraction from things; which does not belong to the divine knowledge. Therefore the knowledge of God is not speculative.

_On the contrary,_ Whatever is the more excellent must be attributed to God. But speculative knowledge is more excellent than practical knowledge, as the Philosopher says in the beginning of Metaphysics. Therefore God has a speculative knowledge of things.

_I answer that,_ Some knowledge is speculative only; some is practical only; and some is partly speculative and partly practical. In proof whereof it must be observed that knowledge can be called speculative in three ways: first, on the part of the things known, which are not operable by the knower; such is the knowledge of man about natural or divine thing[s]. Secondly, as regards the manner of knowing--as, for instance, if a builder consider a house by defining and dividing, and considering what belongs to it in general: for this is to consider operable things in a speculative manner, and not as practically operable; for operable means the application of form to matter, and not the resolution of the composite into its universal formal principles. Thirdly, as regards the end; "for the practical intellect differs in its end from the speculative," as the Philosopher says (De Anima iii). For the practical intellect is ordered to the end of the operation; whereas the end of the speculative intellect is the consideration of truth. Hence if a builder should consider how a house can be made, not ordering this to the end of operation, but only to know (how to do it), this would be only a speculative considerations as regards the end, although it concerns an operable thing. Therefore knowledge which is speculative by reason of the thing itself known, is merely speculative. But that which is speculative either in its mode or as to its end is partly speculative and partly practical: and when it is ordained to an operative end it is simply practical.

In accordance with this, therefore, it must be said that God has of Himself a speculative knowledge only; for He Himself is not operable. But of all other things He has both speculative and practical knowledge. He has speculative knowledge as regards the mode; for whatever we know speculatively in things by defining and dividing, God knows all this much more perfectly.

Now of things which He can make, but does not make at any time, He has not a practical knowledge, according as knowledge is called practical from the end. But He has a practical knowledge of what He makes in some period of time. And, as regards evil things, although they are not operable by Him, yet they fall under His practical knowledge, like good things, inasmuch as He permits, or impedes, or directs them; as also sicknesses fall under the practical knowledge of the physician, inasmuch as he cures them by his art.

Reply Obj. 1: The knowledge of God is the cause, not indeed of Himself, but of other things. He is actually the cause of some, that is, of things that come to be in some period of time; and He is virtually the cause of others, that is, of things which He can make, and which nevertheless are never made.

Reply Obj. 2: The fact that knowledge is derived from things known does not essentially belong to speculative knowledge, but only accidentally in so far as it is human.

In answer to what is objected on the contrary, we must say that perfect knowledge of operable things is obtainable only if they are known in so far as they are operable. Therefore, since the knowledge of God is in every way perfect, He must know what is operable by Him, formally as such, and not only in so far as they are speculative. Nevertheless this does not impair the nobility of His speculative knowledge, forasmuch as He sees all things other than Himself in Himself, and He knows Himself speculatively; and so in the speculative knowledge of Himself, he possesses both speculative and practical knowledge of all other things. _______________________

After considering the knowledge of God, it remains to consider ideas. And about this there are three points of inquiry:

(3) Whether there are ideas of all things known by God? _______________________

Objection 1: It seems that there are no ideas. For Dionysius says (Div. Nom. vii), that God does not know things by ideas. But ideas are for nothing else except that things may be known through them. Therefore there are no ideas.

Obj. 2: Further, God knows all things in Himself, as has been already said (Q. 14, A. 5). But He does not know Himself through an idea; neither therefore other things.

Obj. 3: Further, an idea is considered to be the principle of knowledge and action. But the divine essence is a sufficient principle of knowing and effecting all things. It is not therefore necessary to suppose ideas.

_On the contrary,_ Augustine says (Octog. Tri. Quaest. qu. xlvi), "Such is the power inherent in ideas, that no one can be wise unless they are understood."

_I answer that,_ It is necessary to suppose ideas in the divine mind. For the Greek word _Idea_ is in Latin _Forma._ Hence by ideas are understood the forms of things, existing apart from the things themselves. Now the form of anything existing apart from the thing itself can be for one of two ends: either to be the type of that of which it is called the form, or to be the principle of the knowledge of that thing, inasmuch as the forms of things knowable are said to be in him who knows them. In either case we must suppose ideas, as is clear for the following reason:

In all things not generated by chance, the form must be the end of any generation whatsoever. But an agent does not act on account of the form, except in so far as the likeness of the form is in the agent, as may happen in two ways. For in some agents the form of the thing to be made pre-exists according to its natural being, as in those that act by their nature; as a man generates a man, or fire generates fire. Whereas in other agents (the form of the thing to be made pre-exists) according to intelligible being, as in those that act by the intellect; and thus the likeness of a house pre-exists in the mind of the builder. And this may be called the idea of the house, since the builder intends to build his house like to the form conceived in his mind. As then the world was not made by chance, but by God acting by His intellect, as will appear later (Q. 46, A. 1), there must exist in the divine mind a form to the likeness of which the world was made. And in this the notion of an idea consists.

Reply Obj. 1: God does not understand things according to an idea existing outside Himself. Thus Aristotle (Metaph. ix) rejects the opinion of Plato, who held that ideas existed of themselves, and not in the intellect.

Reply Obj. 2: Although God knows Himself and all else by His own essence, yet His essence is the operative principle of all things, except of Himself. It has therefore the nature of an idea with respect to other things; though not with respect to Himself.

Reply Obj. 3: God is the similitude of all things according to His essence; therefore an idea in God is identical with His essence. _______________________

Objection 1: It seems that ideas are not many. For an idea in God is His essence. But God's essence is one only. Therefore there is only one idea.

Obj. 2: Further, as the idea is the principle of knowing and operating, so are art and wisdom. But in God there are not several arts or wisdoms. Therefore in Him there is no plurality of ideas.

Obj. 3: Further, if it be said that ideas are multiplied according to their relations to different creatures, it may be argued on the contrary that the plurality of ideas is eternal. If, then, ideas are many, but creatures temporal, then the temporal must be the cause of the eternal.

Obj. 4: Further, these relations are either real in creatures only, or in God also. If in creatures only, since creatures are not from eternity, the plurality of ideas cannot be from eternity, if ideas are multiplied only according to these relations. But if they are real in God, it follows that there is a real plurality in God other than the plurality of Persons: and this is against the teaching of Damascene (De Fide Orth. i, 10), who says, in God all things are one, except "ingenerability, generation, and procession." Ideas therefore are not many.

_On the contrary,_ Augustine says (Octog. Tri. Quaest. qu. xlvi), "Ideas are certain principal forms, or permanent and immutable types of things, they themselves not being formed. Thus they are eternal, and existing always in the same manner, as being contained in the divine intelligence. Whilst, however, they themselves neither come into being nor decay, yet we say that in accordance with them everything is formed that can rise or decay, and all that actually does so."

_I answer that,_ It must necessarily be held that ideas are many. In proof of which it is to be considered that in every effect the ultimate end is the proper intention of the principal agent, as the order of an army (is the proper intention) of the general. Now the highest good existing in things is the good of the order of the universe, as the Philosopher clearly teaches in _Metaph._ xii. Therefore the order of the universe is properly intended by God, and is not the accidental result of a succession of agents, as has been supposed by those who have taught that God created only the first creature, and that this creature created the second creature, and so on, until this great multitude of beings was produced. According to this opinion God would have the idea of the first created thing alone; whereas, if the order itself of the universe was created by Him immediately, and intended by Him, He must have the idea of the order of the universe. Now there cannot be an idea of any whole, unless particular ideas are had of those parts of which the whole is made; just as a builder cannot conceive the idea of a house unless he has the idea of each of its parts. So, then, it must needs be that in the divine mind there are the proper ideas of all things. Hence Augustine says (Octog. Tri. Quaest. qu. xlvi), "that each thing was created by God according to the idea proper to it," from which it follows that in the divine mind ideas are many. Now it can easily be seen how this is not repugnant to the simplicity of God, if we consider that the idea of a work is in the mind of the operator as that which is understood, and not as the image whereby he understands, which is a form that makes the intellect in act. For the form of the house in the mind of the builder, is something understood by him, to the likeness of which he forms the house in matter. Now, it is not repugnant to the simplicity of the divine mind that it understand many things; though it would be repugnant to its simplicity were His understanding to be formed by a plurality of images. Hence many ideas exist in the divine mind, as things understood by it; as can be proved thus. Inasmuch as He knows His own essence perfectly, He knows it according to every mode in which it can be known. Now it can be known not only as it is in itself, but as it can be participated in by creatures according to some degree of likeness. But every creature has its own proper species, according to which it participates in some degree in likeness to the divine essence. So far, therefore, as God knows His essence as capable of such imitation by any creature, He knows it as the particular type and idea of that creature; and in like manner as regards other creatures. So it is clear that God understands many particular types of things and these are many ideas.

Reply Obj. 1: The divine essence is not called an idea in so far as it is that essence, but only in so far as it is the likeness or type of this or that thing. Hence ideas are said to be many, inasmuch as many types are understood through the self-same essence.

Reply Obj. 2: By wisdom and art we signify that by which God understands; but an idea, that which God understands. For God by one understands many things, and that not only according to what they are in themselves, but also according as they are understood, and this is to understand the several types of things. In the same way, an architect is said to understand a house, when he understands the form of the house in matter. But if he understands the form of a house, as devised by himself, from the fact that he understands that he understands it, he thereby understands the type or idea of the house. Now not only does God understand many things by His essence, but He also understands that He understands many things by His essence. And this means that He understands the several types of things; or that many ideas are in His intellect as understood by Him.

Reply Obj. 3: Such relations, whereby ideas are multiplied, are caused not by the things themselves, but by the divine intellect comparing its own essence with these things.

Reply Obj. 4: Relations multiplying ideas do not exist in created things, but in God. Yet they are not real relations, such as those whereby the Persons are distinguished, but relations understood by God. _______________________

Whether There Are Ideas of All Things That God Knows?

Objection 1: It seems that there are not ideas in God of all things that He knows. For the idea of evil is not in God; since it would follow that evil was in Him. But evil things are known by God. Therefore there are not ideas of all things that God knows.

Obj. 2: Further, God knows things that neither are, nor will be, nor have been, as has been said above (A. 9). But of such things there are no ideas, since, as Dionysius says (Div. Nom. v): "Acts of the divine will are the determining and effective types of things." Therefore there are not in God ideas of all things known by Him.

Obj. 3: Further, God knows primary matter, of which there can be no idea, since it has no form. Hence the same conclusion.

Obj. 4: Further, it is certain that God knows not only species, but also genera, singulars, and accidents. But there are not ideas of these, according to Plato's teaching, who first taught ideas, as Augustine says (Octog. Tri. Quaest. qu. xlvi). Therefore there are not ideas in God of all things known by Him.

_On the contrary,_ Ideas are types existing in the divine mind, as is clear from Augustine (Octog. Tri. Quaest. qu. xlvi). But God has the proper types of all things that He knows; and therefore He has ideas of all things known by Him.

_I answer that,_ As ideas, according to Plato, are principles of the knowledge of things and of their generation, an idea has this twofold office, as it exists in the mind of God. So far as the idea is the principle of the making of things, it may be called an "exemplar," and belongs to practical knowledge. But so far as it is a principle of knowledge, it is properly called a "type," and may belong to speculative knowledge also. As an exemplar, therefore, it has respect to everything made by God in any period of time; whereas as a principle of knowledge it has respect to all things known by God, even though they never come to be in time; and to all things that He knows according to their proper type, in so far as they are known by Him in a speculative manner.

Reply Obj. 1: Evil is known by God not through its own type, but through the type of good. Evil, therefore, has no idea in God, neither in so far as an idea is an "exemplar" nor as a "type."

Reply Obj. 2: God has no practical knowledge, except virtually, of things which neither are, nor will be, nor have been. Hence, with respect to these there is no idea in God in so far as idea signifies an "exemplar" but only in so far as it denotes a "type."

Reply Obj. 3: Plato is said by some to have considered matter as not created; and therefore he postulated not an idea of matter but a concause with matter. Since, however, we hold matter to be created by God, though not apart from form, matter has its idea in God; but not apart from the idea of the composite; for matter in itself can neither exist, nor be known.

Reply Obj. 4: Genus can have no idea apart from the idea of species, in so far as idea denotes an "exemplar"; for genus cannot exist except in some species. The same is the case with those accidents that inseparably accompany their subject; for these come into being along with their subject. But accidents which supervene to the subject, have their special idea. For an architect produces through the form of the house all the accidents that originally accompany it; whereas those that are superadded to the house when completed, such as painting, or any other such thing, are produced through some other form. Now individual things, according to Plato, have no other idea than that of species; both because particular things are individualized by matter, which, as some say, he held to be uncreated and the concause with the idea; and because the intention of nature regards the species, and produces individuals only that in them the species may be preserved. However, divine providence extends not merely to species; but to individuals as will be shown later (Q. 22, A. 3). _______________________

Since knowledge is of things that are true, after the consideration of the knowledge of God, we must inquire concerning truth. About this there are eight points of inquiry:

(1) Whether truth resides in the thing, or only in the intellect?

(2) Whether it resides only in the intellect composing and dividing?

(3) On the comparison of the true to being.

(4) On the comparison of the true to the good.

(6) Whether all things are true by one truth, or by many?

(8) On the unchangeableness of truth. _______________________

Whether Truth Resides Only in the Intellect?

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.

_On the contrary,_ The Philosopher says (Metaph. vi), " The true and the false reside not in things, but 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. 1: Augustine is speaking about the truth of things, and excludes from the notion of this truth, relation to our intellect; for what is accidental is excluded from every definition.

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." _______________________

Whether Truth Resides Only in the Intellect Composing and Dividing?

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.

_On the contrary,_ the Philosopher says (Metaph. vi) that with regard to simple things and "what a thing is," truth is "found neither in the intellect nor in things."

_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. Therefore, properly speaking, truth resides in the intellect composing and dividing; and not in the senses; nor in the intellect knowing "what a thing is."

And thus the Objections given are solved. _______________________

Whether the True and Being Are Convertible Terms?

Objection 1: It seems that the true and being are not convertible terms. For the true resides properly in the intellect, as stated (A. 1); but being is properly in things. Therefore they are not convertible.

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.

_On the contrary,_ the Philosopher says (Metaph. ii) that there is the same disposition of things in being and in truth.

_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. _______________________

Whether Good Is Logically Prior to the True?

Objection 1: It seems that good is logically prior to the true. For what is more universal is logically prior, as is evident from _Phys._ i. But the good is more universal than the true, since the true is a kind of good, namely, of the intellect. Therefore the good is logically prior to the true.

Obj. 2: Further, good is in things, but the true in the intellect composing and dividing as said above (A. 2). But that which is in things is prior to that which is in the intellect. Therefore good is logically prior to the true.

Obj. 3: Further, truth is a species of virtue, as is clear from _Ethic._ iv. But virtue is included under good; since, as Augustine says (De Lib. Arbit. ii, 19), it is a good quality of the mind. Therefore the good is prior to the true.

_On the contrary,_ What is in more things is prior logically. But the true is in some things wherein good is not, as, for instance, in mathematics. Therefore the true is prior to good.

_I answer that,_ Although the good and the true are convertible with being, as to suppositum, yet they differ logically. And in this manner the true, speaking absolutely, is prior to good, as appears from two reasons. First, because the true is more closely related to being than is good. For the true regards being itself simply and immediately; while the nature of good follows being in so far as being is in some way perfect; for thus it is desirable. Secondly, it is evident from the fact that knowledge naturally precedes appetite. Hence, since the true regards knowledge, but the good regards the appetite, the true must be prior in idea to the good.

Reply Obj. 1: The will and the intellect mutually include one another: for the intellect understands the will, and the will wills the intellect to understand. So then, among things directed to the object of the will, are comprised also those that belong to the intellect; and conversely. Whence in the order of things desirable, good stands as the universal, and the true as the particular; whereas in the order of intelligible things the converse is the case. From the fact, then, that the true is a kind of good, it follows that the good is prior in the order of things desirable; but not that it is prior absolutely.