# Can God can create a rock which is too heavy for himself to lift up?

**URL:** <https://boards.straightdope.com/t/can-god-can-create-a-rock-which-is-too-heavy-for-himself-to-lift-up/620455>\
**Category:** Great Debates\
**Created:** [April 30, 2012, 11:09pm UTC](https://boards.straightdope.com/t/can-god-can-create-a-rock-which-is-too-heavy-for-himself-to-lift-up/620455 "2012-04-30T23:09:22Z")\
**Posts on this page:** 20\
**Page:** 4

<div class="post-metadata">

**Author:** ![The\_Tao\_s\_Revenge](https://avatars.discourse-cdn.com/v4/letter/t/73ab20/32.png) [@The\_Tao\_s\_Revenge](https://boards.straightdope.com/u/The_Tao_s_Revenge)\
**Post date:** [May 2, 2012, 11:14am UTC](https://boards.straightdope.com/t/can-god-can-create-a-rock-which-is-too-heavy-for-himself-to-lift-up/620455/61 "2012-05-02T11:14:26Z")

</div>

> [@CurtC](#):
>
> Some Christian apologists prove God’s existence by saying that logic itself had to have a creator, therefore God. So does God have to be bound by the rules of logic, or is he responsible for creating them?

This, respectfully, is bait and switch. First you suppose an omnipotent god, then you talk about it being bound by rules and limits. If omnipotence means what it says on the tin, there’s no reason an omnipotent can’t enter into a inconstant state.

In other words if you suppose A, and A includes the union of B and C, but B and C are mutually exclusive, then by your definitions A still includes the union of B and C

Put another way, by definition the answer to “Can an omnipotent \_\_\_\_\_\_” is always yes.

Can an omnipotent build a wall to big for it to leap? Yes.

Can it leap it anyway? Yes.

If you ever say something can’t do something then it isn’t omnipotent.

---

<div class="post-metadata">

**Author:** ![Lobohan](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/lobohan/32/79_2.png) [@Lobohan](https://boards.straightdope.com/u/Lobohan)\
**Post date:** [May 2, 2012, 1:44pm UTC](https://boards.straightdope.com/t/can-god-can-create-a-rock-which-is-too-heavy-for-himself-to-lift-up/620455/62 "2012-05-02T13:44:01Z")

</div>

> [@ExcitedIdiot](#):
>
> Everyone knows [The Rock](http://www.imdb.com/title/tt0117500/) is a Nicholas Cage movie.

“I’m a chemical superfreak!” —_Jesus of Nazareth_

---

<div class="post-metadata">

**Author:** ![phaemon](https://avatars.discourse-cdn.com/v4/letter/p/977dab/32.png) [@phaemon](https://boards.straightdope.com/u/phaemon)\
**Post date:** [May 2, 2012, 3:06pm UTC](https://boards.straightdope.com/t/can-god-can-create-a-rock-which-is-too-heavy-for-himself-to-lift-up/620455/63 "2012-05-02T15:06:13Z")

</div>

> [@gamerunknown](#):
>
> Multi or pluripotent but not omnipotent. Omnipotence is self-contradictory assuming God is constrained by logical laws.

Well, (no offense to you personally) that seems a particularly useless definition of “omnipotence” then. I don’t think choosing a self-contradictory definition of a word and then showing that using it leads to a paradox is particularly enlightening, other than as a word game.

And I wasn’t talking about God, I was talking about me 😉 I think having complete control of every facet of my virtual world is a decent definition of all-powerful. And, of course, I _can_ perform actions that appear logically impossible to the inhabitants of my world. In fact, I get to choose exactly what they consider logical to start with…

---

<div class="post-metadata">

**Author:** ![gvozd](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/gvozd/32/7301_2.png) [@gvozd](https://boards.straightdope.com/u/gvozd)\
**Post date:** [May 2, 2012, 3:31pm UTC](https://boards.straightdope.com/t/can-god-can-create-a-rock-which-is-too-heavy-for-himself-to-lift-up/620455/64 "2012-05-02T15:31:04Z")

</div>

> [@Chimera](#):
>
> Most people who tend to use it clearly do not understand that.

I know it’s a paradox and what the word “omnipotent” means. I don’t understand why you think I don’t understand the concept of omnipotence. The reason that I created this thread is to see what you can say about that.

---

<div class="post-metadata">

**Author:** ![Clothahump](https://avatars.discourse-cdn.com/v4/letter/c/51bf81/32.png) [@Clothahump](https://boards.straightdope.com/u/Clothahump)\
**Post date:** [May 2, 2012, 3:45pm UTC](https://boards.straightdope.com/t/can-god-can-create-a-rock-which-is-too-heavy-for-himself-to-lift-up/620455/65 "2012-05-02T15:45:04Z")

</div>

> [@DearestDane](#):
>
> Peter is Little Rock.

Peter’s in Arkansas? Waitaminnit…

And to answer the OP, we need to channel one of the great oraters of our times.

“Run along, son - you’re botherin’ me.”  
F. Leghorn

---

<div class="post-metadata">

**Author:** ![gamerunknown](https://avatars.discourse-cdn.com/v4/letter/g/6bbea6/32.png) [@gamerunknown](https://boards.straightdope.com/u/gamerunknown)\
**Post date:** [May 2, 2012, 4:01pm UTC](https://boards.straightdope.com/t/can-god-can-create-a-rock-which-is-too-heavy-for-himself-to-lift-up/620455/66 "2012-05-02T16:01:38Z")

</div>

> [@phaemon](#):
>
> Well, (no offense to you personally) that seems a particularly useless definition of “omnipotence” then.

It’s alright, I consider the argument that God can do anything logically possible to be somewhat impotent, since miracles are illogical.

---

<div class="post-metadata">

**Author:** ![Indistinguishable](https://avatars.discourse-cdn.com/v4/letter/i/90ced4/32.png) [@Indistinguishable](https://boards.straightdope.com/u/Indistinguishable)\
**Post date:** [May 2, 2012, 5:22pm UTC](https://boards.straightdope.com/t/can-god-can-create-a-rock-which-is-too-heavy-for-himself-to-lift-up/620455/67 "2012-05-02T17:22:23Z")

</div>

We could just read “God can do X” as “X is possible” to avoid all the theology and geology.

Then “Can God create a task which God cannot do?” would be “Is it possible to create an impossible task?”. Which seems an easier question to get a grip on. I suspect most people would want to play the alethic language-game in such a way as to say “Yes”.

---

<div class="post-metadata">

**Author:** ![TriPolar](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/tripolar/32/3008_2.png) [@TriPolar](https://boards.straightdope.com/u/TriPolar)\
**Post date:** [May 2, 2012, 6:18pm UTC](https://boards.straightdope.com/t/can-god-can-create-a-rock-which-is-too-heavy-for-himself-to-lift-up/620455/68 "2012-05-02T18:18:55Z")

</div>

Ok. The answer has been addressed here already in several ways, but there is a logical answer.

1. Omnipotence is the set of everything. There is nothing outside the set.

2. \*Creating a rock outside of the set that is too heavy to lift \*is part of the set. The rock created would not be, but the ability to create it is.

3. Upon _creating a rock outside of the set that is too heavy to lift_, there is something outside of the set. God is no longer omnipotent. But the only thing missing from the set is the rock.

4. _Including a rock that is outside of the set as part of the set_ is also part of the set. God can do that and then himself lift the rock, and would be omnipotent again.

5. _Destroying a rock that is outside of the set_ is part of the set. God can destroy the rock, so nothing is outside of the set, and God will become omnipotent again.

6. _Permanently removing the ability to include a rock that is outside of the set as part of the set_ is also part of the set. God can do that, but then can no longer be omnipotent.  
So, yes, God can create a rock which is too heavy for himself to lift. But he has to lose omnipotence momentarily, but can restore it using 4 and 5 above. Unless you are trying to catch a president in a perjury trap, in which case the meaning of ‘is’ is meant as ‘ever’, and then using 6, God would permanently lose omnipotence.

Of course it’s probably easier for God to redefine logic as a way to do this, but he doesn’t have to in order to provide a logical answer to the question.

---

<div class="post-metadata">

**Author:** ![TATG](https://avatars.discourse-cdn.com/v4/letter/t/50afbb/32.png) [@TATG](https://boards.straightdope.com/u/TATG)\
**Post date:** [May 2, 2012, 7:12pm UTC](https://boards.straightdope.com/t/can-god-can-create-a-rock-which-is-too-heavy-for-himself-to-lift-up/620455/69 "2012-05-02T19:12:50Z")

</div>

> [@Indistinguishable](#):
>
> We could just read “God can do X” as “X is possible” to avoid all the theology and geology.

With omnipotence defined as, “able to do any x, where x is possible” (or some variant thereof)? I think the interesting issue is getting a good definition of omnipotence, and then evaluating what that means for theology. By “good” I just mean, one that can be instantiated by some being.

> [@Indistinguishable](#):
>
> Then “Can God create a task which God cannot do?” would be “Is it possible to create an impossible task?”.

But the (fact that there is an) omnipotent being is left out of the second sentence. Left in, and you might have a more complicated question.

For example, define omnipotence as “bring about any possible world”, and ask the question “is it possible for there to be something that can bring about any possible world?” It at least seems plausible that it is not possible (in particular, it cannot bring about the world where it never existed). And so nothing can be omnipotent. You might want to fault my definition of omnipotence, but as above, I think the issue is finding a definition that can be instantiated, and so leaving it out of the discussion seems a mistake to me.

---

<div class="post-metadata">

**Author:** ![Czarcasm](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/czarcasm/32/4050_2.png) [@Czarcasm](https://boards.straightdope.com/u/Czarcasm)\
**Post date:** [May 2, 2012, 7:17pm UTC](https://boards.straightdope.com/t/can-god-can-create-a-rock-which-is-too-heavy-for-himself-to-lift-up/620455/70 "2012-05-02T19:17:01Z")

</div>

If part of the definition of God is that he is omnipotent, then he is _not_ God as he attempts to lift the rock-he only reacquires Godhood after the accomplishment is complete.

---

<div class="post-metadata">

**Author:** ![TriPolar](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/tripolar/32/3008_2.png) [@TriPolar](https://boards.straightdope.com/u/TriPolar)\
**Post date:** [May 2, 2012, 8:35pm UTC](https://boards.straightdope.com/t/can-god-can-create-a-rock-which-is-too-heavy-for-himself-to-lift-up/620455/71 "2012-05-02T20:35:00Z")

</div>

> [@Czarcasm](#):
>
> If part of the definition of God is that he is omnipotent, then he is _not_ God as he attempts to lift the rock-he only reacquires Godhood after the accomplishment is complete.

Yes, but that’s not part of the question. The question asks if he can create the rock, not if he’s still God after creating it.

---

<div class="post-metadata">

**Author:** ![phaemon](https://avatars.discourse-cdn.com/v4/letter/p/977dab/32.png) [@phaemon](https://boards.straightdope.com/u/phaemon)\
**Post date:** [May 2, 2012, 8:53pm UTC](https://boards.straightdope.com/t/can-god-can-create-a-rock-which-is-too-heavy-for-himself-to-lift-up/620455/72 "2012-05-02T20:53:46Z")

</div>

> [@gamerunknown](#):
>
> It’s alright, I consider the argument that God can do anything logically possible to be somewhat impotent, since miracles are illogical.

Please don’t reply to my posts as though you are responding to something I said when you clearly are not.

I was talking about a virtual world I had created where I am the “God”. In that world it is obviously possible for me to execute just about any “miracle” that can be coherently described. Therefore you are flat out wrong to describe my “miracles” as illogical when it’s a matter of fact that they can be performed.

---

<div class="post-metadata">

**Author:** ![TriPolar](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/tripolar/32/3008_2.png) [@TriPolar](https://boards.straightdope.com/u/TriPolar)\
**Post date:** [May 2, 2012, 9:13pm UTC](https://boards.straightdope.com/t/can-god-can-create-a-rock-which-is-too-heavy-for-himself-to-lift-up/620455/73 "2012-05-02T21:13:23Z")

</div>

> [@phaemon](#):
>
> Therefore you are flat out wrong to describe my “miracles” as illogical when it’s a matter of fact that they can be performed.

In this case, logic is in the eye of the creator, so I go along with your concept. I think the purpose of these questions is to propose a logical paradox in the concept of omnipotence, or simply deny the existence of God or omnipotence. Which is kind of silly because the question assumes those things as givens in the first place.

“If wishes were horses then beggars could ride”

Wishes aren’t horses, but the statement is logically consistent based on the assumption.

---

<div class="post-metadata">

**Author:** ![Trinopus](https://avatars.discourse-cdn.com/v4/letter/t/2bfe46/32.png) [@Trinopus](https://boards.straightdope.com/u/Trinopus)\
**Post date:** [May 2, 2012, 9:18pm UTC](https://boards.straightdope.com/t/can-god-can-create-a-rock-which-is-too-heavy-for-himself-to-lift-up/620455/74 "2012-05-02T21:18:23Z")

</div>

Logic puzzles of this type get complicated when the subject of the puzzle is included in the puzzle.

Can God “forget” something?

Can God fail? Can God fumble? Can God err?

If he can, he’s fallible; if he can’t, he’s not omnipotent.

It’s logically pointless, although it does serve as a nice (if silly) response to the old “proof” of God’s existence by appeal to his perfection. Now that we’ve shown that this perfection is not logically imperative, the proof is refuted.

None of this is an answer, in any way, to the question of a God that is very, very powerful. If God can create a rock as big as, say, the Milky Way Galaxy, well, that’s pretty impressive. I’d have to call it “God-like,” just before I fall into the black hole.

---

<div class="post-metadata">

**Author:** ![Indistinguishable](https://avatars.discourse-cdn.com/v4/letter/i/90ced4/32.png) [@Indistinguishable](https://boards.straightdope.com/u/Indistinguishable)\
**Post date:** [May 2, 2012, 10:03pm UTC](https://boards.straightdope.com/t/can-god-can-create-a-rock-which-is-too-heavy-for-himself-to-lift-up/620455/75 "2012-05-02T22:03:50Z")

</div>

> [@TATG](#):
>
> For example, define omnipotence as “bring about any possible world”, and ask the question “is it possible for there to be something that can bring about any possible world?”

What does “possible world” mean, and what does it mean to bring one about? [What particular alethic language-game do you want to play?]

Is there a possible world where Abraham Lincoln wasn’t assassinated in 1865? Well, in some sense, it’s not logically impossible to have a story with a character named Abraham Lincoln who shoots John Wilkes Booth first and later dies peacefully in his sleep in the year 1873. On the other hand, it’s not possible, given the contingent fact of our world that Abraham Lincoln was assassinated in 1865, for it to ever not be the case that Abraham Lincoln was assassinated in 1865. In that sense, no one could now bring about a possible world where Abraham Lincoln wasn’t assassinated in 1865; it’s logically impossible to do so.

I’d like to know what this kind of language is supposed to mean before attempting to give a response to your quoted question.

---

<div class="post-metadata">

**Author:** ![TATG](https://avatars.discourse-cdn.com/v4/letter/t/50afbb/32.png) [@TATG](https://boards.straightdope.com/u/TATG)\
**Post date:** [May 2, 2012, 10:34pm UTC](https://boards.straightdope.com/t/can-god-can-create-a-rock-which-is-too-heavy-for-himself-to-lift-up/620455/76 "2012-05-02T22:34:43Z")

</div>

> [@Indistinguishable](#):
>
> What does “possible world” mean, and what does it mean to bring one about? [What particular alethic language-game do you want to play?]

Just to be clear, all I’m doing is setting up some reasonable way to get a definition of omnipotence into trouble. I am not wedded to such a definition, nor to any cashing out of “possible world”, nor “bring about”. I presume, from what you state below, that you don’t want a description of what possible worlds literally are, but of which worlds count as possible.

> [@Indistinguishable](#):
>
> Is there a possible world where Abraham Lincoln wasn’t assassinated in 1865? Well, in some sense, it’s not logically impossible to have a story with a character named Abraham Lincoln who shoots John Wilkes Booth first and later dies peacefully in his sleep in the year 1873. On the other hand, it’s not possible, given the contingent fact of our world that Abraham Lincoln was assassinated in 1865, for it to ever not be the case that Abraham Lincoln was assassinated in 1865. In that sense, no one could now bring about a possible world where Abraham Lincoln wasn’t assassinated in 1865; it’s logically impossible to do so.

I mean all metaphysically possible worlds. By “bring about”, I’ll say I mean “make it true that such and so a possible world is the actual world.” If you are still worried about this terminology, substitute in “consistent state of affairs” for “possible world”, and whatever agentival device you like for “bring about”.

> [@Indistinguishable](#):
>
> I’d like to know what this kind of language is supposed to mean before attempting to give a response to your quoted question.

As above, to be clear, the question is just supposed to be an example; take some reasonable definition, include omnipotence in the question, and then we, at least plausibly, get a problem.

---

<div class="post-metadata">

**Author:** ![crypto](https://avatars.discourse-cdn.com/v4/letter/c/b3f665/32.png) [@crypto](https://boards.straightdope.com/u/crypto)\
**Post date:** [May 4, 2012, 4:22pm UTC](https://boards.straightdope.com/t/can-god-can-create-a-rock-which-is-too-heavy-for-himself-to-lift-up/620455/77 "2012-05-04T16:22:08Z")

</div>

I cant’t believe that with all the smart people out here, no one recognized this question is straight out of a George Carlin comedy bit.

(if someone did, my apologies… I searched on both pages for Carlin).

Man, I’m getting old.

---

<div class="post-metadata">

**Author:** ![Indistinguishable](https://avatars.discourse-cdn.com/v4/letter/i/90ced4/32.png) [@Indistinguishable](https://boards.straightdope.com/u/Indistinguishable)\
**Post date:** [May 4, 2012, 4:28pm UTC](https://boards.straightdope.com/t/can-god-can-create-a-rock-which-is-too-heavy-for-himself-to-lift-up/620455/78 "2012-05-04T16:28:06Z")

</div>

> [@Stink Fish Pot](#):
>
> I cant’t believe that with all the smart people out here, no one recognized this question is straight out of a George Carlin comedy bit.
> 
> (if someone did, my apologies… I searched on both pages for Carlin).
> 
> Man, I’m getting old.

This question dates to the 12th century, according to Wikipedia; at any rate, it far predates Carlin. Carlin just happens to have been referencing an existing piece of culture.

---

<div class="post-metadata">

**Author:** ![Indistinguishable](https://avatars.discourse-cdn.com/v4/letter/i/90ced4/32.png) [@Indistinguishable](https://boards.straightdope.com/u/Indistinguishable)\
**Post date:** [May 4, 2012, 4:42pm UTC](https://boards.straightdope.com/t/can-god-can-create-a-rock-which-is-too-heavy-for-himself-to-lift-up/620455/79 "2012-05-04T16:42:39Z")

</div>

> [@TATG](#):
>
> Just to be clear, all I’m doing is setting up some reasonable way to get a definition of omnipotence into trouble. I am not wedded to such a definition, nor to any cashing out of “possible world”, nor “bring about”. I presume, from what you state below, that you don’t want a description of what possible worlds literally are, but of which worlds count as possible.

I want anything that helps me know what “possible” means.

> [@](#):
>
> I mean all metaphysically possible worlds.

I don’t know what “metaphysically possible worlds” are. I don’t know what “metaphysically possible” amounts to.

Is it possible for Abraham Lincoln to have never been assassinated in 1865? I can think of different ways for the word “possible” to be used, under which this question receives different answers. I’d like to know what way the word is being used here.

> [@](#):
>
> As above, to be clear, the question is just supposed to be an example

Fair enough, but I’m trying to address that example to give an example myself of how I would address such questions in general.

> [@](#):
>
> take some reasonable definition, include omnipotence in the question, and then we, at least plausibly, get a problem.

Insofar as people puzzle over it, we may get a problem, sure. But I think they are typically pseudo-problems arising from misunderstanding/misinterpreting our own use of language.

But even ignoring that, I also was confused by this:

> [@TATG](#):
>
> > [@Indistinguishable](#):
> >
> > Then “Can God create a task which God cannot do?” would be “Is it possible to create an impossible task?”.
> 
> But the (fact that there is an) omnipotent being is left out of the second sentence. Left in, and you might have a more complicated question.

I didn’t see why the presence of an omnipotent being should complicate things; the second sentence is precisely what results from the first sentence by using the omnipotence assumption to translate “God can…” into “It is possible to…”. You gave an example of potential complication of the form “Well, how about the question of whether God could bring it about such that God never existed?”. That is, the complication of whether God could change the truths of statements about the past. In order to address this proposed complication, I needed to figure out what “possibility” meant in that context, and so I asked about Abraham Lincoln’s assassination to clarify what “possibility” is to mean so far as changing the truth of statements about the past goes.

---

<div class="post-metadata">

**Author:** ![thelabdude](https://avatars.discourse-cdn.com/v4/letter/t/dc4da7/32.png) [@thelabdude](https://boards.straightdope.com/u/thelabdude)\
**Post date:** [May 4, 2012, 4:50pm UTC](https://boards.straightdope.com/t/can-god-can-create-a-rock-which-is-too-heavy-for-himself-to-lift-up/620455/80 "2012-05-04T16:50:52Z")

</div>

> [@rat\_avatar](#):
>
> The god of Abraham is bested by simple iron chariots, so I’m betting most rocks are too heavy for him if he existed.

That God didn’t choose to help Judah overcome the iron chariots doesn’t mean he couldn’t have.

[Previous page](https://boards.straightdope.com/t/can-god-can-create-a-rock-which-is-too-heavy-for-himself-to-lift-up/620455.md?page=3)

[Next page](https://boards.straightdope.com/t/can-god-can-create-a-rock-which-is-too-heavy-for-himself-to-lift-up/620455.md?page=5)
