Originally Posted by
Petros Agapetos
An Ontological Counter-proof for the non-existence of God
1. A being has maximal excellence in a given possible world W if and only if it is omnipotent, omniscient and wholly good in W; and
2. A being has maximal greatness if it has maximal excellence in every possible world.
3. It is possible that there isn’t a being that has maximal greatness. (Premise)
4. Therefore, possibly, it is necessarily true that an omniscient, omnipotent, and perfectly good being does not exist.
6. Therefore, it is necessarily true that an omniscient, omnipotent and perfectly good being does not exist. (axiom S5)
7. Therefore, an omniscient, omnipotent and perfectly good being does not exist.