William Lane Craig on God and Analogy

William Lane Craig, as with most contemporary analytic philosophers of religion, objects to the classical Thomistic idea that God cannot be said to be a being in the sense that we can. I aim to argue that at least some of his claims here are unreasonable.

Craig objects: "One of the aspects of Thomas Aquinas’ thought that I find most disturbing is his claim that we can speak of God only in analogical terms. Without univocity of meaning, we are left with agnosticism about the nature of God, able to say only what God is not, not what He is."

This does not follow in the slightest; in fact, I wonder if Craig actually understands what analogy is, since it is one of the main points of Aquinas's theory of analogy to avoid this problem. Aquinas sought to show, in contrast to Maimonides, that though we can't predicate attributes of God in the same sense as us we can still speak meaningfully and make positive predications about him. Craig fails utterly to show how from the semantic analogy of the term 'being' we are left only with negative theology.

Next, Craig says: "When in discussions with atheists I affirm, 'God exists' and they reply, 'God does not exist,' we may need to be sure that we mean the same thing by 'God,' but there is no equivocation on the meaning of 'exists.'"

I guess what Craig is trying to say here is something like this: If the word 'exists' is analogical, then when I affirm God exists and when atheists affirm God does not exist, we are both equivocating past each other. But this is a genuine ontological dispute and so there is no equivocation; hence, 'exists' is not analogical. The problem is that the main premise is simply not true; if analogy is true, then we affirm that God exists in one sense, and the atheist simply denies that God exists in any sense, including the one I am predicating of God.

In the next paragraph, Craig says this: "The problem you pose brings us to the heart of my current work on divine aseity. What makes God more than just one being among many is precisely His aseity: God alone is self-existent; everything else exists contingently. Only God exists of Himself (a se); everything else exists through another (ab alio). That makes God the source of being for everything apart from Himself."

Now, I really like this, and I agree with this completely. The only problem is that Craig himself doesn't; for if what Craig says is literally true then divine simplicity is true, from which it is a small step to the doctrine that talk about God is analogous. Here's why:

(1) Whatever is non-identical to God is created by God. [conceded by Craig]
(2) If God has metaphysical proper parts ('parts' hereafter), then at least one of these parts is not created by God. [prem]
(3) Either God has parts or he doesn't. [LEM]
(4) Suppose he does have parts. [assp]
Then
(5) All of God's parts are created by God. [by 1]
But
(6) One of God's parts is not created by God [by 2,4]
This is a contradiction. Hence, we must reject our assumption. Hence:
(7) God has no parts.

So by 'metaphysical proper parts' here I mean things like ontological constituents, such as a property-instance (or trope or accident or whatever). (1) is just Craig's own thoughts on the matter, and (2) is true because clearly God doesn't create his essential properties; he depends on those for his existence, since if they didn't exist then neither would he. The rest follows by the meanings of the terms and the rules of logic.

Craig says that he considers God to be a substance, presumably in the same manner we are: "Not a physical substance, of course, but a spiritual substance like a mind."

However, the case is even more clear if Craig thinks God's mind and will are distinct; for if he does, granting Craig's doctrine of aseity, then from (1) it follows God's will must be created by God. But it is absurd to suppose God creates his own will; after all, he must have a will to do that! So, either Craig's doctrine of aseity is false (which I agree with Craig it isn't) or God is not distinct from his will (which I think is right, but is really only intelligible given divine simplicity).

Craig thinks getting rid of Platonism will solve the problems concerning God's aseity; but it doesn't, since even if there are no abstract properties in us there are clearly ontological constituents (my brownness, my height, my shape, etc.). Even taking 'parts' in this sense, I think the above argument shows that if he wants to hold on to the strong doctrine of aseity set out in the quote above he needs to get rid of the idea that God has any parts at all. And if God has no parts in the metaphysical sense then it can be shown speech about God is analogical; for in our case, to say I am good is to say the quality of goodness inheres in me as an accident (or is exemplified as a property, or inheres as a trope or whatever). But since God has no parts in any of these senses, to say God is good cannot be to say this about him. And the same with any of the divine attributes. Thus our terms must be said analogically of God.

[Edit: Craig's reply here. My reply here.]

Is 'Existence' Univocal Because 'All' Is Univocal?

In this post, Bill Vallicella presents another argument by Peter van Inwagen for the univocity of existence and questions it (he posted and refuted the first argument here). I think Vallicella has a point. Still, I might grant that the Quinean like Van Inwagen can translate a singular existential statement so as to have the same form as a general existential statement and argue the conclusion still does not follow. Quine, in his famous paper "On What There Is," proposes that we treat for instance the relation '__ = Pegasus' as a single-place predicate '=Pegasus'; one can call this 'pegasizing' or formally 'P'. Then 'Pegasus exists' will just be 'something pegasizes', which will just be translated to, '(Ex)(Px)'. Even ignoring the problematic aspects here I would pose a different objection. I would accuse Van Inwagen's argument of being a 'non sequitur'. Vallicella states the argument thus:

(1) 'Every' is univocal.

(2) 'Exist(s)' and 'every' are interdefinable: 'Fs exist' is equivalent to 'It is not the case that everything is not an F.'

Therefore

(3) 'Exist(s)' is univocal.

Clearly, as is, this argument is not valid. To make it valid we need some further premise. I'm not sure what sort of plausible premise Van Inwagen is using to get to his conclusion, but maybe it is something like

(2.5) If two terms are interdefinable then each of the terms' uses share the same sense relation.

(Just a clarificatory point: Sense relations are things like 'univocity' or 'equivocity', and Van Inwagen thinks that all the uses of 'exists' are univocal.) How are we to understand 'interdefinable' here? Surely not as meaning that for each 'exists' statement there is a semantically identical 'every' statement, i.e. one with the exact same meaning, for that would be utterly question-begging. We must construe it then as something like 'for each 'exists' statement there is a logically equivalent 'every' statement'. The problem is that (2.5) is not obviously true on this interpretation. I'll explain.

I think we can admit that 'some' and 'every' are univocal, that these two are interdefinable in the sense that logically equivalent statements can be expressed in terms of each, but still say that 'some' doesn't fully capture the meaning of 'exists', and thus neither does 'every'. Of course, every 'some' statement is logically equivalent to another 'there exists' statement, but that does not imply they are semantically identical.

On the idea that 'exists' is analogical, the natural language quantifier 'there exists' has many senses, but all beings can be said to exist in one of those senses; thus the range of this quantifier includes all beings (regardless as to which sense of 'being' can be said of them). And since there are no non-existent beings, the range of the quantifier 'some' is over all beings. So the two quantifiers range over the same domain of discourse; and since for any 'some' statement there is a logically equivalent 'there exists' statement, it follows that we can translate logically equivalent statements involving either of them with the same symbol in predicate-logic, '(Ex)'. This is also why they are each logically equivalent to at least one 'all' statement. But it simply doesn't follow that they all share the same sense relation (univocal, equivocal, etc.). It is true that our 'some' quantifier ranges over only and all beings, but it ranges over them regardless as to which of the many analogous senses of 'being' can be said of them. So it's consistent with both 'some' and 'all' being univocal that 'being' or 'exists' are not.