imagination and sense, yet its power extends to both immaterial and material things.
Reply to Objection 3: Although matter as regards its potentiality recedes from likeness to God, yet, even in so far as it has being in this wise, it retains a certain likeness to the divine being.
Whether God can know infinite things?
Objection 1: It seems that God cannot know infinite things. For the infinite, as such, is unknown; since the infinite is that which, "to those who measure it, leaves always something more to be measured," as the Philosopher says (Phys. iii). Moreover, Augustine says (De Civ. Dei xii) that "whatever is comprehended by knowledge, is bounded by the comprehension of the knower." Now infinite things have no boundary. Therefore they cannot be comprehended by the knowledge of God.
Objection 2: Further, if we say that things infinite in themselves are finite in God's knowledge, against this it may be urged that the essence of the infinite is that it is untraversable, and the finite that it is traversable, as said in Phys. iii. But the infinite is not traversable either by the finite or by the infinite, as is proved in Phys. vi. Therefore the infinite cannot be bounded by the finite, nor even by the infinite; and so the infinite cannot be finite in God's knowledge, which is infinite.
Objection 3: Further, the knowledge of God is the measure of what is known. But it is contrary to the essence of the infinite that it be measured. Therefore infinite things cannot be known by God.
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 ( Article [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 to Objection 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 ( Article [7]). Hence there is nothing to prevent Him from knowing infinite things.
Reply to Objection 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 to Objection 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 ( Article [8]). Since therefore that knowledge is necessary, what He knows must also be necessary. Therefore the knowledge of God is not of contingent things.
Objection 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.
Objection 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 ( Article [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
