# True logical proof that God does NOT exist

**URL:** <https://boards.straightdope.com/t/true-logical-proof-that-god-does-not-exist/147045>\
**Category:** Great Debates\
**Created:** [January 6, 2003, 11:55pm UTC](https://boards.straightdope.com/t/true-logical-proof-that-god-does-not-exist/147045 "2003-01-06T23:55:00Z")\
**Posts on this page:** 20\
**Page:** 2

<div class="post-metadata">

**Author:** ![JonScribe](https://avatars.discourse-cdn.com/v4/letter/j/3be4f8/32.png) [@JonScribe](https://boards.straightdope.com/u/JonScribe)\
**Post date:** [January 7, 2003, 1:53am UTC](https://boards.straightdope.com/t/true-logical-proof-that-god-does-not-exist/147045/21 "2003-01-07T01:53:37Z")

</div>

Next week in logic class, **Alietta** , you’ll learn that you can’t prove a negative statement.

---

<div class="post-metadata">

**Author:** ![Meatros](https://avatars.discourse-cdn.com/v4/letter/m/b4bc9f/32.png) [@Meatros](https://boards.straightdope.com/u/Meatros)\
**Post date:** [January 7, 2003, 1:57am UTC](https://boards.straightdope.com/t/true-logical-proof-that-god-does-not-exist/147045/22 "2003-01-07T01:57:55Z")

</div>

**Alietta** -In a recent thread I was introduced to this site:  
[http://www.objectivethought.com/atheism/rock.html](http://www.objectivethought.com/atheism/rock.html)

Oh and also, it does disprove anything. I don’t think the concept of “God” is logical to begin with (I could be wrong).

---

<div class="post-metadata">

**Author:** ![AncientHumanoid](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/ancienthumanoid/32/278_2.png) [@AncientHumanoid](https://boards.straightdope.com/u/AncientHumanoid)\
**Post date:** [January 7, 2003, 2:21am UTC](https://boards.straightdope.com/t/true-logical-proof-that-god-does-not-exist/147045/23 "2003-01-07T02:21:54Z")

</div>

Forty-Two!  
Knew it would finally come in handy isomewhere\*.

---

<div class="post-metadata">

**Author:** ![AncientHumanoid](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/ancienthumanoid/32/278_2.png) [@AncientHumanoid](https://boards.straightdope.com/u/AncientHumanoid)\
**Post date:** [January 7, 2003, 2:26am UTC](https://boards.straightdope.com/t/true-logical-proof-that-god-does-not-exist/147045/24 "2003-01-07T02:26:14Z")

</div>

Perhaps God could change my last post. Can god create a vB code so powerful it could change a typo?

I think **DtheC** and **Polycarp** dealt with the OP in another thread. I shall now search for it. Feel free to post the thread link if you find it first. It was pretty good.

---

<div class="post-metadata">

**Author:** ![Meatros](https://avatars.discourse-cdn.com/v4/letter/m/b4bc9f/32.png) [@Meatros](https://boards.straightdope.com/u/Meatros)\
**Post date:** [January 7, 2003, 2:27am UTC](https://boards.straightdope.com/t/true-logical-proof-that-god-does-not-exist/147045/25 "2003-01-07T02:27:33Z")

</div>

> [@](#):
>
> \*Originally posted by NoClueBoy \*  
> \*_Forty-Two!  
> Knew it would finally come in handy []isomewhere_. \*\*

Are you saying this topic has been addressed 42 times!:eek:

If so…

…  
Daaaaammmmmnnnnnn…:eek:

---

<div class="post-metadata">

**Author:** ![tracer](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/tracer/32/20578_2.png) [@tracer](https://boards.straightdope.com/u/tracer)\
**Post date:** [January 7, 2003, 2:47am UTC](https://boards.straightdope.com/t/true-logical-proof-that-god-does-not-exist/147045/26 "2003-01-07T02:47:32Z")

</div>

> [@](#):
>
> \*Originally posted by Polycarp \*  
> \*\*That brings to mind the line C.S. Lewis gives one of his characters in _The Last Battle_, to the effect that a stable once held Something much larger than it itself was. \*\*

Heck, **that’s** no miracle. Dr Who’s Tardis does it all the time.

---

<div class="post-metadata">

**Author:** ![Ramanujan](https://avatars.discourse-cdn.com/v4/letter/r/51bf81/32.png) [@Ramanujan](https://boards.straightdope.com/u/Ramanujan)\
**Post date:** [January 7, 2003, 4:12am UTC](https://boards.straightdope.com/t/true-logical-proof-that-god-does-not-exist/147045/27 "2003-01-07T04:12:47Z")

</div>

> [@](#):
>
> \*Originally posted by JonScribe \*  
> Next week in logic class, **Alietta** , you’ll learn that you can’t prove a negative statement.

assume:  
p  
q  
p-\>~q  
:.  
~p

proof of a negative statement.

anyway, i think it is just silly to claim that god is not bound by logic. not because he is, but because that claim itself is meaningless. if you do not consider his existence logical, how can you say truthfully and validly that it isn’t?

---

<div class="post-metadata">

**Author:** ![lekatt](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/lekatt/32/7269_2.png) [@lekatt](https://boards.straightdope.com/u/lekatt)\
**Post date:** [January 7, 2003, 4:23am UTC](https://boards.straightdope.com/t/true-logical-proof-that-god-does-not-exist/147045/28 "2003-01-07T04:23:16Z")

</div>

What does logic have to do with God’s existance? I heard it said that if there were no God, man would invent one.

---

<div class="post-metadata">

**Author:** ![gobear](https://avatars.discourse-cdn.com/v4/letter/g/8dc957/32.png) [@gobear](https://boards.straightdope.com/u/gobear)\
**Post date:** [January 7, 2003, 4:44am UTC](https://boards.straightdope.com/t/true-logical-proof-that-god-does-not-exist/147045/29 "2003-01-07T04:44:36Z")

</div>

Well, the OP is certainly more controversial than Oolon Coluphid’s trilogy of philosophical blockbusters: Where God Went Wrong, Some of God’s Greatest Mistakes and Who is This God Person Anyway? Of course, the danger in proving that black is white is that you might get killed at the next zebra crossing.

---

<div class="post-metadata">

**Author:** ![Soup\_du\_jour](https://avatars.discourse-cdn.com/v4/letter/s/848f3c/32.png) [@Soup\_du\_jour](https://boards.straightdope.com/u/Soup_du_jour)\
**Post date:** [January 7, 2003, 4:56am UTC](https://boards.straightdope.com/t/true-logical-proof-that-god-does-not-exist/147045/30 "2003-01-07T04:56:17Z")

</div>

I’m finding Mr Coluphid’s “Well, That Just About Wraps it Up For God” a very interesting read.

---

<div class="post-metadata">

**Author:** ![jjrt](https://avatars.discourse-cdn.com/v4/letter/j/c77e96/32.png) [@jjrt](https://boards.straightdope.com/u/jjrt)\
**Post date:** [January 7, 2003, 4:57am UTC](https://boards.straightdope.com/t/true-logical-proof-that-god-does-not-exist/147045/31 "2003-01-07T04:57:16Z")

</div>

My daughter has already had that question here so she asked the  
preacher to help her with the answer and here is what he gave:

Dear Jolted (Ha! Ha!),

If God can do anything that he wants to do, and that rock is the BIGGEST that he can possibly create, then the “anything” would include moving the BIGGEST rock because there’s only two things that God cannot do…fail or lie. If God could not move this BIGGEST rock, then he would have failed. The word “can’t” is not in his vocabulary except in the realm of evil. God can’t do wrong. Furthermore, if God can move this universe, (which He does continuously) then the rock which he theoretically cannot move would have to be bigger than this universe. So, if this rock is bigger than this universe God has simply discarded it and thrown it away because we have no proof of its existence! He doesn’t have to lift…He just speaks and His will is done, even if it means to move a rock BIGGER than this universe.

Course my reply was that he could make a hammer and burst it to bits…

---

<div class="post-metadata">

**Author:** ![Soup\_du\_jour](https://avatars.discourse-cdn.com/v4/letter/s/848f3c/32.png) [@Soup\_du\_jour](https://boards.straightdope.com/u/Soup_du_jour)\
**Post date:** [January 7, 2003, 4:59am UTC](https://boards.straightdope.com/t/true-logical-proof-that-god-does-not-exist/147045/32 "2003-01-07T04:59:10Z")

</div>

Oh, and **Alietta** , you seem to start with the premise that God cannot do the illogical. That is, you start with the premise that God is not all-powerful.

It’s the Circular Reasoning Show! With your host…

_dum-dum-dum-DAAAAAAAA_

---

<div class="post-metadata">

**Author:** ![JonScribe](https://avatars.discourse-cdn.com/v4/letter/j/3be4f8/32.png) [@JonScribe](https://boards.straightdope.com/u/JonScribe)\
**Post date:** [January 7, 2003, 5:13am UTC](https://boards.straightdope.com/t/true-logical-proof-that-god-does-not-exist/147045/33 "2003-01-07T05:13:51Z")

</div>

> [@](#):
>
> \*Originally posted by Ramanujan \*  
> \*\*assume:  
> p  
> q  
> p-\>~q  
> :.  
> ~p
> 
> proof of a negative statement.
> 
> \*\*

Or:  
p  
q  
p-\>~q  
:.  
😛

---

<div class="post-metadata">

**Author:** ![Ramanujan](https://avatars.discourse-cdn.com/v4/letter/r/51bf81/32.png) [@Ramanujan](https://boards.straightdope.com/u/Ramanujan)\
**Post date:** [January 7, 2003, 5:22am UTC](https://boards.straightdope.com/t/true-logical-proof-that-god-does-not-exist/147045/34 "2003-01-07T05:22:16Z")

</div>

> [@](#):
>
> \*Originally posted by Soup\_du\_jour \*  
> Oh, and **Alietta** , you seem to start with the premise that God cannot do the illogical. That is, you start with the premise that God is not all-powerful.
> 
> It’s the Circular Reasoning Show! With your host…
> 
> _dum-dum-dum-DAAAAAAAA_

logical arguments tend to assume that logic is valid.

just like your “proof” of **Alietta** ’s circularity.

---

<div class="post-metadata">

**Author:** ![TVAA](https://avatars.discourse-cdn.com/v4/letter/t/c57346/32.png) [@TVAA](https://boards.straightdope.com/u/TVAA)\
**Post date:** [January 7, 2003, 6:43am UTC](https://boards.straightdope.com/t/true-logical-proof-that-god-does-not-exist/147045/35 "2003-01-07T06:43:41Z")

</div>

I’ve said it before, and I’ll say it again:

All people are just really, really bad Taoists. Except those that aren’t.

---

<div class="post-metadata">

**Author:** ![erislover](https://avatars.discourse-cdn.com/v4/letter/e/71e660/32.png) [@erislover](https://boards.straightdope.com/u/erislover)\
**Post date:** [January 7, 2003, 7:13am UTC](https://boards.straightdope.com/t/true-logical-proof-that-god-does-not-exist/147045/36 "2003-01-07T07:13:29Z")

</div>

Dear God;  
This is to inform you that your current position as deity is herewith terminated due to gross incompetence **STOP** Your check will be mailed **STOP** Please do not use me for a reference

Respectfully,

Malaclypse the Younger/Omnibenevolent Polyfather  
POEE High Priest

---

<div class="post-metadata">

**Author:** ![Badtz\_Maru](https://avatars.discourse-cdn.com/v4/letter/b/e36b37/32.png) [@Badtz\_Maru](https://boards.straightdope.com/u/Badtz_Maru)\
**Post date:** [January 7, 2003, 7:27am UTC](https://boards.straightdope.com/t/true-logical-proof-that-god-does-not-exist/147045/37 "2003-01-07T07:27:10Z")

</div>

Why does God have to be all-powerful? Maybe he’s just very powerful with a really good PR division.

---

<div class="post-metadata">

**Author:** ![Liberal](https://avatars.discourse-cdn.com/v4/letter/l/848f3c/32.png) [@Liberal](https://boards.straightdope.com/u/Liberal)\
**Post date:** [January 7, 2003, 9:06pm UTC](https://boards.straightdope.com/t/true-logical-proof-that-god-does-not-exist/147045/38 "2003-01-07T21:06:01Z")

</div>

> [@](#):
>
> \*Originally posted by JonScribe \*  
> \*\*Next week in logic class, **Alietta** , you’ll learn that you can’t prove a negative statement. \*\*

Prove this statement: “You can’t prove a negative statement”.

---

<div class="post-metadata">

**Author:** ![Emile\_Whites](https://avatars.discourse-cdn.com/v4/letter/e/e56c9b/32.png) [@Emile\_Whites](https://boards.straightdope.com/u/Emile_Whites)\
**Post date:** [January 7, 2003, 9:30pm UTC](https://boards.straightdope.com/t/true-logical-proof-that-god-does-not-exist/147045/39 "2003-01-07T21:30:51Z")

</div>

Well, if God is as most major religions define him, infallible and all-knowing there is no rock possible to create that is too large for God to move in some way.

Besides, this God could evolve himself enough to move the rock.  
Spend a few months in the gym, etc. 😉

---

<div class="post-metadata">

**Author:** ![Liberal](https://avatars.discourse-cdn.com/v4/letter/l/848f3c/32.png) [@Liberal](https://boards.straightdope.com/u/Liberal)\
**Post date:** [January 7, 2003, 9:41pm UTC](https://boards.straightdope.com/t/true-logical-proof-that-god-does-not-exist/147045/40 "2003-01-07T21:41:47Z")

</div>

Well, if nothing else, He could always move the whole universe except for the rock. That would effectively move it from one place to another.

[Previous page](https://boards.straightdope.com/t/true-logical-proof-that-god-does-not-exist/147045.md?page=1)

[Next page](https://boards.straightdope.com/t/true-logical-proof-that-god-does-not-exist/147045.md?page=3)
