The Ontological Argument

This is Alvin Plantinga's version of the ontological argument - in a restated format.

I discovered it through the following video:
http://www.youtube.com/watch?v=MO-bTsMZQFQ&list=PL48F0C019551ADD08

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 in 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.