In my last Sobel post, I discussed Sobel's proposal that, since the Stone Paradox shows essential omnipotence to be incoherent, the traditional God, since he would have his properties essentially, would have essential ONSLIP, or only necessarily self-limited power, but that this would not amount to omnipotence. Here I want to propose an alternative account of omnipotence, an attribute worthy of that name and which would be had essentially. First, however, we must distinguish power from freedom. To be omnipotent is to be all powerful. God is also supposed to be free in his exercise of power, and this creates a number of problems, some of which were discussed at the beginning of this series. I take it that the relevant type of power, the kind that agents have, is simply the ability to do what one wants, or to bring about one's ends, whereas freedom is something more complicated. This immediately suggests the following definition of omnipotence:
S is omnipotent =df. necessarily, for any proposition p, if S wills that p, then p.
S is omnipotent =df. □∀p[(p is a proposition & S wills that p) -> p]
Here are some interesting features/consequences of this definition:
But you might be worried about something (at least if you are not a Humean about causation and/or abilities): what if S wills only things that come about because S's will is conformed to reality, rather than reality being conformed to S's will? It is not clear that this is coherent: some philosophers think that the difference between belief and propositional desire/volition is the 'direction of fit' - that is, we try to conform our beliefs to the world, but we try to conform the world to our desires. If a being's (so-called) 'desires' were actually conformed to the world, rather than vice versa, they might turn out not to be desires at all, but rather beliefs. But in case this response doesn't work, we can easily modify the formula:
S is omnipotent =df. necessarily, for any proposition p, if S wills that p, then p because S wills it
I cannot see that omnipotence, defined this way, generates any paradoxes by itself. Certainly it is unaffected by Sobel's objections. It may, however, have complicated interactions with other divine attributes, especially freedom (there are things that God can't will). The current definition looks like it plays nice with compatibilism, but it is not so clear that it plays nice with libertarianism.
[cross-posted at The Prosblogion.]Posted by Kenny at October 26, 2010 11:04 AM
Return to blog.kennypearce.net