# 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:** 6

<div class="post-metadata">

**Author:** ![Phoenix\_Dragon](https://avatars.discourse-cdn.com/v4/letter/p/65b543/32.png) [@Phoenix\_Dragon](https://boards.straightdope.com/u/Phoenix_Dragon)\
**Post date:** [February 6, 2003, 3:39am UTC](https://boards.straightdope.com/t/possibility-existence/152538/101 "2003-02-06T03:39:21Z")

</div>

Lib, your whole premise, even if we assume the rest to be ture (Debatable. VERY debatable…), only holds up if your definition is true. However, we have no evidence to support that definition, do we? And if the definition you’re using is _false_, your whole premise fails.

And while we’re on it, I’ve already posted what seems to be evidence that your definition is false. It is possible that god does not exist, so he does not exist on at least one world, meaning he can’t be necessary because he does not exist in _all_ worlds.

…To top it off, your whole preposition assumes we use modal-logic “possible” (Something _does_ exist, somewhere) as synonymous with plain-english “possible” (Something may or may not exist).

---

<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 6, 2003, 3:48am UTC](https://boards.straightdope.com/t/possibility-existence/152538/102 "2003-02-06T03:48:19Z")

</div>

evidence… a priori proof… evidence… a priori proof. Hmm. What am I missing?

---

<div class="post-metadata">

**Author:** ![robertliguori](https://avatars.discourse-cdn.com/v4/letter/r/46a35a/32.png) [@robertliguori](https://boards.straightdope.com/u/robertliguori)\
**Post date:** [February 6, 2003, 3:58am UTC](https://boards.straightdope.com/t/possibility-existence/152538/103 "2003-02-06T03:58:54Z")

</div>

Evidence that it is possible that God exists?

---

<div class="post-metadata">

**Author:** ![Diogenes\_the\_Cynic](https://avatars.discourse-cdn.com/v4/letter/d/e99b99/32.png) [@Diogenes\_the\_Cynic](https://boards.straightdope.com/u/Diogenes_the_Cynic)\
**Post date:** [February 6, 2003, 4:05am UTC](https://boards.straightdope.com/t/possibility-existence/152538/104 "2003-02-06T04:05:02Z")

</div>

Ok, **gould** ,  
well I would like to recommend books rather than websites .(you can google as well as I can)

For a good overview of classical physics try [Stephen Hawkings.](http://www.hawking.org.uk/home/hindex.html) _A Brief History of Time_ is a good place to start.

I’d also suggest just about anything by [Richard Feynman](http://swiftweb.com/amazon/feynman.html), who has written extensively both on Quantum theory as well as classical physics.

For a good mix of philosophy and physics look for [_The Tao of Physics_](http://www.amazon.com/exec/obidos/tg/detail/-/1570625190/ref=lib_dp_TFCV/002-7649387-4718413?v=glance&s=books&vi=reader#reader-link) by Fritjof Capra.

Good luck and welcome to SDMB.

---

<div class="post-metadata">

**Author:** ![Nightime](https://avatars.discourse-cdn.com/v4/letter/n/e9c0ed/32.png) [@Nightime](https://boards.straightdope.com/u/Nightime)\
**Post date:** [February 6, 2003, 4:22am UTC](https://boards.straightdope.com/t/possibility-existence/152538/105 "2003-02-06T04:22:16Z")

</div>

You think the proof is bad now, but you are actually giving it more credit than it deserves. You are assuming that “possible worlds” refers to possible worlds. Because of this, you may think it is not entirely illogical that if God exists in one world, and is necessary, then he exists in all worlds. But in this proof, you cannot assume anything, because words turn out to be referring to something completely different than usual.

In this case, “possible worlds” refers to sets of statements. The proof never asserts that there is an actual world somewhere where God exists. It merely seems to say so, blinding its opponents with its glaring stupidity.

What it actually asserts is that there is a set of statements in which the statement “something is true here which is true in all other sets of statements with at least one true statement” is true.

Well, now it becomes obvious just what we have proved: the existence of truth. If “possible worlds” actually refers to statement sets with at least one true statement, then “necessary existence” clearly means, simply, “truth.”

After all, if truth did not exist in any “possible world”, then it would not really be a “possible world.” So, truth is necessary existence. What does this have to do with God? Well, nothing, until we definte God as necessary existence.

So, in the end, this proof proves that truth exists in every possible world. Remember, possible worlds are statement sets with at least one true statement. So every statement set that contains a true statement contains truth. What a revelation! I am finally convinced that Jesus died for my sins.

---

<div class="post-metadata">

**Author:** ![Diogenes\_the\_Cynic](https://avatars.discourse-cdn.com/v4/letter/d/e99b99/32.png) [@Diogenes\_the\_Cynic](https://boards.straightdope.com/u/Diogenes_the_Cynic)\
**Post date:** [February 6, 2003, 5:17am UTC](https://boards.straightdope.com/t/possibility-existence/152538/106 "2003-02-06T05:17:16Z")

</div>

Wow, thanks, **Nightime**. I think you really helped to put a finger on why the ontological argument bugs me so much. It has always struck me as nonsense but I couldn’t quite articulate why. It just seemed like a maddening semantic trick. Your clarification of what is meant by “possible worlds” is very helpful.

---

<div class="post-metadata">

**Author:** ![Iamthat](https://avatars.discourse-cdn.com/v4/letter/i/c6cbf5/32.png) [@Iamthat](https://boards.straightdope.com/u/Iamthat)\
**Post date:** [February 6, 2003, 6:23am UTC](https://boards.straightdope.com/t/possibility-existence/152538/107 "2003-02-06T06:23:03Z")

</div>

Thanks for the restatement \*\* Libertarian\*\* with commentary.

---

<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 6, 2003, 10:23am UTC](https://boards.straightdope.com/t/possibility-existence/152538/108 "2003-02-06T10:23:13Z")

</div>

**Lib** , if I may first briefly discuss your analogy of equilateral triangles.

There is a set of triangles which are equilateral, and a set of triangles which are not.

The definition of God as Necessary Existence _dispenses with_ the set of possible worlds in which God does not exist.

In this way the analogy is not of proving whether or not a triangle is equilateral, but _whether or not it has three sides_.

So, since _no possible world is ascribed_ to the materialist’s assertion that God does not exist, would I be justified in henceforth referring to this proof as “the nonmaterialist proof of the existence of God”?  
Secondly, having fished around in the lining of the armchair I believe I have found the week-old prawn which smelt a bit funny.

> [@](#):
>
> Not necessarily **a** being, just being…
> 
> ```
> ...Definite and indefinite articles do not exist in many languages
> 
> ```

“Being” in “Necessary Existence” is a _present participle verb_, not an _object noun_. _This_ distinction is made in every language I know of. The confusion arises only because “to be” obeys slightly different linguistic rules in English than other verbs.

_eg._ To run: Present participle verb = “running”, associated object noun = “run” (as in “going for _a_ run”)  
To sleep: Present participle verb = “sleeping”, associated object noun = “sleep” (as in “having _a_ sleep”).

To go from “being” to “_a_ being” is unjustified. Existence -\> Being only if “being” is a present participle verb, not an object noun.  
Don’t worry, I’m also slowly climbing out of the armchair. Consider this the preceding sigh of reluctance having been told it’s my turn to wash the dishes.

---

<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:** [February 6, 2003, 10:56am UTC](https://boards.straightdope.com/t/possibility-existence/152538/109 "2003-02-06T10:56:44Z")

</div>

You’re welcome, Iamthat. 🙂

* * *

Phoenix Dragon wrote:

> [@](#):
>
> Lib, your whole premise, even if we assume the rest to be ture (Debatable. VERY debatable…), only holds up if your definition is true.

It looks like you’ve confused definitions with propositions. It is propositions that have truth value.

* * *

Nightime

Actually, I rather like your overall take that God is truth. “I am the Way, the **Truth** , and the Life.” — Jesus

Of course, the argument makes no pretense at proving that Jesus actually walked the earth. Nor does it pretend in any way to connect Jesus with God. That would be a separate argument. With modal logic, it isn’t just a case of some absolute truth that manifests identically in every possible world. From Stanford’s site:

> [@](#):
>
> In modal semantics, a set W of possible worlds is introduced. A valuation then gives a truth value to each propositional variable for each of the possible worlds in W. This means that value assigned to p for world w **may differ from the value assigned to p for another world w’**.

Necessary existence is a metaworld. Note the truth clause that describes the 5 Axiom:

v(A, w)=T **iff** for every world w’ in W, v(A, w’)=T

There is no controversy over whether S5 is suitable for formulating a logic of necessity. Again, from Stanford:

> [@](#):
>
> It has been shown that S5 is sound and complete for 5-validity (hence our use of the symbol ‘5’). The 5-valid arguments are exactly the arguments provable in S5. This result suggests that **S5 is the correct way to formulate a logic of necessity**.

You are correct that modal worlds represent statements. But it is cavalier to the exteme if we way that these statements represent nothing of significance. Your post, for example, consists of statements, and yet, with those statements, you are attempting to say something about phenomenal truth.

“The cat is orange” is just a statement, yes. But a statement and what a statement represents are not the same. “A” is not the same as A.

The actual world is representable by true statements, and in fact, that is what science attempts to do with its process of falsification — namely, to discern what statements about the actual world are false.

A rock is just a rock. But when you make statements about the rock, and your statements are true, then and only then are you assigning any significance to the rock. The rock qua rock, and not the statement about the rock, is what is meangingless.

When we speak of possible worlds, yes, we are speaking of true statements. But those statements represent something that is there. Something that exists necessarily exists in actuality.

I don’t know why you felt it necessary to go so overboard with your post. A pent up frustration of some sort, I suppose. But calling the argument stupid is, well, pretty stupid.

---

<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:** [February 6, 2003, 11:23am UTC](https://boards.straightdope.com/t/possibility-existence/152538/110 "2003-02-06T11:23:45Z")

</div>

Sentient

With respect to the grammar, “being” in this case is a noun as described by American Heritage’s first definition: “The state or quality of having existence. See Synonyms at existence.”

With respect to the triangles:

> [@](#):
>
> There is a set of triangles which are equilateral, and a set of triangles which are not.

Yes, and there is existence that is necessary as well as existence that is merely possible. That is the whole topic of alethic logic.

> [@](#):
>
> The definition of God as Necessary Existence dispenses with the set of possible worlds in which God does not exist.

Well, then, the definition of equilateral triangle dispenses with the set of triangles that are not equilateral.

> [@](#):
>
> In this way the analogy is not of proving whether or not a triangle is equilateral, but whether or not it has three sides.

I don’t follow that. To prove that a triangle is equilateral, you must examine properties of the triangle and show that its three sides are of equal length, or else that its three angles are equal, or even that two of its angles are both 60 degrees. Likewise, there are various modal ontological proofs, each taking a slightly different approach. Some use Becker’s Postulate, for example, and some don’t.

> [@](#):
>
> So, since no possible world is ascribed to the materialist’s assertion that God does not exist, would I be justified in henceforth referring to this proof as “the nonmaterialist proof of the existence of God”?

I’m not sure.

The problem with not allowing the axiom \<\>G (it is possible that God exists) is that it is a substantive denial of a positive ontological proposition. To see what I mean, consider the restatement of \<\>G to ~~G. They mean the same. “Possible” and “not necessarily not”.

A man who says that he disagrees with \<\>G is saying that he agrees with ~G — which is ~(~~G), the negation of~~G. He is saying that it is necessary that God does not exist. It takes balls the size of Jupiter for a man to demand that someone prove that it is possible that God exists while refusing himself to offer proof that it is necessary that He doesn’t.

I have read considerably on this matter for quite some time, and not once _ever_ have I run across any materialist philosopher who actually demands that \<\>G be stricken as an axiom. They will certainly note that, like any other axiom, it may be brought into question. But so may the Induction Axiom upon which all of arithmetic is based.

---

<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:** [February 6, 2003, 11:41am UTC](https://boards.straightdope.com/t/possibility-existence/152538/111 "2003-02-06T11:41:27Z")

</div>

Sentient

It took me several readings of this before it dawned on me what you might have meant:

> [@](#):
>
> The definition of God as Necessary Existence dispenses with the set of possible worlds in which God does not exist.

Purely as stated, that is a contradiction. If God is defined as necessary existence **and it is proved that He actually exists as defined** (steps 9 and 10 in the proof), then there is no such thing as a possible world in which God does not exist. Necessary existence is not contingent. A world becomes possible by virtue of God’s presence in it.

---

<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 6, 2003, 11:43am UTC](https://boards.straightdope.com/t/possibility-existence/152538/112 "2003-02-06T11:43:11Z")

</div>

~(\<\>G) is equivalent to \<\>(~G) iff G=NE

My beef is with G=NE.

---

<div class="post-metadata">

**Author:** ![Phoenix\_Dragon](https://avatars.discourse-cdn.com/v4/letter/p/65b543/32.png) [@Phoenix\_Dragon](https://boards.straightdope.com/u/Phoenix_Dragon)\
**Post date:** [February 6, 2003, 12:22pm UTC](https://boards.straightdope.com/t/possibility-existence/152538/113 "2003-02-06T12:22:46Z")

</div>

> [@](#):
>
> \*Originally posted by Libertarian \*  
> \*\*Phoenix Dragon wrote:
> 
> It looks like you’ve confused definitions with propositions. It is propositions that have truth value.\*\*

That’s a dodge if I ever saw one. Definitions can’t “have truth value?” You mean, they can’t be true/false? Are you saying that we can define anything to be what we want it to be, and it has no “falseness” to it? If this is what you mean, then I’ve got to call “bull” on it.

What makes this definition any better than a definition I just make up on the spot? What’s to stop someone from “defining” god as being “A fictional being that \<whatever\>”? Basically, why is your definition the right one?

---

<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:** [February 6, 2003, 12:36pm UTC](https://boards.straightdope.com/t/possibility-existence/152538/114 "2003-02-06T12:36:30Z")

</div>

Sentient

~(\<\>G) is not equivalent to \<\>(~G) under any circumstance:

~(\<\>G) = ~(~~G) = ~G

But

\<\>(~G) = ~~(~G) = ~G

With respect to your beef about the definition, Christopher McHugh [wrote a paper](http://www.abarnett.demon.co.uk/atheism/ontol_paper.html) dealing with Michael Martin’s criticisms of Hartshornes original argument. McHugh restructured it such that Martin’s criticisms do not apply. Martin’s chief gripe was with the “coherence” of the concept of God, which is similar to your beef.

McHugh explains how the definition of God is coherent:

> [@](#):
>
> Definition (1) - A term is descriptive if and only if it characterizes the nature of something by distinguishing it from some other conceivable nature. [A descriptive term would be something like “red,” "non-red, " or some other distinguishing predicate that conveys information about the nature of something. Note that the term “exists” is not a descriptive term because it does not add to one’s concept of the nature of something. “Exists” functions as a judgment about some description that has already been conceived and is therefore external to the description itself. A term like “consistently described” is also non-descriptive because it is a judgment about a description. Additionally, a term like “A or non-A” is non-descriptive because it applies to absolutely everything conceivable and conveys no distinguishing information at all about the nature of what is being described.]
> 
> Definition (2) - A descriptive term is positive if and only if it is understood through an act of direct conceptualization. [Terms like “fast”, “triangular,” “blue,” “hot,” etc. are all positive because the mental act involved in comprehending them is one of direct awareness.]
> 
> Definition (3) - A descriptive term is negative if and only if it is merely the denial of the applicability of some positive descriptive term. [Terms like “non-fast,” “non-triangular,” “non-blue,” “non-hot” etc. are all negative because they are simply denials of positive terms. Double negatives like “not non-blue” will be considered to be positive since they are logically equivalent to positive terms and thereby express more than the mere denial of the applicability of some positive term.]
> 
> Definition (4) - Something is contingent if and only if its existence and non-existence are both logically possible. [Something like the Statue of Liberty, which can be coherently conceived to either exist or not exist is contingent. The term “non-contingent” would apply to whatever exists by logical necessity (if anything), and to whatever cannot be conceived to exist (like square-circles).]
> 
> Definition (5) - God is that to which no positive descriptive term can be applied. [This is the traditional mystical conception of God as a being the nature of which transcends anything that can be directly conceived. Alan Watts writes: “Negative terms are used of the ultimate Reality simply because it has none of the dimensions of the individual and finite realm, as one might say of colour that it is neither long nor short, high nor low, round nor square, rough nor smooth.”
> 
> Since no positively conceived descriptive term can be applied to God, “He” must be considered to be non-contingent, non-finite, non-spatial, non-temporal, not dependent on anything else, etc.

You might also be interested in the case of Trent Dougherty. He is (or was) a [grad student](http://www.missouri.edu/~philwww/people/students.html) at the University of Missouri. Here is his brief bio from the site:

> [@](#):
>
> Trent’s areas of specialty are Epistemology, Philosophy of Religion, and the Metaphysics of Modality. He is published in all three areas. His areas of competence are General Metaphysics, Philosophy of Science, and Philosophy of Mind. He also has a keen interest in the History of Philosophy, especially the Ancient and Medieval periods. His favorite activities are rock and ice climbing, snowshoeing, backcountry skiing, mountain biking, and, above all, hanging out with his wife Sarah and two cute little girls: Fiona (3 1/2) and Chesney (1 1/2).

He was an atheist who was convinced by the modal ontological argument that God exists. He developed his own five-step (!) proof, which you can examine [here](http://www.abarnett.demon.co.uk/atheism/ontol.html).

He writes:

> [@](#):
>
> Since all efforts to show that the concept of God is contradictory have failed heretofore I conclude, somewhat reluctantly, that God exists.

Regarding those who think that the argument is some sort of trick, he writes:

> [@](#):
>
> Now I realize that to the average person, this seems like a trick, but the average person is not particularly accustomed to following logical arguments at all, much less highly specialized forms of logical calculi developed by professional philosophers. Most professors at the University level don’t even know modal logic and many have never studied it and some have never heard of it. What do those who know it, but don’t believe in God say? They say that the concept of God is incoherent. I have not yet seen an even slightly plausible argument to that effect. Until I do, the OA will be cogent to me. I might add that I am a convert on this argument. I argued for years that the ontological argument was flawed until someone showed me the modal version. I have always followed Reason wherever it lead and, as usual, it lead to God.

---

<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:** [February 6, 2003, 12:40pm UTC](https://boards.straightdope.com/t/possibility-existence/152538/115 "2003-02-06T12:40:38Z")

</div>

> [@](#):
>
> \*Originally posted by Phoenix Dragon \*  
> \*\*That’s a dodge if I ever saw one. Definitions can’t “have truth value?” You mean, they can’t be true/false? Are you saying that we can define anything to be what we want it to be, and it has no “falseness” to it? If this is what you mean, then I’ve got to call “bull” on it.
> 
> What makes this definition any better than a definition I just make up on the spot? What’s to stop someone from “defining” god as being “A fictional being that \<whatever\>”? Basically, why is your definition the right one? \*\*

I don’t appreciate directly answering questions and getting the absurd response that I am dodging. If you think I am such a ding-bat, it would behoove you not to engage me in a discussion.

It isn’t a matter of right or wrong. That’s why “love” has fifteen definitions, and “force” has a dozen or so, and “run” has more than thirty. Please see the pertinent section of my post to Sentient just above as to why necessary existence is a reasonable definition for God.

---

<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 6, 2003, 1:03pm UTC](https://boards.straightdope.com/t/possibility-existence/152538/116 "2003-02-06T13:03:04Z")

</div>

Thanks **Lib**. Feel free to quote my glowing tribute to your guidance at any appropriate juncture.

I have admitted it in the past, and I admit it again: _Materialism is a faith_. I have no problem with you using this stuff to ridicule my faith, indeed this barely registers as an itch compared to the full-blown echzema of quantum physics and its relationship with a conscious observer.

I do not assert ~\<\>G. That would be close-minded in the extreme.  
If you asserted that the probability of my materialistic viewpoint being true is zero, I would accuse you of the same thing.

I assert ~G.

So sue me.

---

<div class="post-metadata">

**Author:** ![Phoenix\_Dragon](https://avatars.discourse-cdn.com/v4/letter/p/65b543/32.png) [@Phoenix\_Dragon](https://boards.straightdope.com/u/Phoenix_Dragon)\
**Post date:** [February 6, 2003, 1:08pm UTC](https://boards.straightdope.com/t/possibility-existence/152538/117 "2003-02-06T13:08:43Z")

</div>

> [@](#):
>
> \*Originally posted by Libertarian \*  
> **I don’t appreciate directly answering questions and getting the absurd response that I am dodging. If you think I am such a ding-bat, it would behoove you not to engage me in a discussion.**

Cool off a little. I didn’t mean my post to sound hostile, but the post I was responding to did seem pretty unreasonable.

You state at one point that either someone believes it is modal-logic “possible” that god exists (IE, he exists in at least one world), or he believes god can not exist no matter what. That’s a big logical fallacy right there (Bifurcation). There are certainly more choices than that (Such as the above-mentioned “It’s possible god does _not_ exist.” Or “It’s not necessary that god exists.” Or just “It’s not known if god is possible.”)

As for the definition, it seems to break down rather rapidly here (Assuming I’m reading the right part, and you weren’t reffering to a different “description”):

> [@](#):
>
> Definition (5) - God is that to which no positive descriptive term can be applied.

Why? How do we know this? Further, this seems to be directly contrary to defining god as “the supreme being,” a possitive description.

And I don’t think a word having multiple true definitions means it can’t have _any_ false ones. For example, describing Homo Sapiens as being a “reptillian species, with quadrupedal locomotion” is quite obviously wrong.

---

<div class="post-metadata">

**Author:** ![robertliguori](https://avatars.discourse-cdn.com/v4/letter/r/46a35a/32.png) [@robertliguori](https://boards.straightdope.com/u/robertliguori)\
**Post date:** [February 6, 2003, 1:13pm UTC](https://boards.straightdope.com/t/possibility-existence/152538/118 "2003-02-06T13:13:28Z")

</div>

Lib, I’d like to thank you for your patience in going over your argument several times.  
But you still haven’t either demonstrated that God is possible, or given us any evidence about Him.

---

<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:** [February 6, 2003, 1:21pm UTC](https://boards.straightdope.com/t/possibility-existence/152538/119 "2003-02-06T13:21:29Z")

</div>

Sentient

What on earth made you think I am ridiculing you? In fact, I have only ever spoken of you in the most positive light, as an open minded person with intellectual honesty. When I present my side of a debate, I do not intend to imply that you are somehow inferior.

If you assert ~G, you’re entitled. But I’d be interested in hearing what you think God is contingent on.

---

<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:** [February 6, 2003, 1:24pm UTC](https://boards.straightdope.com/t/possibility-existence/152538/120 "2003-02-06T13:24:00Z")

</div>

> [@](#):
>
> \*Originally posted by robertliguori \*  
> \*\*Lib, I’d like to thank you for your patience in going over your argument several times.  
> But you still haven’t either demonstrated that God is possible, or given us any evidence about Him. \*\*

Evidence? This is a modal proof, not a science experiment. As to whether God is possible, I stand by this:

The problem with not allowing the axiom \<\>G (it is possible that God exists) is that it is a substantive denial of a positive ontological proposition. To see what I mean, consider the restatement of \<\>G to ~~G. They mean the same. “Possible” and “not necessarily not”.

A man who says that he disagrees with \<\>G is saying that he agrees with ~G — which is ~(~~G), the negation of~~G. He is saying that it is necessary that God does not exist. It takes balls the size of Jupiter for a man to demand that someone prove that it is possible that God exists while refusing himself to offer proof that it is necessary that He doesn’t.

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

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