PLANTINGA'S FULL ONTOLOGICAL ARGUMENT:
- P1. It is possible that there be a being that has maximal greatness.
- P2. So there is a possible being that in some world W has maximal greatness.
- P3. A Being has maximal greatness in a given world only if it has maximal excellence in every world.
- P4. A being has maximal excellence in a given world only if it has omniscience, omnipotence, and moral perfection in that world.
- ∴ There actually exists a being that is omnipotent, omniscient, and morally perfect.