• The Laws of Logic Hold Universally

(Kalam)

  * [[everything that exists has a cause of its existence]]
  * [[the universe began to exist]]

• the universe has a cause of its existence
• if the universe has a cause, its cause can be called God
• If the above is true, God exists

∴ God exists

William Lane Craig

(Intelligent Design)

(Sufficient Reason)

  * [[everything that exists demands a reason]]
  * [[the universe as a whole exists]]

• the universe demands a reason for existing
• the reason for its existence is God
• If the above is true, God exists

∴ God exists

• God exists as an idea in the mind

  * [[If God exists merely as an idea in the mind, then we can imagine something that is greater than that which none greater can be imagined, God]]

• If God exists as an idea in the mind, He must exist outside the mind
• a God existing outside the mind exists in reality
• If the above is true, God exists

∴ God exists

God: a being than which none greater can be imagined (that is, the greatest possible being that can be imagined)

Anselm of Canterbury
Reasoning formulated by Himma, Kenneth Einnar (16 November 2001). “Ontological Argument”. Internet Encyclopedia of Philosophy. Chapter 4, section IV. Retrieved 2012-01-03. Ontological_argument#cite_ref-IEP_23-0 Wording borrowed from the Wikipedia editor.

[[