Analysis of Hartshorne's (1962) Proof of the Existence of God

AI Thread Summary
Hartshorne's (1962) proof of God's existence is analyzed and found valid but not sound, demonstrating that the existence of God is possible but not necessarily true. The argument relies on modal logic, specifically theorems of S5, to show that if God's existence is possible, it implies necessity. The discussion shifts to the burden of proof, where theists must demonstrate God's existence and atheists must show the impossibility of God's existence. Participants express skepticism about the relevance of such discussions, comparing belief in God to belief in mythical creatures, and question the utility of debating unprovable claims. Ultimately, the conversation highlights the philosophical complexities surrounding existence and belief, suggesting that the discourse may be more about personal conviction than objective truth.
  • #51
Chronos said:
We can argue whether it is logical to believe in God, but not the existence of God. The proposition is neither provable or unprovable.
That's what I said two pages ago. :approve: Watch out, you will be criticized by AKG for "wasting space in a philosophical thread with pointless little comments".

Evo said:
trying to justify the existence of "god". I told him I think it's pointless, and it is. No one is going to prove or disprove it.
 
Last edited:
Physics news on Phys.org
  • #52
So how does one argue that some object- any object- O possibly exists? If O does exist, O possibly exists, yes? Failing that O is known to exist, how else can one conclude that O possibly exists? Is it enough to show that O could exist without contradiction? Or must it be impossible for O to not exist? Etc.
 
  • #53
honestrosewater said:
So how does one argue that some object- any object- O possibly exists? If O does exist, O possibly exists, yes? Failing that O is known to exist, how else can one conclude that O possibly exists? Is it enough to show that O could exist without contradiction? Or must it be impossible for O to not exist? Etc.

Showing that O could exist without necessarily entailing logical contradiction would amount to showing that it's logically possible (perhaps 'metaphysically possible' too, though I'm not very clear on what the difference between logical and metaphysical possibility is supposed to be). To show that something is possible in our world (nomologically possible), we'd minimally have to show that it doesn't contradict known physical laws and principles (although this is an imperfect method, as our knowledge of physical law is imperfect-- for instance, prior to the advent of QM some existent physical phenomena would have failed this test).

If we try to show that it is impossible that O does not exist, then we're making a stronger claim-- not that it is possible that O exists, but that it is necessary that O exists.
 
  • #54
hypnagogue said:
If we try to show that it is impossible that O does not exist, then we're making a stronger claim-- not that it is possible that O exists, but that it is necessary that O exists.
Oh, right, that makes sense. Thanks.
AKG said:
I see no justification for <>G
Why not? I guess you can't show that assuming <>G leads to a contradiction (I imagine you would say so otherwise)? I'm just curious. I haven't learned modal logic yet, and I can't see where you would run into difficulties proving either <>G or <>~G (still assuming G => []G).
 
  • #55
honestrosewater

It's not a matter of proving <>G or <>~G. <>G is asserted as a premise, it is not a theorem of modal logic. The argument I've seen for <>G is that God is defined as "the greatest possible being" so, prima facie, <>G. However, just putting the word "possible" in a description doesn't mean that it refers to a possible being. Even if we describe a number X as the greatest possible integer, such an X is impossible, i.e. calling it "possible" doesn't make it possible.

Also, it can be said that there is a difference between "logical possibility" and "metaphysical possibility". Just because it is concievable that God exists, that may not mean that it is really possible. Note that the characteristic property of God given here that G -> []G leads to fact that <>G & <>~G is contradictory. Normally, we say things like aliens possibly exist, and possibly they don't, so if A = "aliens exist", then we normally have it that <>A & <>~A. Because of God's necessary existence, this conjunction would be contradictory, so whereas with aliens, we have no problem assuming <>A since we can just take it from <>A & <>~A, we don't have <>G & <>~G, so we can't just assume <>G.
Evo said:
YOU are defining god and placing YOUR definition into the formula. There truly is no single definition of "god".
It may surprise you to learn that Owen didn't make up this argument, it's a rather old, and rather famous argument. This argument was originally put forth by St. Anselm, and an integral part of this argument is the definition of God, which he gives as the one I gave. I didn't just choose that definition, it's the one that goes with the argument. I also think many people might be inclined to agree with the definition.
I never said that it was "pointless just because it talks about a god", your mistake.
You said, specifically: "I will go further and say that I think any discussion of if there is one god or one hundred or none or whose god is better is pointless." You've also said that no person will prove either way whether God exists or not. Of course, you make this strong claim but won't back it up. You have essentially said that any discussion on the existence of God is pointless. You have said that discussions of God and religion from a sociological perspective have merit, but you have said the argument is pointless because it talks about the existence of God, and you have given no reason for anyone to believe this. This is the philosophy section, you are supposed to give arguments for your positions. If, as you claim, and discussion on the ontology of God(s) is pointless, tell us why? If not, please don't post here.
Ah, so you do admit the formula is seriously flawed and therefore it would be pointless to use it in a discussion of if there is a "god" or whatever.
You claim that since it is a formula, or since it talks about God's existence, it is pointless to discuss. Nobody cares if this is what you think if you're not going to bother justifying it. I claim that this argument for God is flawed, and it's definition of God is somewhat vacuous. I claim that the argument has flaws, and I point them out, and justify why I think they are flaws. You don't even understand "the formula" (you mean argument, not formula), as far as I can tell. Perhaps people who argue in Chinese are also just engaging in pointless discussion because I don't understand Chinese.

Assuming that you don't understand the argument, you are in no position to point out flaws with the argument itself, but you might have a case in saying that the whole exercise is futile from the outset. That God, by most common definitions, is something that is unprovable, and so discussing arguments for or against God can't possibly be fruitful. You could present an argument for this, but since you don't, I have to assume you stumbled into the philosophy forum not knowing where you were, not realizing that nobody wants to hear what you have to say if you don't have an argument to support it.
Then you are wrong, but perhaps you are truly the Grand Poobah of philosophy and therefore you can decide what is or is not pointless, correct? Just because you can discuss something doesn't mean it has merit or is even worthy of being discussed.
You missed the point. You don't provide justification for your claims, and so, they're essentially pointless. Unjustified claims are, for the most part, pointless in philosophy. Since you aren't providing justifications, I don't have to be a Grand Poobah to tell you that everything you've said in this thread is pointless. Look, I don't know if this is difficult for you or what, but all you have to do is take on of the points you've made, say, that god's existence can't be either proven or disproven, and justify it. That's the point of philosophy.
You mean that this formula requires a "christian god" type in order to work? Yes, that's a major flaw. Gods throughout history do not necessarily fall into this definition. There are gods that are weak, that have very limited powers, have human vices, are killed by other gods, killed and wounded by humans.
No, when did I say that? The argument requires some definition of God, and obviously, it does not set out to prove the existence of God according to every historical definition of God that ever existed. It may be a reasonable question to ask which God's fit under Anselm's definition. Another question one could ask is if the definition can be made more specific without creating problems elsewhere in the argument, etc.
I asked you to show what merit using this formula would have in a discussion, not the formula itself, and you failed to do so. You have simply regurgitated the formula, inserted your personal opinions of what "god" is, and pointed out the formula is flawed anyway.
I don't know what you're talking about. I have no real personal opinion of what "god" is, and yes, I pointed out the formula is flawed, but I did it with justification. I don't think I've "regurgitated the formula", I've made reference to it, but it's the topic of discussion, so why wouldn't I? What do you mean by "what merit it has in a discussion?" This thread is a discussion, isn't it? The argument presented is an argument for the existence of God. If someone wants to claim that they believe in God, then in a philosophy forum, they are expected to give reasons, and this argument can be one reason. We can discuss whether this argument is a good reason. Perhaps you're familiar with the "first cause" argument for God, or the telelogical argument which says that the design of nature suggests a purpose, and thus intelligent design, or the deontological argument which suggests God is necessary since without him, there is no moral standard, etc. These are various reasons for God, and in a discussion about whether God exists, one could present anyone of these arguments, and we would discuss whether these areguments are good or not. If they are, then they give a good reason to believe in God, and if not, then they don't give a good reason. The ontological argument (the one presented in this thread) is just like another one of these reasons. It, like the other arguments, I believe is flawed, but if the topic of discussion is one (or more) of these arguments, I won't just say it is flawed, I will also say why I think it is flawed. Perhaps you can do the same thing?

Now, you've wasted a lot of space on this thread trying to justify your presence on this thread, i.e. making excuses for why it's okay to post the unjustified assertions you continually post. This is a waste of time and space. Rather than making these excuses, justify your actual claims. Figure out what your claims are, express them clearly, and justify them to the best of your ability. Sure, you're "allowed" to post your opinion on what's pointless, etc. but nobody cares about your opinions. In the philosophy section, people, I hope, would expect to see arguments. If you just want to post your opinion, use your journal or something.
 
  • #56
AKG said:
This unicorn would have to have a totally non-contingent existence. It must not be contingent, on, for example, space, so this being must exist even if there were no space. Since that doesn't make sense, any unicorn would be contingent, and thus a necessarily existing unicorn is not possible, and the argument fails, since the premise <>"necessarily existing unicorn exists" is false.

In some senses, it is not that simple. What exactly does it mean for a being to be contingent or necessary? If determinism is true, is everything necessary, or can we still speak of contingency, but just in a more relative sense? If contingency is just a relative thing, is it a meaningful term to use in relation to this argument?

I see. So it's <>G, and G -> []G, that are the critical parts.

I wonder why everyone jumped on Owen in this thread. He didn't present his argument as a proof for or against god. Everything he said was correct.
 
  • #57
AKG said:
Because of God's necessary existence, this conjunction would be contradictory, so whereas with aliens, we have no problem assuming <>A since we can just take it from <>A & <>~A, we don't have <>G & <>~G, so we can't just assume <>G.
Thanks, that's quite interesting.
 
  • #58
learningphysics said:
I see. So it's <>G, and G -> []G, that are the critical parts.
Minor point: If I understand it's "G => []G" instead of "G -> []G". (From OP: "(p => q) =df [](p -> q)") In propositional logic, "p => q" means that "p -> q" is a tautology. It seems the same is true for modal logic.
I wonder why everyone jumped on Owen in this thread. He didn't present his argument as a proof for or against god. Everything he said was correct.
Yeah, the "G" word usually has that effect. :frown:
 
  • #59
AKG said:
On topic, indeed the argument is valid for any P, but the premise G -> []G (or some variant) is not true for all G. God, being defined as the greatest conceivable/possible being, is said to thus have the greatest possible existence, namely necessary existence. Because God is said to have necessary existence, then if he exists, he exists necessarily, hence G -> []G.

It is only medieval scholastic artifact to hold that a being that exists is greater than a being that doesn't exist, or even that a being that exists necessarily is greater than a being that exists contingently. This Aristotelian heirarchy of the relative greatness of properties has no basis in what is dictated by logic.

Any ontological argument runs into another problem. If we're going to buy into the scholastic idea that we can assign relative levels of 'greatness' to objects such that object A is greater than object B and so on, then we must accept that there exists some object that is the greatest of all. I don't see any reason at this point to accept that there is only one of these objects, but let us grant that for the sake of argument. So we have one object, Z, that is greater than all other objects. In order to prove that Z exists, we must accept the further scholastic notion that an object that exists is greater than one that does not. Fine, we'll do that. At this point, it has been proven that some object Z exists that is the greatest of all objects. Now I suppose we can arbitrarily call this object "God," if we feel the need to give it a name, but what have we really demonstrated? It is clear what Anselm and Aquinas hoped to demonstrate: that the Christian God exists and that He is Z. But why? What exactly can the proven fact that Z is the greatest of all objects tell us about Z? How many different secondary properties are entailed by the property of being the greatest of all objects? Must Z be able to run the 100M dash in world record time and slam dunk from halfcourt? Must Z have 1000 arms, because if not, then an object with 999 arms would be greater? Or does each of his individual properties not have to be greater than each of another object's individual properties? Is it only that the sum total of his properties must be greater than the sum total of any other object's properties? If we recall, the Christian God was tempted to evil by the devil when incarnated in human form. Would not a being completely incapable of evil - and thus incapable of being tempted to evil - be a greater being? The Christian God is also said to be jealous and vindictive. Would not a being unemcumbered by petty emotions be a greater being?
 
  • #60
If we recall, the Christian God was tempted to evil by the devil when incarnated in human form. Would not a being completely incapable of evil - and thus incapable of being tempted to evil - be a greater being?

-actually, that was the human part

What's your take on polytheism, where each god has his/her own duties and even the ones that have top deities can have more than 1 top deity? (I mean in terms of the "greatest being" framework) Which one is more logistically correct?
 
Last edited:
  • #61
0TheSwerve0 said:
If we recall, the Christian God was tempted to evil by the devil when incarnated in human form. Would not a being completely incapable of evil - and thus incapable of being tempted to evil - be a greater being?

-actually, that was the human part

Doesn't matter. Whatever form it takes, Z remains defined as the greatest of all beings. As such, a being that could not be tempted to evil (no matter the form this being took) would be greater than one who could be tempted. Of course, this completely depends on defining the property of not being capable of evil as greater than the property of being capable of evil. How this heirarchy of the relative worths of properties is not arbitrary is beyond me. Why should a being capable of evil be any less great than a being incapable of evil? This seemed to be the scholastic view, but why?

What's your take on polytheism, where each god has his/her own duties and even the ones that have top deities can have more than 1 top deity? (I mean in terms of the "greatest being" framework) Which one is more logistically correct?

If we accept Anselm's assumption that only one being can be the greatest of all beings, then of course only monotheism is consistent. I don't see why we should accept this assumption, however. Obviously, his framework allows for every other level of greatness to have multiple occupants. Why there can't be two beings greater than all others but each other is beyond me. It seems he just defined "God" that way, as only one being that is greater than all others. An arbitrary definition, but so be it.

If we step outside of scholastic tradition for a moment, though, I think that Hume makes a pretty good argument in Dialogues Concerning Natural Religion that our universe shows signs of having many creators if we assume that it must have been created. The universe is known to be rather large and not of a uniform composition. Of course, Hume didn't have the knowledge that we do provided by modern cosmology that the size and heterogeneity of the universe can be explained by the expansion of a singularity according to a small set of basic principles that could easily have been the work of a single creator. He certainly makes a good argument, though, that any honest, objective theist in his day should have been a polytheist. The thing is, the argument he was refuting was Paley's argument from design, saying that the great complexity and heterogeneity of our universe could only be explained by appeal to a creator. Hume pointed out that it was better explained by an appeal to many creators. Presumably Paley's argument fails either way given that we have now demonstrated that the great complexity of the universe can be explained by a singularity and the laws of physics. These alone are not as awe-inspiring and prima facie in need of explanation. As Paley himself points out, no one wonders how the rock came to be.
 
Last edited:
  • #62
loseyourname said:
Doesn't matter. Whatever form it takes, Z remains defined as the greatest of all beings. As such, a being that could not be tempted to evil (no matter the form this being took) would be greater than one who could be tempted.

Ok, guess it doesn't matter then. Maybe you just don't understand how to think of Jesus as both human and divine and what consequences that would have. I thought the whole point was that he could be tempted and could overcome it, being God.
 
  • #63
loseyourname said:
If we step outside of scholastic tradition for a moment, though, I think that Hume makes a pretty good argument in Dialogues Concerning Natural Religion that our universe shows signs of having many creators if we assume that it must have been created. The universe is known to be rather large and not of a uniform composition. Of course, Hume didn't have the knowledge that we do provided by modern cosmology that the size and heterogeneity of the universe can be explained by the expansion of a singularity according to a small set of basic principles that could easily have been the work of a single creator. He certainly makes a good argument, though, that any honest, objective theist in his day should have been a polytheist. The thing is, the argument he was refuting was Paley's argument from design, saying that the great complexity and heterogeneity of our universe could only be explained by appeal to a creator. Hume pointed out that it was better explained by an appeal to many creators. Presumably Paley's argument fails either way given that we have now demonstrated that the great complexity of the universe can be explained by a singularity and the laws of physics. These alone are not as awe-inspiring and prima facie in need of explanation. As Paley himself points out, no one wonders how the rock came to be.

cool. thanks.
 
  • #64
Doesn't matter. Whatever form it takes, Z remains defined as the greatest of all beings.

you can't think of God as a mathematical equation, it simply doesn't work. but yes. i know what you are talking about, and yes its a valid argument, but i don't think it would work that way
 
  • #65
honestrosewater said:
Minor point: If I understand it's "G => []G" instead of "G -> []G". (From OP: "(p => q) =df [](p -> q)") In propositional logic, "p => q" means that "p -> q" is a tautology. It seems the same is true for modal logic.
The argument I'm familiar with is perhaps a "leaner" version which does not require a new connective "=>". You can probably find a few versions of the argument as well as lengthy discussions of it over at PhilosophyForums, search for "Modal Ontological Argument," there should be a few threads on it alone. None of the arguments given there, nor other ones I've seen elsewhere on the web say anything about "=>".
 
  • #66
loseyourname said:
It is only medieval scholastic artifact to hold that a being that exists is greater than a being that doesn't exist, or even that a being that exists necessarily is greater than a being that exists contingently. This Aristotelian heirarchy of the relative greatness of properties has no basis in what is dictated by logic.
The point wasn't that an existing being is greater than a non-existing being (the comparison would be meaningless, like saying 5 > 1/0), but that a necessary being is greater than a contingent one. Both a necessary being and contingent being may exist, but it is "greater" to be necessary, or so says Anselm.
Any ontological argument runs into another problem. If we're going to buy into the scholastic idea that we can assign relative levels of 'greatness' to objects such that object A is greater than object B and so on, then we must accept that there exists some object that is the greatest of all.
This is only true if there are finitely many objects. God is not a physical being, so clearly, we aren't limited to physical objects with respect to this argument. It can be argued that there are finitely many protons in the universe, hence finitely many objects, but, loosely speaking, whatever "substance" God would be made of may be in infinite supply, and so there need not be any greatest being, since there need not be a finite number of them. What is the greatest real number? At the same time, consider the set of all real numbers less than or equal to 12. This set has infinitely many elements and a greatest element. So being finite is a sufficient condition for a set to have a greatest element, but not necessary. However, the nature of the set of all beings (finite, infinite without bound, infinite with bound) is not something immediately obvious, so that there is a greatest actual being is debatable.
I don't see any reason at this point to accept that there is only one of these objects, but let us grant that for the sake of argument. So we have one object, Z, that is greater than all other objects. In order to prove that Z exists, we must accept the further scholastic notion that an object that exists is greater than one that does not. Fine, we'll do that. At this point, it has been proven that some object Z exists that is the greatest of all objects. Now I suppose we can arbitrarily call this object "God," if we feel the need to give it a name, but what have we really demonstrated?
You've missed the point. "God" is not the name given to the greatest actual being, but the greatest possible, or conceivable being. You may be the greatest being that actually exists, but it is possible that there could have been (although there isn't right now, things might have been different) a greater being, i.e. we can conceive of a being greater than you, sorry ;). If God exists, then it would be the greatest actual being, however, the only thing said about God in the argument is that it is the greatest possible being.
It is clear what Anselm and Aquinas hoped to demonstrate: that the Christian God exists and that He is Z. But why? What exactly can the proven fact that Z is the greatest of all objects tell us about Z? How many different secondary properties are entailed by the property of being the greatest of all objects? Must Z be able to run the 100M dash in world record time and slam dunk from halfcourt? Must Z have 1000 arms, because if not, then an object with 999 arms would be greater? Or does each of his individual properties not have to be greater than each of another object's individual properties? Is it only that the sum total of his properties must be greater than the sum total of any other object's properties? If we recall, the Christian God was tempted to evil by the devil when incarnated in human form. Would not a being completely incapable of evil - and thus incapable of being tempted to evil - be a greater being? The Christian God is also said to be jealous and vindictive. Would not a being unemcumbered by petty emotions be a greater being?
Agreed. Your questions suggest that "greatest possible being" doesn't really mean a whole lot, and if it is to mean anything, then it certainly isn't the Christian God. In fact, I doubt it really applies to anything anyone calls a God, or even, anything anyone should bother thinking about and praying to.
 
  • #67
Can You Prove the Existence of God?
(Why philosophers and atheists love this question)
By Gregory E. Ganssle, Ph.D.
Ever since Immanuel Kant wrote his Critique of Pure Reason, it has been common for thinking people to insist that it is impossible to prove the existence of God. In fact this claim has been elevated to the level of dogma in American intellectual culture. The reason I know this is considered unquestionable dogma is the reaction I get when I call it into question. When someone says "You cannot prove the existence of God," I want to ask, "How do you know? You just met me! How do you know what I can do?"
What do most people mean when they recite this claim? Most people mean that I cannot provide a philosophical argument for the existence of God which will convince all thinking people. It is impossible, so the story goes, to provide an argument which will compel assent. If my argument will not convince the most ardent atheist, they say, I have not proven God's existence. Since I cannot convince such an atheist to believe, my arguments do not count as proof in their eyes. If they do not count as proof, what good are they?
I agree that I cannot provide an argument that will convince all thinking people. But what does this tell me? Does this tell me anything about God? No. This tells me more about the nature of proof than it does about whether God exists. I cannot provide an argument which will convince everyone, without a possibility of doubt, that God exists. That is no problem. You see, I cannot provide an argument for any interesting philosophical conclusion which will be accepted by everyone without possibility of doubt.
I cannot prove beyond the possibility of doubt -- in a way that will convince all philosophers -- that the Rocky Mountains are really here as a mind-independent object. I cannot prove that the entire universe did not pop into existence five minutes ago and that all of our apparent memories are not illusions. I cannot prove that the other people you see on campus have minds. Perhaps they are very clever robots.
There is no interesting philosophical conclusion that can be proven beyond the possibility of doubt. So the fact that arguments for the existence of God do not produce mathematical certainty does not by itself weaken the case for God's existence. It simply places the question of God's existence in the same category as other questions such as that of the existence of the external, mind-independent world and the question of how we know other people have minds.
Does this mean that arguments for the existence of God are useless? Not at all. Sure, I cannot provide an argument which will convince all thinking people but this does not mean I don't have good reason to believe in God. In fact some of my reasons for believing in God may be persuasive to you. Even if you aren't persuaded to believe that God exists, my arguments may not be useless. It is reasonable to believe that the mountains are real and our memories are generally reliable and that other minds exist. It is reasonable to believe these things even though they cannot be proven. Maybe some argument for God's existence will persuade you that belief in God is reasonable.
So how can we know that God exists? Instead of looking for undoubtable conclusions, we weigh evidence and consider alternatives. Which alternative best fits the evidence?
 
  • #68
IntellectIsStrength said:
Can You Prove the Existence of God?
(Why philosophers and atheists love this question)
By Gregory E. Ganssle, Ph.D.
...
Does this mean that arguments for the existence of God are useless? Not at all. Sure, I cannot provide an argument which will convince all thinking people but this does not mean I don't have good reason to believe in God. In fact some of my reasons for believing in God may be persuasive to you. Even if you aren't persuaded to believe that God exists, my arguments may not be useless. It is reasonable to believe that the mountains are real and our memories are generally reliable and that other minds exist. It is reasonable to believe these things even though they cannot be proven. Maybe some argument for God's existence will persuade you that belief in God is reasonable.
So how can we know that God exists? Instead of looking for undoubtable conclusions, we weigh evidence and consider alternatives. Which alternative best fits the evidence?

Great post! In reality it is the statement that "God does not exist" that cannot be proved.
 
  • #69
What a shock. Shall we next examine the proposition that logic cannot prove logic is irrefutable? I'm really curious, if you substitute the word 'Logic' for 'God' in this thread, would it matter?
 
  • #70
IntellectIsStrength said:
I agree that I cannot provide an argument that will convince all thinking people. But what does this tell me? Does this tell me anything about God? No. This tells me more about the nature of proof than it does about whether God exists. ...

...So how can we know that God exists? Instead of looking for undoubtable conclusions, we weigh evidence and consider alternatives. Which alternative best fits the evidence?
I agree 100%. We cannot hope to determine on the basis of pure reason alone whether God exists or not (this is akin to the ancient Greeks trying to decide how many teeth a horse has by debate alone, without going out and counting them!).

Can anyone summarise what they consider to be the "evidence" for the existence of God, that is being referred to above, so we can weigh it up and consider the alternatives?

MF :smile:
 
  • #71
We simply cannot, will not, prove that a 'god' exists. it cannot be done, that is (if you believe in an afterlife), until we die. That is why all religions rely on faith. I believe in an 'afterlife' simply because there is nothing that proves there is not one. Some people who have out of body experiences where they die and are brought back say that they have seen a 'heaven' (or hell). others have not. that is a matter of time. i say, even if there is no God or afterlife, i like to think that there is, because how did the universe begin? we say big bang, but how did it come about? was there even a beginning? how did we get here? do we have a soul, or are we just physical beings? until these questions are answered, we will never know what lies beyond this world.

Fibonacci
 
  • #72
Owen Holden said:
Hartshorne's (1962) proof of the existence of god:

(~) = not, (v) = or, (&) = and, (->) = implies (<->) = equivalence,
[] = necessarily, <> = possibly, (=>) = strict implication,

(p => q) =df [](p -> q)

<>p =df ~[]~p.

g = god exists.


The argument is thus:

1. g => []g (premise)
2. []g v ~[]g
3. ~[]g => []~[]g
4. []g v []~[]g
5. []~[]g => []~g
6. []g v []~g
7. <>g (premise)
8. []g
9. []g => g
10. g


This argument is valid but not sound.
It proves that: ((g => []g) & <>g) -> g, is necessarily true, ..nothing else.

The argument is true for any proposition p.

1. g => []g
7. <>g
:.
10. g


A. (g => []g) <-> [](g -> []g)
B. [](g -> []g) <-> (<>g -> []g),

C. (g => []g) <-> (<>g -> []g)

Note: A, B, C, are theorems of modal logic (S5).

Because of C, the argument becomes:

1. <>g -> []g
7. <>g
:.8. []g

8. []g
9. []g -> g
:.10. g


If we substitute ~g for g, we get the atheists' side of it.

1a. <>~g -> []~g
7a. <>~g
:. 8a. []~g

8a. []~g
9a. []~g -> ~g
:.
10a. ~g.


This argument has two other equivalent variations.

1. [](g -> []g) & <>g .-> g
2. [](<>g -> g) & <>g .-> g
3. (<>g -> []g) & <>g .-> g

Once we realize that: [](p -> []p) <-> (<>p -> []p),
and [](<>p -> p) <-> (<>p -> []p), we can see that each
argument is equivalent to 3.

Hartshorne was wrong to assert that this argument proves that g (god exists) is true.


It seems that Theists need only show that 'God does exists' is possible
in order to prove that it is necessary or that it is true.
And, that Atheists need only to show that 'God does not exists' is possible
in order to prove that it is necessary or that it is true.

Note: <>(god exists) & <>(god does not exist), is contradictory.

What do you think?

Owen

In ternary logic, or fuzzier logics, the conjunction of a statement and its negation is not neccesarily false.

Evo, there is a point. Just as a special case, consider the claim that God created the universe. This is a crossover into physics when it comes to the creation of the universe (if the universe was created). That distinguishes God from faeries and unicorns because if those exist or not, it makes a lot less of a difference.
 
  • #73
And who created god then?
 
  • #74
I also believe that all these arguments are pointless.

Even though I am not a really exprienced person, and I also believe in God, I do not believe that anyone will ever be able to prove that god exists or it does not exists. (Maybe ecxept unusuall Human beings). How can we prove something that is beoned our knoledge?! I do respect the oppinion of people that do not believe in God. That is humanity after all. other wise we would not have been any diffrent from animals.


Also anyone watched Crossing Over? (the show where some guy talks to goust (Souls))?

If so do you believe it is true? How can some one ever prove that goust exist using Mahematics? nothing is ever usable for all! That includes Maths, You simply cannot use maths to prove the existence of life.!
 
  • #75
Ahh! one more thing before I finish.

The scientists of our age are probably try too hard to come with a brake through in an invention. Why do they create thiories to cover their existing problems? Like tring to figure out something about the "String Theory" and creating antigravitons to comunicate with creatures from other universes! What are the chanses that the creatures from other universes will response to it?

I am not saying that Scientists are wasting their time because everything starts with theories, all I am saying is instead of trying to make theories for everything and making the world full of thiories they maybe should try and give proves to their existing thiories!
 
  • #76
cronxeh said:
And who created god then?

We did! "I am" is proof of God.

A better question; what came before God?

I have been playing with a simple mathematical equation concerning God.

(2=1) or (1+1=1)

1= one thing or true one
2= illusion of 1+1 or one thing + one thing
one thing = one thing

If, one thing + one thing, is still one thing, then two of one thing is (=) still one thing or any number of one thing is (=) still one thing.

Think of the Holy Trinity as a example of this theorem.

The illusion is that one thing added to one thing is now another thing. We hold up one thing and add "another" thing calling it two. Which is true, when each thing is different, which creates diautonomy. However, when we add the true one to itself, then we still have the true one.

I know some may say, 1+0 = 1 is a better model. Even propose, Zero is God. I just think a triad of One is a more interesting way to look at it.

I am not mathematically incline, show me my false logic.

I propose our true nature is one, that any other construct is an illusion.
 
  • #77
Another proof for the existence of the Ultimate power of the Universe might be realized using the symbolic language of, the "experience" approach. I will of course conceed that there is a time for the proof by faith approach. But there will come a time when one doesn't need faith when experience will do. Something like the difference between a hypothesis and a law, if I'm correct. Laying that aside, the proof of experience suggest that we have senses on many levels, therefore there must be something necessasarily for the senses to sense. Some it could be argued, have the ability to sense God. Others not so well. The argument therefore really stems in one trying to explain and or prove to the other what he is or is not sensing. There, in this view is no question that something exist. What that something is though seems to me more of a literary problem than anything else. Please comment>...MEDIUM...>
 
  • #78
medium said:
Another proof for the existence of the Ultimate power of the Universe might be realized using the symbolic language of, the "experience" approach. I will of course conceed that there is a time for the proof by faith approach. But there will come a time when one doesn't need faith when experience will do. Something like the difference between a hypothesis and a law, if I'm correct. Laying that aside, the proof of experience suggest that we have senses on many levels, therefore there must be something necessasarily for the senses to sense. Some it could be argued, have the ability to sense God. Others not so well. The argument therefore really stems in one trying to explain and or prove to the other what he is or is not sensing. There, in this view is no question that something exist. What that something is though seems to me more of a literary problem than anything else. Please comment>...MEDIUM...>
Hmmmmm. And I have a well developed sense of BS... I guess that means that BS necessarily exists :smile:

MF

:smile:
 
  • #79
moving finger said:
Hmmmmm. And I have a well developed sense of BS... I guess that means that BS necessarily exists :smile:

MF

:smile:

There's something to what he's saying. There's no denying that people have religious experiences. They're well documented and there even seems to be a genetic predisposition to them. The question then is what does this mean? What is behind the experience? Is it simply a refined case of temporal lobe epilepsy resulting in feelings of profundity and connectedness, or is there really something external that is being sensed?
 
  • #80
God must exist or else all we do is worth less for all will become pure enthropy in the end, if God exist in the way He says He does, then he is perfect and can change all enthropy into order without creating enthropy.

Can i prove to you He exist, no.
I accept the fact.

If one person was to think of every possiblibilty then one must be right.

Right now ask yourself, is what you do wrothless or for a greater cause
 
  • #81
loseyourname said:
There's something to what he's saying. There's no denying that people have religious experiences. They're well documented and there even seems to be a genetic predisposition to them. The question then is what does this mean? What is behind the experience?
The question is a valid one (ie is my personal religious experience directly caused by some outside agency?), but the conclusion that "if I can sense something then that something must be real" is not. That is the point I was trying to make.

In the absence of scientifically verifiable evidence one must take a leap of faith, and that is not something that can be usefully debated here.

MF
:smile:
 
  • #82
lawtonfogle said:
God must exist or else all we do is worth less for all will become pure enthropy in the end
This is exactly the kind of "logic" that I was referring to in my previous post.
This is simply a statement of faith or belief, not a logical or rational argument.

MF
:smile:
 
  • #83
moving finger said:
This is exactly the kind of "logic" that I was referring to in my previous post.
This is simply a statement of faith or belief, not a logical or rational argument.

MF
:smile:

ok, where does this logic fail, what have i not read that says the enthropy of the universe is decreases

even if we all end up in a sungularity, and another BB happens, then all we have done will again be worthless. For everything that happened before the BB (if there was one) does not change what happens after. the sigularity, if it does decrease enthropy, must undo all we or anyone/thing has done to decrease enthropy, for in all my knowledge, no matter what we do, it causes enthropy
 
  • #84
lawtonfogle said:
ok, where does this logic fail, what have i not read that says the enthropy of the universe is decreases

even if we all end up in a sungularity, and another BB happens, then all we have done will again be worthless. For everything that happened before the BB (if there was one) does not change what happens after. the sigularity, if it does decrease enthropy, must undo all we or anyone/thing has done to decrease enthropy, for in all my knowledge, no matter what we do, it causes enthropy
The logic does not "fail", but your argument is on a basis of faith and belief (ie the belief that there must be some kind of "teleological purpose" to human existence) rather than one of science.

what would it take for your existence to be "worth" something in your eyes?

and why would it necessarily make any difference anyway?

MF
:smile:
 
  • #85
what i am saying and that you agree is that in the end of the universe, what we do will not affect the end of the universel. If there is no God, then why do we live for the better of society and eventually the universe. If there is no God, then why do not we do what we want to. Why obey laws.

In the end, all matter would have gone into to black holes and come out as energy, or will have hit the 'event horizon' of the universe and turn into to energy.

This energy will then become heat ovet time, because heat is the most 'enthropic' of the energies.

This heat will then spread out over an infinite space, becoming infinitily small amounts
1/(10^100)^(10^100) ( goggle plex) above absolute zero.

or all space will go through the 'big crunch' and becom a singlarity, which in anything before the singularity will not affact the singlarity.

So in the end, all we do will not affect how the universe ends, unless their is a God.
 
  • #86
Your argument is basically that 1) life having "purpose" (whatever that may mean) is equivalent to God existing, and 2) life has purpose, therefore God exists. (1) and (2) aren't necessarily true, so you either blindly accept them or find justifications for believing them.
 
  • #87
lawtonfogle said:
what i am saying and that you agree is that in the end of the universe, what we do will not affect the end of the universel. If there is no God, then why do we live for the better of society and eventually the universe. If there is no God, then why do not we do what we want to. Why obey laws.
Have you ever considered the possibility that most of us DO do "what we want to do", and obeying laws is part of "what we want to do"? I suggest that most of us wish to live in a stable, safe and prosperous society which rewards hard work and honesty and punishes extreme anti-social behaviour - and that is one of the reasons we have laws. Our behaviour (at least for the rational free-thinking beings amongst us) also has nothing to do with God (whatever that might be).

lawtonfogle said:
In the end, all matter would have gone into to black holes and come out as energy, or will have hit the 'event horizon' of the universe and turn into to energy.
Yes, but I suggest that this is irrelevant to my behaviour. I do what I do not because of any possible final teleological purpose, but because of immediate concerns about my home, family, friends. I would be interested to know if anyone's behaviour is modified by the fact that we might all end up in a black hole at some very distant future date?

lawtonfogle said:
This energy will then become heat ovet time, because heat is the most 'enthropic' of the energies.

This heat will then spread out over an infinite space, becoming infinitily small amounts
1/(10^100)^(10^100) ( goggle plex) above absolute zero.

or all space will go through the 'big crunch' and becom a singlarity, which in anything before the singularity will not affact the singlarity.

So in the end, all we do will not affect how the universe ends, unless their is a God.
As I said, my behaviour is not determined in any way by how I think the universe will or will not end. And I doubt that anyone's behaviour is determined by these things.

And as for God... who is that again?
MF
:smile:
 
  • #88
The real question is... why do we say these things do not exisit... is it becouse we are afriad of wat really exists
 
  • #89
bayan said:
Ahh! one more thing before I finish.

The scientists of our age are probably try too hard to come with a brake through in an invention. Why do they create thiories to cover their existing problems? Like tring to figure out something about the "String Theory" and creating antigravitons to comunicate with creatures from other universes! What are the chanses that the creatures from other universes will response to it?

I am not saying that Scientists are wasting their time because everything starts with theories, all I am saying is instead of trying to make theories for everything and making the world full of thiories they maybe should try and give proves to their existing thiories!

Part of the problem is that many of today's scientists fail to understand the limitations of science if science is to be something other than just another religion/philosophy. For science to have special meaning scientific concepts need to be those concepts which can be verified through repeated experiments and observations.

Verification must be repeatable to insure that initial verification wasn't the result of some factor that wasn't noticed at the time of the original experiment. For example, the controversial subject of cold fusion has had mixed experimental results. This could indicate the results that some obtained occurred for reasons other than cold fusion, for example, perhaps cosmic rays or other undetected radiation in some places but not others caused heating.

The traditional academic discipline of metaphysics has become merged with the science of physics with the word "metaphysics" iteself being used to describe so-called "psychic" phenomena. Metaphysics originally dealt with the basic nature of reality that might not be detectable with scientific instruments. "String theory" is really metaphysics. So is the question of whether light is a wave or a particle or perhaps something else entirely. Empirical science is only concerned about whether the behavior of light can be accurately predicted.

Empirical science theories can be proved. Theories about metaphysics(including the existence of godlike beings) cannot be. Theories about the distant past such as the origin of the universe or biological life on Earth also fall into the category of theories that cannot be proved. Although empirical science might suggest what could have happened but not prove what did happen. Physicists for many years were convinced that fiery gases dominated the initial universe. Recent experiments colliding gold nuclei have raised doubts about that theory.

http://www.space.com/scienceastronomy/ap_050419_early_universe.html
 
Last edited by a moderator:
  • #90
Dark said:
The real question is... why do we say these things do not exisit... is it becouse we are afriad of wat really exists

It could be. Certainly the idea of some being more powerful than humans can be a frightening concept, particularly if such a being were to threat humans the way humans treat "dumb animals".
 
  • #91
reasonmclucus said:
It could be. Certainly the idea of some being more powerful than humans can be a frightening concept
on the other hand, to some humans it seems that the "non-existence" of a being more powerful than humans is a frightening concept.

MF
:smile:
 
  • #92
reasonmclucus said:
...Empirical science theories can be proved. ...
"can be confirmed." (and never clearly disconfirmed/ violated.) would be better than "proven." As I agree with all else you said, I bet you agree with this suggest. (Poppers "falsification concept".)
 
  • #93
Billy T said:
"can be confirmed." (and never clearly disconfirmed/ violated.) would be better than "proven." As I agree with all else you said, I bet you agree with this suggest. (Poppers "falsification concept".)
"Confirmed" would be a better word.
 
  • #94
Well, hoping not hi-jacking the thread...

I have a couple of proofs about the existense of the Universe-Creater aka God. However, before i start goin 'long way' on them, i want to see if people here agree whether infinity does exist or not. [according to mathematicin, it does not exist in reality. However, i will respect other opinions, and i might go with other alternative proofs if the ones i had that depend on infinity won't be acceptable]

Thats my penny before giving my two pennys :smile:
 
  • #95
Moses said:
Well, hoping not hi-jacking the thread...

I have a couple of proofs about the existense of the Universe-Creater aka God. However, before i start goin 'long way' on them, i want to see if people here agree whether infinity does exist or not. [according to mathematicin, it does not exist in reality. However, i will respect other opinions, and i might go with other alternative proofs if the ones i had that depend on infinity won't be acceptable]

Thats my penny before giving my two pennys :smile:
Infinity is a mathematical construct which does not exist in space/time reality.

To prove there is a god, you have to state the hypothesis in a negative form: There is a god because no evidence exists to the contrary. (Like, all crows are black because there is no evidence to the contrary. So if you find one non-black crow, the theory is defenseless.) Since everything is explainable without god, then your theory can't be proven.

Or, you could state the opposite theory: God does not exist because there is no evidence. If there is emperical evidence (intersubjectively verifyable), then there must be a god. The trick is to find evidence that everyone will accept as true, not just hearsay or an opinion.

Good luck :zzz:
 
Last edited:
  • #96
First off let me say before I get flamed I am no scholar so now that's out of the way I can speak as freely without sounding like an idiot becuase of my upfront admittance (I have said it first).

please don't mind my rambling on I do that a lot.<--I used to do drugs a lot and I swear I seen god himself appear to me on a lampshade and the holy spirit was above him and his son jesus was on the wall next to him. (right about now I am expecting that pretty much everyone is thinking that this guy is just nuts and you maybe right, but I will never forget that night.)

I am not saying that there is a god but I am also not saying that there isn't.
weird things have happened to me and they were not always of drugs some were before I even started drugs. I never started getting high and drinking until I was 18. I've had a nun pick me out of a crowd of people and only me that I needed to come to church that night.
EDITED:too crazy to say

I got myself so freaked out at times that I am no longer smoking drugs, but the damage may have already been done.

I should have named myself confused rather than pretender.

How do we know that the bible was nothing more than a play?
just asking

what came first the term good and evil or god and devil? <--Doesn't god and good look an awful lot alike? and evil and devil? was the god and devil term made from good and evil? I know I can get answers here it seems that everyone here speaks as though they have the mind of a genius.


(I thought of this when I used to do drugs)<-glad I quit
a lot of things have popped up in my head over the years such as santa claus. lol
a little thing they say about santa which was what I was told as a child was there was a guy named saint nick who actually went house to house and gave a gift anonymously,is that true I think so. The christmas that we see was created by the commercial industry so that more money can be made for the rich.
SANTA take the middle letter and move it to the end you have SATAN
Santa has little helpers and I believe they say Satan does
Santa wears a red suit and they say Satan is red
we promise that if our kids are good they will get gifts from santa.
In the bible it says thou shalt not have any other gods before me and yet we are pretty much making our kids pretty much worship him as if he were a god.

Confused about everything.
so if you ask me is there a god? I say yes and he is in everyone. he = it + god = good
and the kingdom of heaven is your body. also don't forget that there is an evil in everyone too, your mind is the universe to your heaven.
 
Last edited:
  • #97
God exists in people’s imagination and reality is a relative term. heheheh
 
  • #98
LindaGarrette said:
To prove there is a god, you have to state the hypothesis in a negative form: There is a god because no evidence exists to the contrary. (Like, all crows are black because there is no evidence to the contrary. So if you find one non-black crow, the theory is defenseless.) Since everything is explainable without god, then your theory can't be proven.

Or, you could state the opposite theory: God does not exist because there is no evidence. If there is emperical evidence (intersubjectively verifyable), then there must be a god. The trick is to find evidence that everyone will accept as true, not just hearsay or an opinion.

In court, the prosecution sometimes explains evidence by saying it is "consistent with" the accused having committed the crime. That doesn't mean that the evidence couldn't also be consistent with some other hypothesis.

If the universe had always existed that would be consistent with there being no god. Having the universe begin with a supernatural event such as the explosion of a Black Hole would be consistent with the existence of the God of Abraham particularly considering that this explanation was first made in a work attributed to the biblical patriarch Enoch(Secrets of Enoch chapter 25). Enoch describes an invisible object with a fiery light in its "belly" which would be a description of a black hole.

http://reluctant-messenger.com/2enoch01-68.htm

The existence of complex biological life on Earth is portrayed as being consistent with the presence of some Intelligence. However, this Intelligence could be an ET type being rather than a god.

The theory of evolution is sometimes suggested as being consistent with no god, but would actually more consistent with the idea that God created life. The use of slow gradual changes to produce something more complex is the way humans use to produce more complex technology, literary works or computer programs and thus is a method a long lived Intelligence might have used to produce biological life on earth. the probability of this occurring without intervention of an Intelligence would be too low to be possible.

Note: the above explanation of biological life may not be the only possible one. Others might exist which could plausably occur without the intervention of an Intelligence.
 
  • #99
hmm

i think that we cannot prove the existence of god for this reason. Science can give us a logical explanation for our questions. religion was started to explain what science could not therefore when science can explain it then religion needs to bck off
 
  • #100
How do we know that science is right?
 
Back
Top