The Ontological Argument for the Existence of God

[Delicate]

I have never seen this argument before, so I'm interested in some discussion of it. A philosopher by the name of Alvin Plantinga states it this way:

The Ontological Argument

1. It is possible that a maximally great being exists.
   
2. If it is possible that a maximally great being exists, then a maximally great being exists is some possible world.
   
3. If a maximally great being exists in some possible world, then it exists in every possible world.
   
4. If a maximally great being exists in every possible world, then it exists in the actual world.
   
5. If a maximally great being exists in the actual world, then a maximally great being exists.
   
6. Therefore, a maximally great being exists.
   

Thoughts?

That sounds like an older formulation. It's been formulated to be even stronger in a modal version called the modal ontological argument.