# Possibility != Existence

**URL:** <https://boards.straightdope.com/t/possibility-existence/152538>\
**Category:** Great Debates\
**Created:** [February 3, 2003, 5:32pm UTC](https://boards.straightdope.com/t/possibility-existence/152538 "2003-02-03T17:32:47Z")\
**Posts on this page:** 20\
**Page:** 24

<div class="post-metadata">

**Author:** ![dalovindj](https://avatars.discourse-cdn.com/v4/letter/d/65b543/32.png) [@dalovindj](https://boards.straightdope.com/u/dalovindj)\
**Post date:** [February 12, 2003, 4:33pm UTC](https://boards.straightdope.com/t/possibility-existence/152538/461 "2003-02-12T16:33:14Z")

</div>

G here does not imply awareness. Greatness is relative. G, while proven, could be a non-aware quantum fluctuation (or some other undiscovered process).

This proof does NOTHING to answer the age old question - Is there an aware creator of everything?

If someone could exclude NE being a mere zero sum quantum fluctuation, then we can talk about G being a “God”. As it stands, the proof does not, and to call G God is intentional, as most speakers will assume you are talking about something that is aware. And who says being aware is any greater than not being aware?

DaLovin’ Dj

---

<div class="post-metadata">

**Author:** ![Ludovic](https://avatars.discourse-cdn.com/v4/letter/l/7ab992/32.png) [@Ludovic](https://boards.straightdope.com/u/Ludovic)\
**Post date:** [February 12, 2003, 4:35pm UTC](https://boards.straightdope.com/t/possibility-existence/152538/462 "2003-02-12T16:35:26Z")

</div>

Let’s assume the SB was the Christian God…i know that it isnt but for the moment assume it is. All other things being equal, a God that doesn’t exist in worlds with maximal suffering, injustice, and evil is greater than a God that does.

---

<div class="post-metadata">

**Author:** ![dalovindj](https://avatars.discourse-cdn.com/v4/letter/d/65b543/32.png) [@dalovindj](https://boards.straightdope.com/u/dalovindj)\
**Post date:** [February 12, 2003, 4:48pm UTC](https://boards.straightdope.com/t/possibility-existence/152538/463 "2003-02-12T16:48:33Z")

</div>

I would also put forward the idea that a “greatest being” is impossible. What is greater than God? 2 Gods. If there are infinite possibilities, then no one thing can be the greatest.

Either way. I’m still having trouble with the definition of god used here. Does it mean NE or “greatest being possible”? Does or does not the positive descriptor “great” get included in the modern form of the argument?

It seems like at the beginning of the proof G=NE, and after proven, G= greatest aware being possible. Can you have it both ways?

DaLovin’ Dj

---

<div class="post-metadata">

**Author:** ![zwaldd](https://avatars.discourse-cdn.com/v4/letter/z/a9adbd/32.png) [@zwaldd](https://boards.straightdope.com/u/zwaldd)\
**Post date:** [February 12, 2003, 4:55pm UTC](https://boards.straightdope.com/t/possibility-existence/152538/464 "2003-02-12T16:55:29Z")

</div>

> [@](#):
>
> \*Originally posted by dalovindj \*  
> **It seems like at the beginning of the proof G=NE**

This is where I’m confused. Lib stated that ‘a priori’, which I assumed was somewhat equivilent with ‘the beginning of the proof’, it was possible that God didn’t exist. I don’t see how that would be possible a priori, if a priori G=NE.

---

<div class="post-metadata">

**Author:** ![dalovindj](https://avatars.discourse-cdn.com/v4/letter/d/65b543/32.png) [@dalovindj](https://boards.straightdope.com/u/dalovindj)\
**Post date:** [February 12, 2003, 4:56pm UTC](https://boards.straightdope.com/t/possibility-existence/152538/465 "2003-02-12T16:56:31Z")

</div>

Another thing, if a God necessarily exists, then doesn’t that rule out an omnipotent being? If it must exist, it cannot choose not to exist, and therefore does not have free will to do anything it pleases.

---

<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:** [February 12, 2003, 5:11pm UTC](https://boards.straightdope.com/t/possibility-existence/152538/466 "2003-02-12T17:11:49Z")

</div>

> [@](#):
>
> \*Originally posted by dalovindj \*  
> G here does not imply awareness.

I think that’s the matter of interpretation in question.

**What could ever let us accept as a hypothesis G-\>[]G?** What could ever have that property? What “reading” of the terms do you find makes the most sense? None of them? Is G-\>G an assumption that never makes sense? Vorlon seemed to think it could a few days and maybe a different thread ago, he said something like “whatever way things are, that’s how they have to be.”

---

<div class="post-metadata">

**Author:** ![dalovindj](https://avatars.discourse-cdn.com/v4/letter/d/65b543/32.png) [@dalovindj](https://boards.straightdope.com/u/dalovindj)\
**Post date:** [February 12, 2003, 5:11pm UTC](https://boards.straightdope.com/t/possibility-existence/152538/467 "2003-02-12T17:11:56Z")

</div>

> [@](#):
>
> While this schematic relation, as a schematic relation, is a necessary logical truth in virtue of its form, it must still be established by other means that some object answers to the name of any object inserted in the schema for the variable. This means that the existence of the object inserted in the schema cannot be implicitly assumed. And to say: “If some object has the property of being God, then, necessarily, God has the property of being God. Necessarily, God has the property of being God, therefore some object has the property of being God” is to commit the fallacy of affirming the consequent.

From [here](http://216.239.51.100/search?q=cache:q-6IOQ32OnEC:cafephilo.org/AtheismReasonFaith.pdf+%2B%22ontological%22+%2B%22god%22+%2B%22definition+of+god%22&hl=en&ie=UTF-8) The oncological argument is covered on pages 4-7. He raises some very interesting issues with the definitions of god and exist as used.

DaLovin’ Dj

---

<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:** [February 12, 2003, 5:13pm UTC](https://boards.straightdope.com/t/possibility-existence/152538/468 "2003-02-12T17:13:05Z")

</div>

> [@](#):
>
> \*Originally posted by SentientMeat \*  
> \*\*The thing that _I’ve_ got.
> 
> How’s that? \*\*

Okay, fine.

Does God have the thing that you have. No, because it’s something _you_ have, and if someone else had it, you wouldn’t.

Okay, that was easy. We’ve managed to show the non-existence of God and everything other than SentientMeat.

---

<div class="post-metadata">

**Author:** ![dalovindj](https://avatars.discourse-cdn.com/v4/letter/d/65b543/32.png) [@dalovindj](https://boards.straightdope.com/u/dalovindj)\
**Post date:** [February 12, 2003, 5:21pm UTC](https://boards.straightdope.com/t/possibility-existence/152538/469 "2003-02-12T17:21:36Z")

</div>

> [@](#):
>
> What could ever let us accept as a hypothesis G-\>G? What could ever have that property?

Good question. I’ll throw up 2 possible answers:

A. An aware creator  
B. A non-aware process

Does this proof tell whether G=A or G=B? No (or so it seems). Therefore this proof reveals nothing to us in a theological sense. There is no justification for using the term “God” given that tends to imply awareness.

DaLovin’ Dj

---

<div class="post-metadata">

**Author:** ![SentientMeat](https://avatars.discourse-cdn.com/v4/letter/s/43a26b/32.png) [@SentientMeat](https://boards.straightdope.com/u/SentientMeat)\
**Post date:** [February 12, 2003, 5:52pm UTC](https://boards.straightdope.com/t/possibility-existence/152538/470 "2003-02-12T17:52:11Z")

</div>

Take it easy, **Aide** , that was just a flippant remark on my part since I’m finding all these demands for definitions are obscuring my view a little.

Within the course of this thread, I’ve gone from seeing the modal argument for the ontological proof of God as utter tripe to giving it grudging respect.

Here’s where I think we are now:

We all seem to agree that Necessary Existence is true.

Most of us have deep reservations about the positing of a “being” with this property. Some of us even go as far as saying such perfection is impossible (the substantive denial of a positive ontological proposition).

There seems no reason why this proof should not have popped up _even if God didn’t exist_, since the conception of a being with necessary existence is an obvious step to make for a bunch of thinking atoms _if the universe exists but God doesn’t_.

---

<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:** [February 12, 2003, 5:57pm UTC](https://boards.straightdope.com/t/possibility-existence/152538/471 "2003-02-12T17:57:30Z")

</div>

I don’t agree that Necessary Existence is true. I’m not even sure what you mean by ‘true’ in that statement. If ‘true’ involves being present in this reality, I have yet to see proof or even reasonable evidence that this is the case.

---

<div class="post-metadata">

**Author:** ![SentientMeat](https://avatars.discourse-cdn.com/v4/letter/s/43a26b/32.png) [@SentientMeat](https://boards.straightdope.com/u/SentientMeat)\
**Post date:** [February 12, 2003, 6:02pm UTC](https://boards.straightdope.com/t/possibility-existence/152538/472 "2003-02-12T18:02:19Z")

</div>

Necessary Existence follows from the definition of truth.

To question the definition of truth is to question whether it might be worthwhile speaking in gibberish.

---

<div class="post-metadata">

**Author:** ![dalovindj](https://avatars.discourse-cdn.com/v4/letter/d/65b543/32.png) [@dalovindj](https://boards.straightdope.com/u/dalovindj)\
**Post date:** [February 12, 2003, 6:09pm UTC](https://boards.straightdope.com/t/possibility-existence/152538/473 "2003-02-12T18:09:00Z")

</div>

**Lib** ’s “everybody” gets smaller and smaller the more I look. From [this page](http://qsilver.queensu.ca/~3sp39/SE-Ontological%20Argument.htm):

> [@](#):
>
> The ontological argument cannot be successfully claimed a priori because it has been justified by a definition that is not universally known and accepted. It may be a successful a priori argument to people whose definition of God is similar to Anselm’s, however to those with a different definition it is unsuccessful. An a priori argument may be justified by definition, however because the definition is subject to individual beliefs that may also affect the end argument, it is not successful in this case. The ontological argument relies on a definition that is formed through experience. It is Saint Anselm’s experience that brought him up to say that God is the greatest imaginable being. It was through Catholicism that he found this definition. He was not born with the idea that God is the greatest imaginable, his experiences fostered that definition. If he were brought up under any other religion, the definition of God would be different. Therefore the definition of God is not an innate definition or one found through reason, but it is one that is formed from experience. It is not a definition like Descartes shows in mathematics where through logic you can discover that all the angles in a triangle equal 180 degrees in every triangle. You are not born with the definition of god, nor does it come from reason alone. That particular definition is shaped by outside influences therefore it is not a successful a priori claim.

> [@](#):
>
> Another flaw that makes Anselm’s ontological argument an unsuccessful a priori argument is his assumption that everyone interprets “something than which nothing greater can be conceived” as the same something. Something that is “greatest” to one person may not be the “greatest” to another person. It is a very subjective term that varies in definition from person to person.

> [@](#):
>
> If everybody conceives of a different being then there is not one single greatest being, but several billion. Then if everyone’s idea of a God must exist, there would not be a single greatest thing imaginable. Therefore either no God exists or several billion Gods exist. This error in the ontological argument is again caused because experience biases the interpretation of the definition of God. Thus, because experience is now a part of the claim it is no longer an a priori claim.

I can’t see how these issues with the definition can be dismissed out of hand (regardless of ones respect for past philosophers) and still be considered honest debate.

"An a priori argument may be justified by definition, however because the definition is subject to individual beliefs that may also affect the end argument, it is not successful in this case. "

DaLovin’ Dj

---

<div class="post-metadata">

**Author:** ![dalovindj](https://avatars.discourse-cdn.com/v4/letter/d/65b543/32.png) [@dalovindj](https://boards.straightdope.com/u/dalovindj)\
**Post date:** [February 12, 2003, 6:13pm UTC](https://boards.straightdope.com/t/possibility-existence/152538/474 "2003-02-12T18:13:21Z")

</div>

Can there be only one thing that = NE? Is it possible that multiple things have the quality of NE? What if NE is present in two contradictory statements? For example:

Awareness is necessary for existence.  
Existence is necessary for awareness.

Chicken or the egg?

---

<div class="post-metadata">

**Author:** ![Left\_Hand\_of\_Dorkness](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/left_hand_of_dorkness/32/7156_2.png) [@Left\_Hand\_of\_Dorkness](https://boards.straightdope.com/u/Left_Hand_of_Dorkness)\
**Post date:** [February 12, 2003, 6:19pm UTC](https://boards.straightdope.com/t/possibility-existence/152538/475 "2003-02-12T18:19:41Z")

</div>

> [@](#):
>
> \*Originally posted by Libertarian \*  
> \*\*The post you’re responding to with that was not addressed to you. \*\*

Yeah, I know. But when someone raises an objection to your argument, and you sarcastically suggest that maybe they should publish their results because in the past sixty years nobody has raised that objection before, and _earlier in the same thread I linked to a site that raised that objection_, it’s a little bit frustrating.

You’ve chided me in this thread for not reading your cites; I figure it’s copacetic for me to return the favor.

Daniel

---

<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:** [February 12, 2003, 6:29pm UTC](https://boards.straightdope.com/t/possibility-existence/152538/476 "2003-02-12T18:29:03Z")

</div>

> [@](#):
>
> \*Originally posted by SentientMeat \*  
> \*\*Necessary Existence follows from the definition of truth.
> 
> To question the definition of truth is to question whether it might be worthwhile speaking in gibberish. \*\*

Fine.

**What is the definition of truth?**

---

<div class="post-metadata">

**Author:** ![Ludovic](https://avatars.discourse-cdn.com/v4/letter/l/7ab992/32.png) [@Ludovic](https://boards.straightdope.com/u/Ludovic)\
**Post date:** [February 12, 2003, 7:27pm UTC](https://boards.straightdope.com/t/possibility-existence/152538/477 "2003-02-12T19:27:15Z")

</div>

> [@](#):
>
> \*Originally posted by The Vorlon Ambassador’s Aide \*  
> \*\*I would say that there’s no difference. Being part of our reality is what existence means.  
> \*\*

Modal logic seems to have some merit in establishing a shortcut method of analysis of possibilities. There may be a distinction between something that is possible but does not exist, and something that is impossible.

Now, that doesnt mean I agree with all of the axioms of modal logic, for instance, “higher order” expressions such as X-\>X. Since necessity applies to a set of possible worlds, statements such as X would seem to have no meaning outside the context of possible worlds.

Now, depending on how you define higher-order modal logic X-\>X could be a well-founded axiom, but not its sibling \<\>X-\>\<\>X. After all, if higher-order modal logic refers to a **subset** of possible worlds, which is the only way it would make sense, then we could be excluding the ONLY world in which X was possible…it would be impossible in the remaining subset!

---

<div class="post-metadata">

**Author:** ![dalovindj](https://avatars.discourse-cdn.com/v4/letter/d/65b543/32.png) [@dalovindj](https://boards.straightdope.com/u/dalovindj)\
**Post date:** [February 12, 2003, 7:43pm UTC](https://boards.straightdope.com/t/possibility-existence/152538/478 "2003-02-12T19:43:21Z")

</div>

> [@](#):
>
> Yeah, I know. But when someone raises an objection to your argument, and you sarcastically suggest that maybe they should publish their results because in the past sixty years nobody has raised that objection before, and earlier in the same thread I linked to a site that raised that objection, it’s a little bit frustrating.

No kidding. The sarcasm and quickness to disregard/ignore ANY conversation concerning the definition of G is quite telling (in regards to the strength of the position in question). I’ve found many websites taking issue with the way G is defined in ontological proofs. I’ve linked to some and so has **DanielWithrow** , so now perhaps we can entertain these problems with the definition without the sarcasm and condescending remarks? A kid can dream anyway . . .

DaLovin’ Dj

---

<div class="post-metadata">

**Author:** ![zwaldd](https://avatars.discourse-cdn.com/v4/letter/z/a9adbd/32.png) [@zwaldd](https://boards.straightdope.com/u/zwaldd)\
**Post date:** [February 12, 2003, 8:58pm UTC](https://boards.straightdope.com/t/possibility-existence/152538/479 "2003-02-12T20:58:24Z")

</div>

I have a new hypothesis and that hypothesis is that Libertarian is full of…um…it. I offer this as proof:  
Lib has sidestepped this question:

\*\*Agree or disagree, post priori:

It is possible that there is not a scientific explanation for the creation of the universe.\*\*

The reason he has sidestepped it, according to my hypothesis, is because the same proof that proves God’s existence in actuality would prove the existence of a scientific explanation for creation of the universe in actuality, because ‘explanation for creation of the universe’ = necessary existence, whether the explanation turns out to be a sentient God or a non-sentient chemical reaction. You can’t have God and a scientific explanation for God’s alleged role actually existing in the same room without acknowledging that the two are one in the same, and by extension admitting that the word ‘God’ in the actual existence proof is misleading.

Lib’s claim that I seem to believe that the proof equating God with necessary existence suffers from a fundamental flaw is nothing but a strawman to make it appear that I have brazenly dismissed logical conclusions that are accepted by respected philosophers. The flaw, IMO, is not equating God with necessary existence. The flaw is attempting to attach any attributes to God other than what has been proven once you’ve carried the proof over as a premise to prove God’s actual existence.

So there are two possibilities. Either Lib is attempting to attach attributes to God other than what has been proven, or the word ‘God’ in the actual existence proof is misleading. Either option demonstrates intellectual dishonesty.

I submit my hypothesis to the GD community for testing and will recant if it does not hold up to scrutiny.

---

<div class="post-metadata">

**Author:** ![dalovindj](https://avatars.discourse-cdn.com/v4/letter/d/65b543/32.png) [@dalovindj](https://boards.straightdope.com/u/dalovindj)\
**Post date:** [February 12, 2003, 9:15pm UTC](https://boards.straightdope.com/t/possibility-existence/152538/480 "2003-02-12T21:15:51Z")

</div>

Well posted, **zwaldd**. I concur. I will of course reserve the right to change my position should a strong enough case be made to the contrary.

DaLovin’ Dj

[Previous page](https://boards.straightdope.com/t/possibility-existence/152538.md?page=23)

[Next page](https://boards.straightdope.com/t/possibility-existence/152538.md?page=25)
