There is a common over-used argument ; If some Supreme benevolent Being exists that created everything and can effect anyone's life , the argument is, if this being is 'all-powerful' can the Being make a giant rock that is impossible to lift? Note; this sounds a lot like the argument involving an immovable object and an unstoppable force. What happens if an immovable object is met by an unstoppable force 'trying' to move the object? The answer here being by 'definition' if the immovable object is existing in 'this universe' the an unstoppable force can not also be existing in 'this universe'. And vis. versa. If a Supreme being is existing 'now' then an immovable object can not exist 'now'. So the question becomes if a Supreme Being can not cause a logically impossible situation to be existing in 'real' life does that mean this Being is limited?

  • i consider it a weak and nonsensical argument. it's the same as: "Can God both do something and not do the something?" usually that relates to free will for beings like us. God is omnipotent, so why can't He (or She) make us humans both incapable of sin and evil yet give us fully free will? (My question in response is: "Is our will fully free or are there strings attached?") Can't an omnipotent God remove Himself/Herself from existence or create an even more powerful god? these are useless arguments, in my opinion. it's as silly as, say, solopsism. – robert bristow-johnson Mar 29 '15 at 4:57
  • 1
    Only a deity that is LIMITED in some way could make a MORE powerful deity. – 201044 Mar 29 '15 at 5:04
  • This was also one of my points; 'Can a deity both do something and not do something?' is a useless argument. Just like making a rock that is both impossible to move and possible to move. It should not be used to discredit the idea of a Deity. – 201044 Mar 29 '15 at 5:07

Most people posing this question want not only an answer, but an explanation of why that is the answer. That explanation must always include a precise definition of "all-powerful." Many who are pushing for such an answer want not only an explanation, but something worthy of being called a "proof."

Proof is actually a mathematical term, with a very precise definition. There are many classes of formal systems which can admit proofs, but First Order Logic (FOL) and Second Order Logic (SOL) are by far the most common. The individual posing the question will need to declare what sort of proof they accept. Since FOL and SOL are the most common systems people use, it is most likely they will name one of the two.

FOL is the most commonly referenced formal system with regard for proofs (for reasons we will see in a moment). However, defining "all powerful" within the confines of the language FOL supports is tricky. FOL requires everything it will talk about (officially called the "domain of discourse") to be defined as a set. "All powerful" could be defined as "For-all things that can be done, Supreme-Being can do it," however defining a set of "things that can be done" which includes creation and lifting of this particular rock is not possible. You need to go one step further, using categories rather than sets before you can use such a phrase, but FOL simply doesn't do that. (if you want to go further into why this is true, look into the work of Bertrand Russel into paradoxes and set theory)

SOL also works on a domain of discourse defined by sets. However, its semantics allow some clever structures which define categories using sets, construct the category which includes creation and lifting of the rock, and then you can go about your proof. At first glance, this looks like a winner!

As part of building his incompleteness theorems Gödel demonstrated a major limitation of SOL. It turns out that it is impossible to make any proof about a SOL system unless it happens to be reducible to FOL (i.e. you claimed you were using SOL, but you never actually used any of its fancy abilities). We've argued that the set of things that can be done cannot be described in FOL, so Gödel proves that any result regarding creation and lifting of our rock cannot possibly be proven.

The final answer is to allow admission of other formal systems besides FOL and SOL which can handle this particular case. However, in practice, the reason we use FOL and SOL is because it is remarkably hard to come up with a formal system which others can agree with. You can come up with any formal system you want, but unless both parties agree on what a "proof" should behave like, there really can't be any headway.

So, in all, the anti-ontological argument itself is phrased using a language which is tremendously unfriendly to proofs. Anyone seeking a proof will find themselves bound by the language of the problem.

  • I should have said something like anti-deity existing argument previously. – 201044 Mar 29 '15 at 4:15
  • The issue should remain the same. The language you have to use to describe the paradox you want to describe requires use of constructs in English which do not admit "proofs." This doesn't mean they're not valid, it just means that you cannot find proofs for them. If you are waiting for someone to find such a proof, you find yourself waiting a long time. – Cort Ammon Mar 29 '15 at 4:21
  • So you are saying the question of whether a Supreme Being can make an immovable rock is unsolvable? Or maybe 'un-stateble'? Either way how is it used to discredit the idea of a deity? – 201044 Mar 29 '15 at 4:26
  • 1
    Yes, it discredits the argument. It does not discredit or credit the idea that "a creator exists," but it does discredit that particular argument against a creator's existence. Actually, in the minds of Godel and Russel, two of the mathematicians responsible for this sort of discourse, it blows the argument right out of the water. – Cort Ammon Mar 29 '15 at 4:42
  • 1
    @CortAmmon The argument has nothing to do with a creator anyway. No human creator retains complete control over his creation. (So I am told by those with kids or even inventions.) Why would a divine one wish to? It seems pointlessly boring to choose that. So this is not even an argument against a creator's existence. It is an oversimplification of what power means. – jobermark Apr 6 '15 at 17:20

So the question becomes if a Supreme Being can not cause a logically impossible situation to be existing in 'real' life does that mean this Being is limited?

This becomes dangerous, for at least two reasons:

  1. There exist many types of logic—which one do we use?
  2. There are more things in heaven and earth, Horatio,
    Than are dreamt of in your philosophy.
    (context in Hamlet)

Take, for example, wave–particle duality. How can a photon be both a wave and a particle? Well, we can say that photons propagate as waves but interact as particles. A contradiction is thereby eliminated by clever distinction. Is there any end to such cleverness? For example, what of an object that looks like a square from one perspective but a circle from another? Suppose we make use of stereo vision so that one eye sees 'square' and the other, 'circle'?

Therefore, I think there is sound wisdom in the following:

A foolish consistency is the hobgoblin of little minds, adored by little statesmen and philosophers and divines.

     — Ralph Waldo Emerson, Self-Reliance

Before I go on with this short history, let me make a general observation -- the test of a first-rate intelligence is the ability to hold two opposed ideas in the mind at the same time, and still retain the ability to function. One should, for example, be able to see that things are hopeless and yet be determined to make them otherwise. This philosophy fitted on to my early adult life, when I saw the improbable, the implausible, often the "impossible," come true.

     — F. Scott Fitzgerald, The Crack-Up

David Politzer, winner of the 2004 Nobel Prize in Physics, told me in 2004 that a crucial stage in intellectual maturity is the ability to hold two contradictory ideas in one's mind without immediately rejecting one of them. Note that he discovered asymptotic freedom, which is predicated upon the then-counterintuitive effect of a binding force which grows stronger with distance. One may have been tempted to call this contradictory to all then-known knowledge.

I end with the fact that general relativity and quantum field theory, two of our best models of reality, contradict each other, seemingly inherently. One is continuous, the other is discrete. Nobody is close to empirically unifying them, although there are many pie-in-the-sky theories. However, to reject one or the other or both on the basis of the contradiction (which becomes measurably relevant near black holes) would be insane. We must remember that the picture of the thing is not the thing. Ceci n'est pas une pipe. Contradictions in model does not mean contradiction in thing/​person modeled.

  • My point was not to prove or disprove anything about the supernatural. I was just trying to disqualify a common argument given in popular culture and the Media and 'naive' philosophy about any 'super' being creating a rock that is impossible to lift. – 201044 Apr 7 '15 at 15:20
  • 1
    @201044: That's fine; I'm just saying that it's dangerous to think one knows what is "logically impossible". We used to doubt that something could be a wave and particle at the same time. This appeared to be [logically] crazy. – labreuer Apr 7 '15 at 17:45
  • All sorts of argument have been leveled against the Deity refered to in the Bible apparently to promote amoungst acedemics a non-religious point of view. I don't know how many acedemics would call themselves religious. I just get irritated with how such arguments are put forward by people who don't believe in and don't respect a certain religion and are kind of fascetious about it. – 201044 Apr 11 '15 at 12:59

You can note that universal gravitation says that there is no rock that cannot be moved by even the smallest particle. So the answer is that since the size of a rock has nothing to do with the might of the mover, the question is badly framed. The perspective from which it is framed is too Aristotelian, and not realistic enough.

This kind of argument falls into the same kind of hole. Since any respectable Supreme Being creates the rules, if you imagine something He cannot do, the problem is with your imagination, not his ability, and that flaw actually serves some purpose.


The universe is the totality of existence which means it is not infinite as infinity cannot be totaled. So it is possible that one could be omnipotent only in that universe. I understand some smart physicist are talking about the multi-verse now, super string theory and M-Theory.

Revised to include explanation below for those not understanding the distinction between "all" and "infinite":

Infinity cannot be totaled. Omni means "all"; "All" does not mean infinite, it means all in the set. So, one could exist in a universe that is all knowing yet not be infinitely knowledgeable.

  • Your first sentence: is it an assumption? A definition? A claim (where is the argumentation then?)? Please clarify this in your answer. Also note that 3-sentence answers are relatively short on this site. It is not definitive, but normally the best answers tend to have several paragraphs. – Keelan Apr 3 '15 at 7:19
  • @Keelan How can one argue with math? How can one total that which has no end? Verbose answers should NOT be encouraged! "Perfection is achieved, not when there is nothing more to add, but when there is nothing left to take away." - Antoine de Saint-Exupéry – Ron Royston Apr 6 '15 at 13:51
  • Sorry, but that's not really the idea behind this site. Short answers not explaining / supporting their statements are discouraged. You would do everyone a favour if you'd read the help center and the tour. Thanks. – Keelan Apr 6 '15 at 15:52
  • 3
    A short answer is preferable to a long one if they communicate the same thing, but an answer that isn't communicating some of the things Keelan mentioned is too short. To your content though: Within your first sentence, I think the word "total" is being used in two different senses: totality just means the "whole" of something, whereas "total" your meaning to sum up. But we can sum up infinite things: there are many infinite series whose elements can be summed (eg: 1/(n^2) ). Also, it's not obvious how your answer addresses the question. – James Kingsbery Apr 6 '15 at 16:50
  • @JamesKingsbery Thanks for sharing. One cannot sum the infinite. Also, there is no such thing as the whole of the infinite. – Ron Royston Apr 6 '15 at 17:03

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.