According to the [[Stanford University|Stanford]] Encyclopedia of Philosophy, "Ontological arguments are arguments, for the conclusion that God exists, from premises which are supposed to derive from some source other than observation of the world — e.g., from reason alone."<ref>http://plato.stanford.edu/entries/ontological-arguments/</ref> [[Anselm of Canterbury]]'s '''ontological argument''' uses the definition of [[God]] to prove His existence. Anselm's ontological argument remained influential for centuries, and was later used by [[Descartes]]. Mathematician [[Kurt Gödel]] proposed a variation of it based on modern logic. | According to the [[Stanford University|Stanford]] Encyclopedia of Philosophy, "Ontological arguments are arguments, for the conclusion that God exists, from premises which are supposed to derive from some source other than observation of the world — e.g., from reason alone."<ref>http://plato.stanford.edu/entries/ontological-arguments/</ref> [[Anselm of Canterbury]]'s '''ontological argument''' uses the definition of [[God]] to prove His existence. Anselm's ontological argument remained influential for centuries, and was later used by [[Descartes]]. Mathematician [[Kurt Gödel]] proposed a variation of it based on modern logic. |