Abstract
I.—It is a thesis of Christian philosophy that God can bring about anything that does not involve a contradiction in terms. Now a contradietion in terms is denned with reference to an identical proposition. An identical proposition is one in which the predicate is the same as the subject. This is brought about in two ways: one when the predicate is completely identical with the subject, as when you say, ‘A dog is a dog’: two when the predicate is partly identical with the subject as when you say, ‘A black dog is black’, or ‘A dog is an animal’. In both these cases, especially in the latter, it is said that the predicate is included in the idea, or concept or ratio of the subject. If any of these propositions is denied, then you get a simultaneous affirmation and denial of the same thing, of dog, of black, and of animal, respectively, thus producing a contradiction in terms. And not even God can make such propositions true.