Once again, due to the sheer ratio of posts, I need to consolidate the questions wherever possible. But I’ll make an effort to address those of you who feel you have expressed unique concerns and sentiments.
Beginning with the Scylla post following mine:
So the argument is sound as well as valid?
Obviously. Scylla (and even Jab) were gracious enough to admit that the premises are true and the inferences are valid; therefore, the argument holds. It is sound. God, as defined, exists.
I believe there was one holdout (Preguntas) who was concerned about the definition. Basically, I think his concern amounted to a protest over whether the definition actually describes God or merely assigns to Him an attribute. But that concern seems to coincide with another that is prevalent here, so I’ll address it as one:
What’s the big deal about existence existing?
The gist of most people’s indignance seems to be this: “Okay, so you’ve proved that God, as you define Him, exists. So what? All you’re saying is that existence exists, and that is decidedly unremarkable.”
And I agree that that would be about as interesting as a one account balance sheet. However, it isn’t that simple. The argument’s first inference does NOT establish the existence of God. It is an implication that holds as true only if both of its conditions hold true. The implication does not say that God exists necessarily; it says that if — IF — God exists, then He exists necessarily. G -> G is insufficient to prove the existence of G. God’s existence is not established until the conclusion.
What kind of God are you talking about?
Many are protesting that the God of the argument sounds nothing like the God of the Bible or of traditional gods generally. “Where are the thunderbolts from the sky? The miracles? The mighty Being who claims to be the Alpha and the Omega? How does ‘necessary existence’ square with traditional views of God’s nature? How have you done anything more than prove the existence of the greatest Pet Rock?”
Although I’ve already addressed that, I’ll address it in more detail. Ontology concerns itself with the nature of existence. It does not (and cannot) assign any broader metaphysical significance, though we are free to draw metaphysical implications post priori. However, those broader interpretations are constrained by the nature of the existence described.
The argument can be (and has been) interpreted to prove the existence of a greatest possible material being, and would essentially be a material god. In fact, two of the earliest proponents of the modal argument held just that: Hartshorne argued for a panentheistic god (“a god whose body is the world”), and Spinoza argued for a pantheistic god (“a god who is identical to the universe”). (See Geisler and Corduan’s Philosophy of Religion, page 149)
In accepting the soundness of the earlier forms, both philsophers understandably sought to reconcile the conclusion that they believed to be inescapable with their already established world views. There has to be a god, they reasoned, and this is the only sort of god that we can in good conscience perceive as extending from the argument. It is likely that Dougherty (previously cited) and other materialists who have the intellectual fortitude to admit to the argument’s soundness interpret its metaphysical significance in similar ways.
But those of us who believe in a theistic (as opposed to a pantheistic or panentheistic) God see a problem (naturally!) with those interpretations. Specifically, there is no evidence that the universe per se has many of the attributes that are known to be shared by one of its own elements — us. The universe doesn’t seem capable of knowledge, power, or moral judgment, for example. And while the intelligence, potency, and morality of some of its elements are suspect (even minimal), there exist or have existed known examples of incredible brilliance, awsome might, and stunning moral goodness.
If the Being that is the subject of the modal proof is to be the greatest possible existence, then His (note: consider pronomial references to be anthropologically neutral — they are a mere rhetorical convenience) existence must be greater than any other, including our own. So the panentheistic interpretation seems arbitrary, and the pantheistic interpretation seems weak.
If we are capable of having knowledge (and we are), then this Being must be capable of having the greatest knowledge (which would be all possible knowledge). If we are capable of having power (and we are), then this Being must be capable of having the greatest power (which would be all possible power). And if we are capable of discerning morality (and we are), then this Being must be capable of the greatest moral discernment (which would be all possible moral discernment).
He must have a will because we do, and His will must be the greatest will (which would be all possible will). The universe does not seem to have a will; rather, it seems to operate in accordance with describable principles. Although it is not known which witch drives which (are the laws of the universe prescribed or proscribed?) it doesn’t matter. There is no evidence that the Sun may, say, commit suicide and suddenly decide to burn out. A man is capable of deciding to end his life, but the Sun must consume its fuel in accordance with physical laws until its fuel is spent.
Thus, only by the application of arbitrary entities of restriction can the God of “necessary existence” be construed as anything less than metaphysically complete. If we have wisdom, then God is capable of all possible wisdom. If we have compassion, then God is capable of all possible compassion. And so on.
At this point, many will note, “Ah, but we are also capable of great evil and cruelty. Is God also capable of these?” Yes, certainly. If God is good, then He, like us, has made the willfull decision to be good. If He is merciful, then it is because He has decided to be merciful. If He loves us with the greatest possible love, it is because He has made that moral choice rather than the choice to hate us with the greatest possible hate.
An ability is not a compulsion. Thus, the statement “[c]onsider that if [God] is all powerful [He] may change any state, including [His] own” is true. But there is no evidence that God has done so. Even atheists, hard atheists in fact who assertively deny God’s existence, maintain that goodness and a right morality are that toward which men ought to strive. And they give compelling reasons for their position based on nothing more than their own subjective sociological and psychological analysis. It is reasonable to assume, then, that God has at least as profound an understanding of why goodness is preferable over evil, love is preferable over hate, and retaining His absoluteness and objectivity is preferable over abdicating them.
How is it reasonable to apply modal logic to the ontological argument?
Anselm defined God as “that for which no greater can be conceived,” and proceeded to argue in favor of His existence. Modal logic, in recognizing existence as modal states, is keenly adaptable to modeling the ontological argument.
Are you just being unreasonable, and are unwilling to hear the arguments against you?
Honestly, no. Although I have believed in God for many years now, I am among the nearly unanimous majority who discounts the ontological argument in every form, including Anselm’s. But presentation of the argument in a modal tableau represented a substantial change.
I have always held that the conclusion of a sound argument must be considered true. When I see such an argument, whatever I might have believed before becomes immediately irrelevant, and I change my mind. I didn’t find any of the modal arguments sound (though I knew they were valid) until I ran across Tisthammer’s rework of Hartshorne. It was then that I decided that Becker’s postulate did apply reasonably to Tisthammer’s inference. When he moved the inference to his axiom list, I was dissapointed and felt that it damaged his proof.
The newest argument, however, contains practically zero controversy. And obstinance lies in denying its soundness, not in refusing to hear protests. There is nothing to protest. And denying the conclusion of a sound argument is intellectually dishonest.
But can the argument convince anyone?
Obviously, it can. It convinced me, and it has convinced many others. It will convince whoever accepts soundness as the criterion for proof.
What does all of this mean to me in real life?
As Phil Fernandes wrote in his brilliant doctoral thesis:
"All other arguments for God’s existence argue from something in existence to the existence of God. The teleological argument argues from the design in the universe to the existence of an intelligent Designer. The moral argument argues from the existence of moral values to the existence of the absolute moral Lawgiver. The cosmological argument reasons from the existence of dependent beings to the existence of a totally independent Being. Only the ontological argument argues from the concept of God to His existence. The ontological argument alone does not begin with the facts of experience.
[…]
“Plantinga argued that the greatest possible Being would have to be a being that exists as the greatest possible Being in every possible world. Plantinga concludes that since the actual world is a possible world (it is not an impossible world), then the greatest possible being must exist in the actual world.”
In my next post, I’ll address questions and comments that did not consolidate easily.