The classic argument for the existence of God by demonstrating that the denial of the proposition "God exists," is self-contradictory; The argument that the essence of God demands his existence; The argument for the existence of God based on the aprehension and understanding of what exists.
The argument that God's existence is entailed by the definition or concept of God.
An attempt at proving the existence of God by stating that God exists because our conception of Him exists and nothing greater than God can be conceived of.
one of the three types of 'theoretical' proofs for God's existence, arguing that the necessity of God's existence can be known from the 'concept' of God alone.
A term used to refer to the type of argument for the existence of God especially associated with the scholastic theologian Anselm of Canterbury.
An ontological argument for the existence of God is an argument that God's existence can be proved a priori, that is, by intuition and reason alone. In the context of the Abrahamic religions, it was first proposed by the medieval philosopher Anselm of Canterbury in his Proslogion, and important variations have been developed by philosophers such as René Descartes, Gottfried Leibniz, Norman Malcolm, Charles Hartshorne, and Alvin Plantinga. A modal logic version of the argument was devised by mathematician Kurt Gödel.