Mr Alvin Plantinga - has he found the maximally great Ontological Argument?

When first hearing about this argument, and the way in which Plantinga approaches it, I got rather nostalgic about last year and studying AS, as this possible worlds idea that he comes up with, made all of the quantum stuff come rushing back to me. Mainly due to the spacey kind of idea it put into my head, about alternate worlds or parallel universes. But, after reading through his argument for the first time, I decided that I'd rather deal with quantum any day of the week, as at first glance it seems to be quite a confusing argument... However, since reading it through several more times, I found that Plantinga's clever alternative version, and criticism of Norman Malcolm's argument, incorporates his mathematical background well to put across his own ontological argument.

The first thing that seems to be key to understanding his argument, is by firstly grasping his concept of what the possible worlds are. To Plantinga a possible world isn't just another world somewhere else in the universe, it is another parallel world in an entirely separate universe in which a completely different chain of events unfolds every second. A world that is different for all different possibilities that could happen. So for instance, in one of the possible worlds I may have not just happened to look out the window and instead, I would have continued to write on this blog, describing a completely different chain of events, that you would now be reading as something different to this. (Messes with your head doesn't it?!) And so due to this rule of the possible worlds theory, it pretty much indicates the existence of an infinite number of worlds, as there are so many alternate things that can happen in even a second.

He then starts by stating that the greatest possible being must have maximal excellence and greatness in every possible world. This ensures he corrects what he sees to be incorrect about Malcolm's argument, as to Plantinga, Malcolm doesn't overtly state that the God he is proving to exist, has the maximal greatness within our world.

So, on to the argument itself, he starts by saying that firstly there is the possibility of a being of maximal greatness, which is of course his definition of God. And that secondly such a being would exist necessarily, not contingently. This is because contingent beings depend upon other factors for their existence and so are not maximally great. Now, moving on to his third point which is a maximally great being's existence in a possible world is either necessary or impossible, and fourthly, in addition to this a maximally great being's existence is only impossible if it is self-contradictory. These last two points imply that if there is something about the concept of a maximally great being that makes it illogical and incoherent then it is impossible. For example if we took an example like that of Descartes', which is of a mountain without a valley, which is an example of a self contradictory statement. Then we can see how it applies to Plantinga's argument and to a maximally great being, as it would not be incoherent or contradictory to say that 'a maximally great being exists in a possible world'. He then goes on to his fifth point, which states that a maximally great being's existence is not impossible in an infinite number of possible worlds. And then finally his sixth, which concludes by saying therefore, it is necessary in all possible worlds, including ours. So overall, if something is not inherently contradictory (e.g. it is possibly true), then it is necessarily true in all worlds (including the actual world in which we live).

It seems English A level may prove to be pretty useful for this... Descartes' Ontological Argument.

Firstly, something that is worth noting about Descartes, is that as a sceptic, he approached his arguments from the point of view that he is proving that God cannot be doubted. This was because he always worked towards an end goal, by starting off by doubting everything at first. Which is where his famous quote "cogito ergo sum" or "I think therefore I am" came from, as in this case he used scepticism to make a point about whether he even existed himself.
  

So what did the dubbed 'father of modern philosophy' have to say about God? Well his argument is as follows...  Firstly alternatively to Anselm's description of God as that than which nothing greater can be conceived, he says God is the supremely perfect being. So by stating this at the beginning, it already shows God to be a being, and therefore negating the need to change him from a concept or an idea into a being at a later stage in the argument. His second point is that a supremely perfect being has all the perfections that there can be. Indeed by giving God attributes, it is therefore enforcing this idea of God as a being, rather than a whishy washy concept or idea. Thirdly, Descartes says that existence is a perfection, because similarly to Anselm's argument, being in existence is better than not, therefore making it a perfection. And lastly to end his argument he says therefore God exists necessarily. Now an alternative way that he could have ended his argument which would have saved it from contradicting itself, would have been to say therefore he possesses the quality of existence. This would have ensured that he did not confuse God to exist (verb), and God to have existence, (abstract noun), and therefore not have stated him to have two differing attributes. The problem within these arguments, is that when people such as Descartes use both the verb and the abstract noun to describe God, it is just completely incoherent. For, the definition a verb is a doing word, so it would not make sense to say that God has 'exist'. Which is what he starts the argument off by saying, but by replacing the word exist with existence. So again, if he had altered the last point of his argument it would be coherent, as it would just show God to possess existence.

Despite this, another part of his argument that is clear to us, is that he sees existence as something that God has, which makes existence a predicate to God. This means that it is a quality that God possesses and affirms it as an attribute of him. He gives the example of triangles, and mountains. In these examples he says that you can think of a triangle only as a shape that has 3 interior angles that add up to 180 degrees. And a mountain can only exist if there is a valley along side it as well. However, although it is true that you can imagine these two things not actually existing within reality, it is impossible to think of God as not existing, as he is entwined with existence like a triangle is with having three angles.

It's Anselm not Anslem, and definitely not Aslan.... Anselm's Ontological Argument version 1 + 2

Fides Quarens Intellectum. Anselm was a man of faith, and wrote from a position of faith. Through this Faith Seeking Understanding he would have been writing to put across his Ontological Argument to other people of faith. And this possibly is the most important factor to remember about the argument, as he was starting from the Christian understanding of what the definition of God is. Something that Anselm sought to do with his argument was challenge the fool, who is written about in Psalms 14:1 and 53:1. In both instances it says "The fool says to himself" "there is no God".

Now the first thing to understand is the definition of God that Anselm uses for this ontological argument. For him, God is that than which nothing greater can be conceived (TTWNGCBC). So seeing as this was what Anselm's idea of God was, this also applied to what the Fools idea of God was. So in saying "there is no God" it would seem that the Fool has somewhat contradicted himself in the eyes of Anselm. Indeed as Anselm continues to explain, both existing in reality and in concept is far greater than just existing in concept alone. Which therefore follows that existence of any kind is a great attribute. And as God is that than which nothing greater can be conceived he must therefore fulfil his own definition of being the greatest by existing in both reality and in concept. So, going back to the Fool, it would seem that because he has an idea of God, he is presumably in understanding of the definition of God along with his idea. This is due to the fact that he cannot imagine something and then contest the idea without sharing the same definitions. So because he has an idea of God, by definition this God must exist, for as Anselm explains, God is that than which nothing greater can be conceived.                                                                Which means God exists!

However... Gaunilo had a different idea... For he gave an argument against Anselm's by giving the idea of replacing God with the an island of your dreams, or if you like, that than which no greater island can be conceived. And he seemed to prove Anselm's argument wrong for a while as he correctly said that just because he can imagine a perfect island does not mean that it will exist in reality. As well as this, Gaunilo also stated that "An object can hardly or never be conceived according to the word alone" as the word corresponds to an idea, and while the word may stay the same the idea behind it can be changed endlessly.

BUT! Anselm wasn't so easily proved wrong and came back with a more refined argument. In addition to that, he also reminded Gaunilo that anything that you apply to the island is going to be contingent, as they are all Earthly features, as opposed to attributes of God which are necessary, and cannot ever be understood fully by people. So in order for Anselm to refine it, he asked the question, which is greater; A God who can be though of as not existing? Or, A God who cannot be thought of as not existing? His answer was the second question, because it presents an idea of a God where it is impossible for God not to exist. Furthermore, not only is the second question a description of a greater God, but again a description of a necessary God, therefore proving Gods existence as necessary.