Login or e-mail Password   

The Big Rock Conundrum

Link to original publication: http://radgeek.com/gt/1997/08/12/the_big
Can God create a rock so heavy that he cannot lift it? This is known as the Big Rock conundrum. It is often used by atheists seeking to disprove the possibility of the Christia...
Views: 1.326 Created 10/05/2006

Can God create a rock so heavy that he cannot lift it?

This is known as the Big Rock conundrum. It is often used by atheists seeking to disprove the possibility of the Christian god, and any other purportedly omnipotent god. Sadly, it is logically flawed.

Remember that omnipotence means the ability perform all tasks. However, tasks that are logically impossible, such as creating square circles, are not really tasks at all; they are nonexistent, the null set. Thus they are not real actions for an omnipotent entity to perform. The Big Rock conundrum disappears when you consider this. In argument form:

Given:

  1. U: The Universal set of tasks
  2. A: A proposed task
  3. B: A proposed omnipotent entity
  4. r: A rock
  5. Cx: Proposed task of creating object x
  6. Mx: Proposed task of moving object x

Assuming:

  1. Omnipotence is the ability to perform all tasks. (All members of U)
  2. If the definition of proposed task A is self-contradictory, then A is not a member of U.
  3. If A is not a member of U, then A is not a task.
  4. Any entity X can only perform real tasks (elements of U)

One can infer that:

  1. If A is logically impossible, then A is not a task (prem. 2-3)
  2. B has the ability to perform all tasks (prem 1)
  3. B only has the ability to perform real tasks (prem 4)
  4. B does not have the ability to perform nontasks (inf 3)
  5. B has the ability to perform all members of U (prem 1)
  6. If B performed Cr such that Mr is a nontask, B could not perform Mr (inf 4)
  7. If B can perform all Mr, then B cannot perform Cr such that Mr is a nontask (inf 4)

In conclusion:

  1. Either B can perform Mr for all r xor B can perform Cr such that Mr is a nontask.

The argument leads to the conclusion that an omnipotent being could rationally be able to do one xor the other and still be omnipotent. The conclusion to this argument is (A xor ~A), which simplifies to TRUE. IOW, this is a tautology. And proves the argument to be valid rather than contradictory (in which case it would end in a direct contradiction, (A and not-A), or a paradox of self-reference, (A implies not-A).

The obvious points of attack are premises 1 and 4. However, if you assume that an omnipotent entity is able to perform both tasks and nontasks, you will ALWAYS end up with logical contradictions or paradoces of self-reference. To borrow a phrase from computer science, garbage in, garbage out. So, I submit that such a definition of omnipotence is inherently empty and will not get you anywhere with relatively rational theists. Another avenue of attack to this definition is to analyze it from the perspective of set algebra: from this view, it does not make a jot of difference whether you define omnipotence to include logically impossible or not; nonexistant tasks form the null set (∅), and the union of any set A with ∅ is always that set A (A ∪ ∅ = A). Thus, either way you still end up with the same set U of possible tasks.

If there is a contradictory conclusion of omnipotence, it lies elsewhere.

Similar articles


9
comments: 0 | views: 4651
7
comments: 0 | views: 13433
2
comments: 0 | views: 2489
28
comments: 5 | views: 27961
8
comments: 1 | views: 4708
8
comments: 1 | views: 6093
7
comments: 1 | views: 4091
6
comments: 2 | views: 5284
6
comments: 2 | views: 3779
 
Author
Added by: przesmyk
Article

Related topics






No messages


Add your opinion
You must be logged in to write a comment. If you're not a registered member, please register. It takes only few seconds, and you get an access to additional functions .
 


About EIOBA
Articles
Explore
Publish
Community
Statistics
Users online: 207
Registered: 107.587
Comments: 1.493
Articles: 7.176
© 2005-2018 EIOBA group.