
First formulated by Anselm and refined by Alvin Plantinga, this argument reasons that if it is possible for a maximally great being to exist, then such a being exists in some possible world. A maximally great being would exist in all possible worlds, including the actual world. Therefore, God exists.
God is defined as the greatest conceivable being
Existence in reality is greater than mere concept
Modal logic supports necessary existence
If possibly necessary, then actually necessary
Anselm of Canterbury; Alvin Plantinga