Changes

[[Image:Anselm.jpg|thumbnail|right|175px|[[Anselm of Canterbury]] was the originator of the ontological argument]]

[[Image:Anselm.jpg|thumbnail|right|175px|[[Anselm of Canterbury]] was the originator of the ontological argument]]

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]]. Anselm's proof is as follows:

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.

 

Anselm's proof is as follows:

:God is that for which no greater being is conceivable.

:God is that for which no greater being is conceivable.