Ontological argument

{{Short description|Philosophical argument to prove the existence of God}}
{{Good article}}
{{Philosophy of religion sidebar |God}}

An '''ontological argument''' is a [[Philosophy|philosophical]] [[argument]], made from an [[ontology|ontological]] basis, that is advanced in support of the [[existence of God]]. Such arguments tend to refer to the state of [[being]] or [[Existence|existing]]. More specifically, ontological arguments are commonly conceived ''[[A priori and a posteriori|a priori]]'' in regard to the organization of the universe, whereby, if such organizational structure is true, [[God]] must [[existence|exist]].

The first ontological argument in [[Western Christianity|Western Christian]] tradition<ref group="lower-roman">Szatkowski, Miroslaw, ed. 2012. ''Ontological Proofs Today''. Ontos Verlag. "There are three main periods in the history of ontological arguments. The first was in 11th century, when St. Anselm of Canterbury came up with the first ontological argument" (p. 22).</ref> was proposed by [[Anselm of Canterbury|Saint Anselm of Canterbury]] in his 1078 work, ''[[Proslogion]]'' ({{Lang-la|Proslogium|lit=Discourse [on the Existence of God]}}), in which he defines God as "a being than which no greater can be conceived," and argues that such a being must exist in the mind, even in that of the person who denies the existence of God.<ref name=":0">{{Citation |last1=Oppy |first1=Graham |title=Ontological Arguments |date=2023 |url=https://plato.stanford.edu/archives/fall2023/entries/ontological-arguments/ |encyclopedia=The Stanford Encyclopedia of Philosophy |editor-last=Zalta |editor-first=Edward N. |access-date=2023-11-17 |edition=Fall 2023 |publisher=Metaphysics Research Lab, Stanford University |last2=Rasmussen |first2=Josh |last3=Schmid |first3=Joseph |editor2-last=Nodelman |editor2-first=Uri}}</ref> From this, he suggests that if the greatest possible being exists in the mind, it must also exist in reality, because if it existed only in the mind, then an even greater being must be possible—one who exists both in mind and in reality. Therefore, this greatest possible being must exist in reality. Similarly, in the East, [[Avicenna|Avicenna's]] [[Proof of the Truthful]] argued, albeit for very different reasons, that there must be a "necessary existent".<ref>Adamson, Peter (2013-07-04). "From the necessary existent to God". In Adamson, Peter (ed.). Interpreting Avicenna: Critical Essays. Cambridge University Press. ISBN 978-0-521-19073-2.</ref>

Seventeenth-century French philosopher [[René Descartes]] employed a similar argument to Anselm's. Descartes published several variations of his argument, each of which center on the idea that God's existence is immediately [[inference|inferable]] from a "clear and distinct" idea of a supremely perfect being. In the early 18th century, [[Gottfried Leibniz]] augmented Descartes' ideas in an attempt to prove that a "supremely perfect" being is a coherent concept. A more recent ontological argument came from [[Kurt Gödel]], who proposed a [[Formal logic|formal argument]] for God's existence. [[Norman Malcolm]] also revived the ontological argument in 1960 when he located a second, stronger ontological argument in Anselm's work; [[Alvin Plantinga]] challenged this argument and proposed an alternative, based on [[modal logic]]. Attempts have also been made to validate Anselm's proof using an [[automated theorem prover]]. Other arguments have been categorised as ontological, including those made by Islamic philosophers [[Mulla Sadra]] and [[Allama Tabatabai]].

Just as the ontological argument has been popular, a number of criticisms and objections have also been mounted. Its first critic was [[Gaunilo of Marmoutiers]], a contemporary of Anselm's. Gaunilo, suggesting that the ontological argument could be used to prove the existence of anything, uses the analogy of a perfect island. Such would be the first of many parodies, all of which attempted to show the [[Reductio ad absurdum|absurd consequences]] of the ontological argument. Later, [[Thomas Aquinas]] rejected the argument on the basis that humans cannot know God's nature. [[David Hume]] also offered an [[Empirical evidence|empirical]] objection, criticising its lack of [[Evidential reasoning approach|evidential reasoning]] and rejecting the idea that anything can exist ''necessarily''. [[Immanuel Kant]]'s critique was based on what he saw as the false premise that existence is a [[wikt:predicate|predicate]], arguing that "existing" adds nothing (including perfection) to the essence of a being. Thus, a "supremely perfect" being can be conceived not to exist. Finally, philosophers such as [[C. D. Broad]] dismissed the coherence of a maximally great being, proposing that some attributes of greatness are incompatible with others, rendering "maximally great being" incoherent.

Contemporary defenders of the ontological argument include [[Alvin Plantinga]], [[Yujin Nagasawa]], and [[Robert Maydole]].

==Classification==
The traditional definition of an ontological argument was given by [[Immanuel Kant]].<ref name="Oppy2007">{{harvnb|Oppy|2007|pp=[https://books.google.com/books?id=qg0spmMuC98C&pg=PA1 1–2]}}.</ref> He contrasted the ontological argument (literally any argument "concerned with being")<ref name="Smart1969">{{cite book|author=Smart|first=Ninian|url=https://books.google.com/books?id=yuQnAAAAYAAJ|title=Philosophers and religious truth|publisher=S.C.M. Press|year=1969|page=76|isbn=9780334012580|access-date=2012-01-04}}</ref> with the [[cosmological argument|cosmological]] and physio-theoretical arguments.<ref name="Kenny2001">{{cite book |author=Kenny |first=Anthony |url=https://books.google.com/books?id=bTymsjJfKqAC&pg=PA187 |title=The Oxford illustrated history of Western philosophy |date=2001 |publisher=[[Oxford University Press]] |isbn=978-0-19-285440-7 |location=Oxford, England |pages=187– |language=en-uk |access-date=2012-01-04}}</ref> According to the Kantian view, ontological arguments are those founded through ''[[A priori and a posteriori|a priori]]'' reasoning.<ref name="Oppy2007" />

[[Graham Oppy]], who elsewhere expressed that he "see[s] no urgent reason" to depart from the traditional definition,<ref name="Oppy2007" /> defined ontological arguments as those which begin with "nothing but analytic, a priori and necessary premises" and conclude that God exists. Oppy admits, however, that not all of the "traditional characteristics" of an ontological argument (i.e. analyticity, necessity, and a priority) are found in all ontological arguments<ref name=":0" /> and, in his 2007 work ''Ontological Arguments and Belief in God'', suggested that a better definition of an ontological argument would employ only considerations "entirely internal to the [[Theism|theistic]] worldview."<ref name="Oppy2007" />

Oppy subclassified ontological arguments, based on the qualities of their premises, using the following qualities:<ref name=":0" /><ref name="Oppy2007" />

* '''definitional''': arguments that invoke definitions.
* '''conceptual''' (or '''hyperintensional'''): arguments that invoke "the possession of certain kinds of ideas or concepts."
* '''modal''': arguments that consider possibilities.
* '''[[Meinongian argument|meinongian]]''': arguments that assert "a distinction between different categories of existence."
* '''experiential''': arguments that employ the idea of God existing solely to those who have had experience of him.
* [[Mereology|'''mereological''']]: arguments that "draw on…the theory of the whole-part relation."<ref>{{cite book|last=Oppy|first=Graham|title=Arguing About Gods|publisher=Cambridge University Press|year=2006|isbn=978-0-521-86386-5|page=59|author-link=Graham Oppy}}</ref>
* '''higher-order''': arguments that observe "that any collection of properties, that (a) does not include all properties and (b) is closed under entailment, is possibly jointly instantiated."
* [[Hegelianism|'''Hegelian''']]: the arguments of [[Georg Wilhelm Friedrich Hegel|Hegel]].

[[William Lane Craig]] criticised Oppy's study as too vague for useful classification. Craig argues that an argument can be classified as ontological if it attempts to deduce the existence of God, along with other necessary truths, from his definition. He suggests that proponents of ontological arguments would claim that, if one fully understood the concept of God, one must accept his existence.<ref name="Craig2004">{{cite book | title=To everyone an answer: a case for the Christian worldview : essays in honor of Norman L. Geisler | publisher=InterVarsity Press | author=Craig, William Lane | year=2004 |page=124 | isbn=978-0-8308-2735-0}}</ref>

[[William L. Rowe]] defines ontological arguments as those which start from the definition of God and, using only ''a priori'' principles, conclude with God's existence.<ref>{{cite book |author=Rowe |first=William L. |title=William L. Rowe on Philosophy of Religion: Selected Writings |publisher=Ashgate Publishing |year=2007 |isbn=978-0-7546-5558-9 |page=353}}</ref>

==Development==
Although a version of the ontological argument appears explicitly in the writings of the ancient Greek philosopher [[Xenophanes]] and variations appear in writings by [[Parmenides]], [[Plato]], and the [[Neoplatonists]],<ref>{{Cite book |title=Rethinking the ontological argument: a neoclassical theistic response |author=Dombrowski, Daniel A. |page=7 |publisher=Cambridge University Press |year=2005 |isbn=978-0-521-86369-8}}</ref> the mainstream view is that the ontological argument was first clearly stated and developed by [[Anselm of Canterbury]].<ref name=":0" /><ref>{{Cite book |title=Christian Theology: An Introduction |last=McGrath |first=Alister |publisher=John Wiley and Sons |year=2011 |isbn=978-1-4443-9770-3 |page=34}}</ref><ref>{{Cite book |title=The Oxford handbook of philosophy of religion |author=Wainwright, William J. |page=80 |publisher=Oxford University Press |year=2005 |isbn=978-0-19-513809-2}}</ref> Some scholars argue that Islamic philosopher [[Avicenna]] (Ibn Sina) developed a [[Proof of the Truthful|special kind of ontological argument]] before Anselm,<ref>Johnson, Steve A. 1984. "Ibn Sina's Fourth Ontological Argument for God's Existence." ''The Muslim World'' 74 (3-4): 161–171.</ref><ref>Morewedge, Parviz. 1970. "IBN Sina Avicenna and Malcolm and the Ontological Argument." ''[[The Monist]]'' 54(2): 234–249. {{doi|10.5840/monist197054212}}.</ref> while others have doubted this position.<ref>{{Cite book |title=Avicenna |last=Goodman |first=Lenn Evan |page=[https://archive.org/details/avicenna00good/page/76 76] |publisher=Cornell University Press |year=2006 |isbn=978-0-8014-7254-1 |url-access=registration |url=https://archive.org/details/avicenna00good/page/76 }}</ref><ref>{{Cite book |title=Avicenna and his heritage |last1=Janssens |first1=Jules L. |last2=De Smet |first2=Daniel |page=254 |publisher=Leuven University Press |year=2002 |isbn=978-90-5867-209-4}}</ref><ref>{{Cite book|last=Zagzebski|first=Linda Trinkaus|title=Philosophy of religion: an historical introduction|publisher=Wiley-Blackwell|year=2007|isbn=978-1-4051-1872-9|page=48}}</ref>

[[Daniel Dombrowski]] marked three major stages in the development of the argument:<ref>{{cite book|author=Dowbrowski, Daniel|title=Rethinking the Ontological Argument: A Neoclassical Theistic Response|publisher=Cambridge University Press|year=2006|isbn=978-0-521-86369-8|page=1}}</ref>

# Anselm's initial explicit formulation,
# the 18th-century criticisms of [[Immanuel Kant|Kant]] and [[David Hume|Hume]], and 
# the identification of a second ontological argument in Anselm's ''[[Proslogion]]'' by 20th-century philosophers.

===Anselm===
[[File:Anselm-CanterburyVit.jpg|thumb|upright|[[Anselm of Canterbury]] was the first to attempt an ontological argument for God's existence.]]
{{Main|Proslogion}}
Theologian and philosopher [[Anselm of Canterbury]] (1033–1109) proposed an ontological argument in the 2nd and 3rd chapters of his ''Proslogion''.<ref>{{Cite web | author=Anselm of Canterbury | title=Anselm's Proslogium or Discourse on the Existence of God, Chapter 2 | url=http://www.anselm.edu/homepage/dbanach/anselm.htm | publisher=David Banach's homepage at [[Saint Anselm College]] | access-date=2006-12-27 | archive-url=https://web.archive.org/web/20121030145535/http://www.anselm.edu/homepage/dbanach/anselm.htm | archive-date=2012-10-30 | url-status=dead }}</ref> Anselm's argument was not presented in order to prove God's existence; rather, ''Proslogion'' was a work of meditation in which he documented how the idea of God became self-evident to him.<ref>{{cite book | title=Science & religion: an introduction | publisher=Wiley-Blackwell | author=McGrath, Alister E. | year=1999 | pages=89–91 | isbn=978-0-631-20842-6}}</ref>

In Chapter 2 of the ''Proslogion'', Anselm defines God as a "being than which no greater can be conceived."<ref name=":0" /> While Anselm has often been credited as the first to understand God as the greatest possible being, this perception was actually widely described among ancient Greek philosophers and early Christian writers.<ref>Brian Leftow, "Why Perfect Being Theology?" ''International Journal for Philosophy and Religion'' (2011).</ref><ref>Nagasawa, Yujin. ''Maximal God: A new defence of perfect being theism''. Oxford University Press, 2017, pp. 15–25.</ref> He suggests that even "the fool" can understand this concept, and this understanding itself means that the being must exist in the mind. The concept must exist either only in our mind, or in both our mind and in reality. If such a being exists only in our mind, then a greater being—that which exists in the mind and in reality—can be conceived (this argument is generally regarded as a ''[[reductio ad absurdum]]'' because the view of the fool is proven to be inconsistent). Therefore, if we can conceive of a being than which nothing greater can be conceived, it must exist in reality. Thus, a being than which nothing greater could be conceived, which Anselm defined as God, must exist in reality.<ref>{{cite web|last1=Himma|first1=Kenneth Einar|title=Ontological Argument|url=http://www.iep.utm.edu/ont-arg|website=Internet Encyclopedia of Philosophy|access-date=2011-10-12}}</ref>

Anselm's argument in Chapter 2 can be summarized as follows:<ref name="IEP" />
# It is a conceptual truth (or, so to speak, true by definition) that God is a being than which none greater can be imagined (that is, the greatest possible being that can be imagined).
# God exists as an idea in the mind.
# A being that exists as an idea in the mind and in reality is, other things being equal, greater than a being that exists only as an idea in the mind.
# Thus, if God exists only as an idea in the mind, then we can imagine something that is greater than God (that is, a greatest possible being that does exist).
# But we cannot imagine something that is greater than God (for it is a contradiction to suppose that we can imagine a being greater than the greatest possible being that can be imagined.)
# Therefore, God exists.

In Chapter 3, Anselm presents a further argument in the same vein:<ref name="IEP" />

# By definition, God is a being than which none greater can be imagined.
# A being that necessarily exists in reality is greater than a being that does not necessarily exist.
# Thus, by definition, if God exists as an idea in the mind but does not necessarily exist in reality, then we can imagine something that is greater than God.
# But we cannot imagine something that is greater than God.
# Thus, if God exists in the mind as an idea, then God necessarily exists in reality.
# God exists in the mind as an idea.
# Therefore, God necessarily exists in reality.

This contains the notion of a being that cannot be conceived not to exist. He argued that if something can be conceived not to exist, then something greater can be conceived. Consequently, a thing than which nothing greater can be conceived cannot be conceived not to exist and so it must exist. This can be read as a restatement of the argument in Chapter 2, although [[Norman Malcolm]] believes it to be a different, stronger argument.<ref>{{harvnb|Malcolm|1960|pp=41–62}}.</ref>

===René Descartes===
[[File:Frans Hals - Portret van René Descartes.jpg|thumb|left|upright|French thinker René Descartes proposed several arguments that could be termed ontological.]]

[[René Descartes]] (1596–1650) proposed a number of ontological arguments that differ from Anselm's formulation. Generally speaking, they are less formal arguments than they are natural [[intuition]].

In [[Meditations on First Philosophy#Meditation V: Concerning the Essence of Material Things, and Again Concerning God, That He Exists|''Meditation'', Book V]], Descartes wrote:<ref>{{Cite book|last=Descartes|first=René|url=http://www.classicallibrary.org/descartes/meditations/8.htm|title=Meditations on First Philosophy V: On the Essence of Material Objects and More on God's Existence|author-link=René Descartes}}</ref>

{{Quote|But, if the mere fact that I can produce from my thought the idea of something entails that everything that I clearly and distinctly perceive to belong to that thing really does belong to it, is not this a possible basis for another argument to prove the existence of God?  Certainly, the idea of God, or a supremely perfect being, is one that I find within me just as surely as the idea of any shape or number.  And my understanding that it belongs to his nature that he always exists is no less clear and distinct than is the case when I prove of any shape or number that some property belongs to its nature.|||source=}}

Descartes argues that God's existence can be deduced from his nature, just as [[geometry|geometric]] ideas can be deduced from the nature of shapes—he used the deduction of the sizes of angles in a triangle as an example. He suggested that the concept of God is that of a supremely perfect being, holding all perfections. He seems to have assumed that existence is a predicate of a perfection. Thus, if the notion of God did not include existence, it would not be supremely perfect, as it would be lacking a perfection. Consequently, the notion of a supremely perfect God who does not exist, Descartes argues, is unintelligible. Therefore, according to his nature, God must exist.<ref>{{cite web | url=http://www.iep.utm.edu/descarte/#SH5b | title=René Descartes (1596–1650): Overview | publisher=Internet Encyclopedia of Philosophy | date=13 September 2008 | access-date=2011-10-12 | author=Skirry, Justin}}</ref>

===Baruch Spinoza===
In [[Baruch Spinoza|Spinoza]]'s [http://dbanach.com/archive/mickelsen/short.html ''Short Treatise on God, Man, and His Well-Being''], he wrote a section titled "Treating of God and What Pertains to Him", in which he discusses God's existence and what God is. He starts off by saying: "whether there is a God, this, we say, can be proved".<ref name="Spinoza123">Spinoza, Baruch. (2002). ''Complete Works'' (S. Shirley & M. L. Morgan, Eds.), p. 37. Indianapolis, Indiana: Hackett Publishing Company.</ref> His proof for God follows a similar structure as Descartes' ontological argument. Descartes attempts to prove God's existence by arguing that there "must be some one thing that is supremely good, through which all good things have their goodness".<ref>Nolan, L. (2001, June 18). Descartes' Ontological Argument.</ref> Spinoza's argument differs in that he does not move straight from the conceivability of the greatest being to the existence of God, but rather uses a deductive argument from the idea of God. Spinoza says that man's ideas do not come from himself, but from some sort of external cause. Thus the things whose characteristics a man knows must have come from some prior source. So, if man has the idea of God, then God must exist before this thought, because man cannot create an idea of his own imagination.<ref name=Spinoza123 />

===Gottfried Leibniz===
[[File:Gottfried Wilhelm Leibniz, Bernhard Christoph Francke.jpg|thumb|upright|right|German philosopher Gottfried Leibniz attempted to prove the coherence of a "supremely perfect being".]]
[[Gottfried Wilhelm Leibniz]] saw a problem with Descartes' ontological argument: that Descartes had not asserted the coherence of a "supremely perfect" being. He proposed that, unless the coherence of a supremely perfect being could be demonstrated, the ontological argument fails. Leibniz saw perfection as impossible to analyse; therefore, it would be impossible to demonstrate that all perfections are incompatible. He reasoned that all perfections can exist together in a single entity, and that Descartes' argument is still valid.<ref name="oppy">{{Cite book |author=Oppy |first=Graham |url=http://plato.stanford.edu/entries/ontological-arguments |title=Ontological Arguments |date=15 July 2011 |publisher=Stanford Encyclopedia of Philosophy |orig-date=8 February 1996}}</ref>

===Mulla Sadra===
{{See also|Transcendent theosophy}}

[[Mulla Sadra]] (c. 1571/2–1640) was an [[Iranian philosophy|Iranian]] [[Shia]] [[Islamic philosophy|Islamic philosopher]] who was influenced by earlier Muslim philosophers such as Avicenna and [[Shahab al-Din Yahya ibn Habash Suhrawardi|Suhrawardi]], as well as the Sufi metaphysician [[Ibn Arabi|Ibn 'Arabi]]. Sadra discussed Avicenna's arguments for the existence of God, claiming that they were not ''a priori''. He rejected the argument on the basis that [[existence precedes essence]], or that the existence of human beings is more fundamental than their essence.<ref name="SEP Sadra">{{cite web | url=http://plato.stanford.edu/entries/mulla-sadra/ | title=Mulla Sadra | publisher=Stanford Encyclopedia of Philosophy | date=9 June 2009 | access-date=2011-11-07 | author=Rizvi, Sajjad}}</ref>

Sadra put forward a new argument, known as [[Seddiqin Argument]] or ''Argument of the Righteous''. The argument attempts to prove the existence of God through the reality of existence, and to conclude with God's pre-eternal necessity. In this argument, a thing is demonstrated through itself, and a path is identical with the goal.<!--which goal?--> In other arguments, the [[truth]] is attained from an external source, such as from the possible to the necessary, from the originated to the eternal origin, or from motion to the [[unmoved mover]]. In the argument of the righteous, there is no middle term other than the truth.<ref name="mullasadra">{{Cite web |url=http://www.mullasadra.org/new_site/english/Paper%20Bank/Knowledge%20of%20GOD/Ayatullahi.htm |title=Mulla Sadra's Argument of the Righteous and a Critical Study of Kant and Hume's Views on the Proofs of God's Existence |author=Reza Ayatullahi, Hamid}}</ref> His version of the ontological argument can be summarized as follows:<ref name="SEP Sadra" />
# There is existence
# Existence is a perfection above which no perfection may be conceived
# God is perfection and perfection in existence
# Existence is a singular and simple reality; there is no metaphysical pluralism
# That singular reality is graded in intensity in a scale of perfection (that is, a denial of a pure [[monism]]).
# That scale must have a limit point, a point of greatest intensity and of greatest existence.
# Hence God exists.

Mulla Sadra describes this argument in his main work ''al-asfar al-arba‘a'' [four journeys] as follows:

<blockquote>Existence is a single, objective and simple reality, and there is no difference between its parts, unless in terms of perfection and imperfection, strength, and weakness... And the culmination of its perfection, where there is nothing more perfect, is its independence from any other thing. Nothing more perfect should be conceivable, as every imperfect thing belongs to another thing and needs this other to become perfect. And, as it has already been explicated, perfection is prior to imperfection, actuality to potency, and existence to non-existence. Also, it has been explained that the perfection of a thing is the thing itself, and not a thing in addition to it. Thus, either existence is independent of others or it is in need of others. The former is the Necessary, which is pure existence. Nothing is more perfect than Him. And in Him there is no room for non-existence or imperfection. The latter is other than Him, and is regarded as His acts and effects, and for other than Him there is no subsistence, unless through Him. For there is no imperfection in the reality of existence, and imperfection is added to existence only because of the quality of being caused, as it is impossible for an effect to be identical with its cause in terms of existence.<ref>Asfar, Vol. 6, pp. 14–16.</ref></blockquote>

===G. W. F. Hegel===

In response to Kant's rejection of traditional speculative philosophy in his ''First Critique,'' and to Kant's rejection of the Ontological Argument, [[G. W. F. Hegel]] proposed throughout his lifetime works that Immanuel Kant was mistaken. Hegel took aim at Kant's famous $100 argument. Kant had said that "it is one thing to have $100 in my ''mind'', and quite a different thing to have $100 in my ''pocket''." According to Kant, we can ''imagine'' a God, but that doesn't prove that God ''exists''.

Hegel argued that Kant's formulation was inaccurate. Hegel referred to Kant's error in all of his major works from 1807 to 1831. For Hegel, "The True is the Whole" (PhG, para. 20). For Hegel, the True is the ''Geist'' which is to say, Spirit, which is to say, God. Thus God is the Whole of the Cosmos, both unseen as well as seen. This error of Kant, therefore, was his comparison of a finite (contingent) entity such as $100, with Infinite (necessary) Being, i.e. the Whole.

When regarded as the Whole of Being, unseen as well as seen, and not simply "one being among many," then the Ontological Argument flourishes, and its logical necessity becomes obvious, according to Hegel.

The final book contract that Hegel signed in the year that he died, 1831, was for a book entitled, ''Lectures on the Proofs of the Existence of God.'' Hegel died before finishing the book. It was to have three sections: (1) The Cosmological Argument; (2) The Teleological Argument; and (3) the Ontological Argument. Hegel died before beginning sections 2 and 3. His work is published today as incomplete, with only part of his Cosmological Argument intact.

To peruse Hegel's ideas on the Ontological Argument, scholars have had to piece together his arguments from various paragraphs from his other works. Certain scholars have suggested that all of Hegel's philosophy composes an ontological argument.<ref>{{Cite book|url=https://plato.stanford.edu/archives/fall2021/entries/ontological-arguments/|title=The Stanford Encyclopedia of Philosophy|first=Graham|last=Oppy|editor-first=Edward N.|editor-last=Zalta|date=August 17, 2021|publisher=Metaphysics Research Lab, Stanford University|via=Stanford Encyclopedia of Philosophy}}</ref><ref>{{Cite book |last=Hegel |first=G. W. F. |title=Hegel: Lectures on the Proofs of the Existence of God |date=2011-12-17 |publisher=Oxford University Press |isbn=978-0-19-969469-3 |edition=Reprint |location=Oxford, England |language=En-uk |translator-last=Hodgson |translator-first=Peter C. |orig-date=1831}}</ref>

===Kurt Gödel===
{{Main|Gödel's ontological proof}}
Mathematician Kurt Gödel provided a formal argument for [[existence of God|God's existence]]. The argument was constructed by Gödel but not published until long after his death. He provided an argument based on modal logic; he uses the conception of properties, ultimately concluding with God's existence.<ref name="OppyStanford">{{cite encyclopedia | url=http://plato.stanford.edu/entries/ontological-arguments/#GodOntArg | title=Ontological Arguments | publisher=Stanford Encyclopedia of Philosophy | date=8 February 1996|encyclopedia=substantive revision 15 July 2011 | access-date=2011-12-09 | author=Oppy, Graham | at=Gödel's Ontological Argument}}</ref>
<blockquote>
'''Definition 1''': x is God-like if and only if x has as essential properties those and only those properties which are positive

'''Definition 2''': A is an essence of x if and only if for every property B, x has B necessarily if and only if A entails B

'''Definition 3''': x necessarily exists if and only if every essence of x is necessarily exemplified

'''Axiom 1''': If a property is positive, then its negation is not positive

'''Axiom 2''': Any property entailed by—i.e., strictly implied by—a positive property is positive

'''Axiom 3''': The property of being God-like is positive

'''Axiom 4''': If a property is positive, then it is necessarily positive

'''Axiom 5''': Necessary existence is positive

'''Axiom 6''': For any property P, if P is positive, then being necessarily P is positive

'''Theorem 1''': If a property is positive, then it is consistent, i.e., possibly exemplified

'''Corollary 1''': The property of being God-like is consistent

'''Theorem 2''': If something is God-like, then the property of being God-like is an essence of that thing

'''Theorem 3''': Necessarily, the property of being God-like is exemplified</blockquote>

Gödel defined being "god-like" as having every positive property. He left the term "positive" undefined. Gödel proposed that it is understood in an aesthetic and moral sense, or alternatively as the opposite of [[privation]] (the absence of necessary qualities in the universe). He warned against interpreting "positive" as being morally or aesthetically "good" (the greatest advantage and least disadvantage), as this includes negative characteristics. Instead, he suggested that "positive" should be interpreted as being perfect, or "purely good", without negative characteristics.<ref>{{cite book | title=The Blackwell Companion to Natural Theology | publisher=John Wiley & Sons | author=Maydole, Robert E. | year=2011 |page=574 | isbn=978-1-4443-5085-2}}</ref>

Gödel's listed theorems follow from the axioms, so most criticisms of the theory focus on those axioms or the assumptions made. For instance, axiom 5 does not explain why necessary existence is positive instead of possible existence, an axiom which the whole argument follows from. Or, for Axiom 1, to use another example, the negation of a positive property both includes the lack of any properties and the opposite property, and only the lack of any properties is a privation of a property, not the opposite property (for instance, the lack of happiness can symbolize either sadness or having no emotion, but only lacking emotion could be seen as a privation, or negative property). Either of these axioms being seen as not mapping to reality would cause the whole argument to fail. Oppy argued that Gödel gives no definition of "positive properties". He suggested that if these positive properties form a set, there is no reason to believe that any such set exists which is theologically interesting, or that there is only one set of positive properties which is theologically interesting.<ref name="OppyStanford" />

===Modal versions of the ontological argument===
[[Modal logic]] deals with the logic of possibility as well as necessity. Paul Oppenheimer and [[Edward N. Zalta]] note that, for Anselm's ''Proslogion'' chapter 2, "Many recent authors have interpreted this argument as a modal one." In the phrase 'that than which none greater can be conceived', the word 'can' could be construed as referring to a possibility. Nevertheless, the authors write that "the logic of the ontological argument itself doesn't include inferences based on this modality."<ref>Oppenheimer, Paul E., Zalta, Edward N., [http://mally.stanford.edu/ontological.pdf ''On the Logic of the Ontological Argument''], Originally published in Philosophical Perspectives 5: The Philosophy of Religion, James Tomberlin (ed.), Atascadero: Ridgeview, 1991: 509–529. "Even if one were to construe the word 'can' in the definite description 'that than which none greater can be conceived' in terms of metaphysical possibility, the logic of the ontological argument itself doesn't include inferences based on this modality".</ref> However, there have been newer, avowedly modal logic versions of the ontological argument, and on the application of this type of logic to the argument, [[James Franklin Harris]] writes:<blockquote>[D]ifferent versions of the ontological argument, the so-called "modal" versions of the argument, which arguably avoid the part of Anselm's argument that "treats existence as a predicate," began to emerge. The [modal logic version] of these forms of defense of the ontological argument has been the most significant development.<ref name="auto">{{Cite book|url=https://books.google.com/books?id=Rx2Qf9ieFKYC&q=so-called+%22modal%22+versions|title=Analytic Philosophy of Religion|first=James Franklin|last=Harris|date=May 31, 2002|publisher=Springer Science & Business Media|isbn=9781402005305|via=Google Books}}</ref></blockquote>

====Hartshorne and Malcolm====
[[Charles Hartshorne]] and [[Norman Malcolm]] are primarily responsible for introducing modal versions of the argument into the contemporary debate. Both claimed that Anselm had two versions of the ontological argument, the second of which was a modal logic version. According to James Harris, this version is represented by Malcolm thus:<blockquote>If it [that than which nothing greater can be conceived] can be conceived at all it must exist. For no one who denies or doubts the existence of a being a greater than which is inconceivable, denies or doubts that if it did exist its nonexistence, either in reality or in the understanding, would be impossible. For otherwise it would not be a being a greater than which cannot be conceived. But as to whatever can be conceived but does not exist: if it were to exist its nonexistence either in reality or in the understanding would be possible. Therefore, if a being a greater than which cannot be conceived, can even be conceived, it must exist.</blockquote>Hartshorne says that, for Anselm, "necessary existence is a superior manner of existence to ordinary, contingent existence and that ordinary, contingent existence is a defect." For Hartshorne, both Hume and Kant focused only upon whether what exists is greater than what does not exist. However, "Anselm's point is that what exists and cannot not exist is greater than that which exists and can not exist." This avoids the question of whether or not existence is a predicate.<ref name="auto"/>

Referring to the two ontological arguments proposed by Anselm in Chapters 2 and 3 of his ''Proslogion'', Malcolm supported Kant's criticism of Anselm's argument in Chapter 2: that existence cannot be a perfection of something. However, he identified what he sees as the second ontological argument in Chapter 3 which is not susceptible to such criticism.<ref name="Malcolm1960">{{harvnb|Malcolm|1960}}.</ref>

In Anselm's second argument, Malcolm identified two key points: first, that a being whose non-existence is ''logically'' impossible is greater than a being whose non-existence is logically possible, and second, that God is a being "than which a greater cannot be conceived". Malcolm supported that definition of God and suggested that it makes the proposition of God's existence a [[logical truth|logically necessarily true]] statement (in the same way that "a square has four sides" is logically necessarily true).<ref name="Malcolm1960" /> Thus, while rejecting the idea of existence itself being a perfection, Malcolm argued that ''necessary'' existence is a perfection. This, he argued, proved the existence of an unsurpassably great necessary being.

Jordan Sobel writes that Malcolm is incorrect in assuming that the argument he is expounding is to be found entirely in Proslogion chapter 3. "Anselm intended in Proslogion III not an independent argument for the existence of God, but a continuation of the argument of Proslogion II."<ref>{{cite book | title=Logic and theism: arguments for and against beliefs in God | publisher=Cambridge University Press | author=Sobel, Jordan Howard | year=2004 | pages=81–82 | isbn=978-0-521-82607-5|url=https://books.google.com/books?id=ZQh8QJOQdOQC&q=%22his+existence+is+necessary%22}}</ref>

====Alvin Plantinga====
[[File:AlvinPlantinga.JPG|thumb|upright=0.7|Alvin Plantinga criticized Malcolm's and Hartshorne's ontological arguments and proposed a variation of his own.]]
Christian [[Analytic philosophy|Analytic philosopher]] [[Alvin Plantinga]]<ref>
{{cite news |date=April 11, 2010 |title=Evolution, Shibboleths, and Philosophers |publisher=[[The Chronicle of Higher Education]] |url=http://chronicle.com/article/Evolution-Shibboleths-and/64990/ |access-date=2010-04-28 |quote=Like any Christian (and indeed any theist), I believe that the world has been created by God, and hence 'intelligently designed'.}}</ref> criticized Malcolm's and Hartshorne's arguments, and offered an alternative.

Plantinga developed his argument in the books titled ''The nature of necessity'' (1974; ch. 10) and ''God, Freedom and Evil'' (1975; part 2 c).<ref name="Leslie,2017">{{cite book|url=
http://www.RationalRealm.com/philosophy/metaphysics/plantinga-ontological-argument.html
|title=Plantinga's Ontological Argument|last1=Leslie|first1=Alan|format=PDF|pages=3–4|year=2017|archive-url=https://web.archive.org/web/20170506071340/http://www.RationalRealm.com/philosophy/metaphysics/plantinga-ontological-argument.html|archive-date=May 6, 2017|url-status=live}}</ref> He argued that, if Malcolm does prove the necessary existence of the greatest possible being, it follows that there is a being which exists in all worlds whose greatness in ''some'' worlds is not surpassed. It does not, he argued, demonstrate that such a being has unsurpassed greatness in this actual world.<ref name="Plantinga, Sennett 1998">{{harvnb|Plantinga|1998|pp=65–71}}.</ref>

In an attempt to resolve this problem, Plantinga differentiated between "greatness" and "excellence". A being's excellence in a particular world depends only on its properties in that world; a being's greatness depends on its properties in all worlds. Therefore, the greatest possible being must have maximal excellence in every possible world. Plantinga then restated Malcolm's argument, using the concept of "maximal greatness". He argued that it is possible for a being with maximal greatness to exist, so a being with maximal greatness exists in a possible world. If this is the case, then a being with maximal greatness exists in every world, and therefore in this world.<ref name="Plantinga, Sennett 1998" />

The conclusion relies on a form of [[axiom S5|modal axiom 5 of S5]], which states that if something is possibly true, then its possibility is necessary (it is possibly true in all worlds; in symbols: <math>\Diamond A\to \Box\Diamond A</math>). Plantinga's version of S5 suggests that "To say that p is possibly necessarily true is to say that, with regard to one possible world, it is true at all worlds; but in that case it is true at all worlds, and so it is simply necessary."<ref>{{Cite book|url=https://books.google.com/books?id=veGCAgAAQBAJ&dq=%22possibly+necessarily+true%22+then+it+is+necessarily+true+plantinga&pg=PA128|title=Medieval Philosophy: An Historical and Philosophical Introduction|first=John|last=Marenbon|date=October 2, 2006|publisher=Routledge|isbn=9781134461837|via=Google Books}}</ref> In other words, to say that p is necessarily possible means that p is true in at least one possible world W (if it is an actual world; Plantinga also used Axioms B of S5: <math>A\to\Box\Diamond A</math>) and thus it is true in all worlds because its omnipotence, omniscience, and moral perfection are its essence.

In the 1975 version of the argument, Plantinga clarified that<ref name="Leslie,2017" /> "it follows that if W had been actual, it would have been impossible that there be no such being. That is, if W had been actual, 
:(33) ''There is no omnipotent, omniscient, and morally perfect being'',
would have been an impossible proposition. But if a proposition is impossible in at least one possible world, then it is impossible in every possible world; what is impossible does not vary from world to world. Accordingly (33) is impossible in the actual world, i.e., impossible ''simpliciter''. But if it is impossible that there be no such being, then there actually exists a being that is omnipotent, omniscient, and morally perfect; this being, furthermore, has these qualities ''[[Essence|essentially]]'' and exists in every possible world."

A version of his argument may be formulated as follows:<ref name="oppy" /> 
# A being has ''maximal excellence'' in a given possible world ''W'' if and only if it is [[omnipotence|omnipotent]], [[omniscience|omniscient]] and wholly good in ''W''; and
# A being has ''maximal greatness'' if it has maximal excellence in every possible world.
# It is possible that there is a being that has maximal greatness. (Premise)
# Therefore, possibly, it is necessarily true that an omniscient, omnipotent, and perfectly good being exists.
# Therefore, (by axiom 5 of S5) it is necessarily true that an omniscient, omnipotent and perfectly good being exists.
# Therefore, an omniscient, omnipotent and perfectly good being exists.

Plantinga argued that, although the first premise is not rationally established, it is not contrary to reason. [[Michael Martin (philosopher)|Michael Martin]] argued that, if certain components of perfection are contradictory, such as omnipotence and omniscience, then the first premise is contrary to reason. Martin also proposed parodies of the argument, suggesting that the existence of anything can be demonstrated with Plantinga's argument, provided it is defined as perfect or special in every possible world.<ref>{{cite book | title=Philosophy of religion: an anthology | publisher=Wiley-Blackwell | author=Martin, Michael | year=2003 | pages=282–293 | isbn=978-0-631-21471-7}}</ref>

Another Christian philosopher, [[William Lane Craig]], characterizes Plantinga's argument in a slightly different way:
# It is possible that a maximally great being exists.
# If it is possible that a maximally great being exists, then a maximally great being exists in some possible world.
# If a maximally great being exists in some possible world, then it exists in every possible world.
# If a maximally great being exists in every possible world, then it exists in the actual world.
# If a maximally great being exists in the actual world, then a maximally great being exists.
# Therefore, a maximally great being exists.<ref>{{cite book |author=Craig |first=William Lane |title=Reasonable faith |publisher=Crossway |year=2008 |isbn=978-1-4335-0115-9 |pages=184–185}}</ref>
According to Craig, premises (2)–(5) are relatively uncontroversial among philosophers, but "the epistemic entertainability of premise (1) (or its denial) does not guarantee its metaphysical possibility."<ref>{{cite book |author=Craig |first=William Lane |title=Reasonable faith |publisher=Crossway |year=2008 |isbn=978-1-4335-0115-9 |page=185 |quote=Premises (2)–(5) of this argument are relatively uncontroversial. Most philosophers would agree that if God's existence is even possible, then he must exist. ...the epistemic entertainability of premise (1) (or its denial) does not guarantee its metaphysical possibility.}}</ref> Furthermore the philosopher Richard M. Gale argued that premise three, the "possibility premise", [[begs the question]]. He stated that one only has the epistemic right to accept the premise if one understands the nested [[modal operator]]s, and that if one understands them within the system S5—without which the argument fails—then one understands that "possibly necessarily" is in essence the same as "necessarily".<ref>{{Cite book| title=On the Nature and Existence of God | first=Richard | last=Gale | publisher=Cambridge University Press | year=1993 | isbn=978-0-521-45723-1 |page=227}}</ref> Thus the premise begs the question because the conclusion is embedded within it.

On S5 systems in general, James Garson writes that "the words ‘necessarily’ and ‘possibly’, have many different uses. So the acceptability of axioms for modal logic depends on which of these uses we have in mind."<ref>{{cite web | last=Garson | first=James | title=Modal Logic | website=Stanford Encyclopedia of Philosophy | date=2000-02-29 | url=https://plato.stanford.edu/archives/sum2014/entries/logic-modal/}}</ref>

===Sankara's dictum===
An approach to supporting the possibility premise in Plantinga's version of the argument was attempted by [[Alexander Pruss]]. He started with the 8th–9th-century AD Indian philosopher [[Adi Shankara|Sankara]]'s dictum that if something is impossible, we cannot have a perception (even a non-veridical one) that it is the case. It follows that if we have a perception that ''p'', then even though it might not be the case that ''p'', it is at least the case that ''possibly p''. If mystics in fact perceive the existence of a maximally great being, it follows that the existence of a maximally great being is at least possible.<ref>{{Cite journal| first=Alexander R. | last=Pruss | url=http://bearspace.baylor.edu/Alexander_Pruss/www/papers/Samkara.html | title=Samkara's Principle and Two Ontomystical Arguments | journal=International Journal for Philosophy of Religion | volume=49 | issue=2 | year=2001 | pages=111–120 | doi=10.1023/A:1017582721225| s2cid=169625246 }}</ref>

===Automated reasoning===

Paul Oppenheimer and [[Edward N. Zalta]] used an automated theorem prover—[[Prover9]]—to validate Anselm's ontological thesis. Prover9 subsequently discovered a simpler, formally valid (if not necessarily [[Soundness|sound]]) ontological argument from a single non-logical premise.<ref>{{cite journal | first1= Paul |last1=Oppenheimer|first2=Edward N.|last2=Zalta | title=A Computationally-Discovered Simplification of the Ontological Argument | year=2011 | journal=[[Australasian Journal of Philosophy]] | volume=89 | issue = 2| pages=333–349 | doi=10.1080/00048401003674482|citeseerx=10.1.1.216.1592|s2cid=11912282}}</ref>

Christoph Benzmuller and Bruno Woltzenlogel Paleo used an automated theorem prover to validate Scott's version of Gödel's ontological argument. It has been shown by the same researchers that Gödel's ontological argument is inconsistent. However, Scott's version of Gödel's ontological argument is consistent and thus valid.

==Criticisms and objections==

===Gaunilo<!--linked from 'Gaunilo of Marmoutiers'-->===
One of the earliest recorded objections to Anselm's argument was raised by one of Anselm's contemporaries, [[Gaunilo of Marmoutiers]]. He invited his reader to conceive an island "more excellent" than any other island. He suggested that, according to Anselm's proof, this island must necessarily exist, as an island that exists would be more excellent.<ref name="Problems and arguments">{{cite book | title=Philosophical problems and arguments: an introduction | publisher=Hackett Publishing | year=1992 | pages=[https://archive.org/details/philosophicalpro00corn/page/254 254]–256 | isbn=978-0-87220-124-8 | url=https://archive.org/details/philosophicalpro00corn | url-access=registration | quote=gaunilo. | last1=Cornman | first1=James W. | last2=Lehrer | first2=Keith | last3=Sotiros Pappas | first3=George}}</ref> Gaunilo's criticism does not explicitly demonstrate a flaw in Anselm's argument; rather, it argues that if Anselm's argument is sound, so are many other arguments of the same [[logical form]], which cannot be accepted.<ref>{{Cite book| first=John | last=Cottingham | title=Descartes | isbn=978-0-631-15046-6 |page=62 | year=1986 | publisher=Blackwell Publishing}}</ref> He offered a further criticism of Anselm's ontological argument, suggesting that the notion of God cannot be conceived, as Anselm had asserted. He argued that many [[theism|theists]] would accept that God, by nature, cannot be fully comprehended. Therefore, if humans cannot fully conceive of God, the ontological argument cannot work.<ref>{{cite book | title=God, reason and theistic proofs | publisher=Edinburgh University Press | author=Davis, Stephen T. | year=1997 | pages=27–28 | isbn=978-0-7486-0799-0 | url=https://books.google.com/books?id=n4zqh10IXXsC&q=gaunilo&pg=PA28}}</ref>

Anselm responded to Gaunilo's criticism by arguing that the argument applied only to concepts with [[Metaphysical necessity|necessary existence]]. He suggested that only a being with necessary existence can fulfill the remit of "that than which nothing greater can be conceived". Furthermore, a contingent object, such as an island, could always be improved and thus could never reach a state of perfection. For that reason, Anselm dismissed any argument that did not relate to a being with necessary existence.<ref name="Problems and arguments" />

Other parodies have been presented, including the devil [[corollary]], the no devil corollary and the extreme no devil corollary. The devil corollary proposes that a being than which nothing worse can be conceived exists in the understanding (sometimes the term lesser is used in place of worse). Using Anselm's logical form, the parody argues that if it exists in the understanding, a worse being would be one that exists in reality; thus, such a being exists. The no devil corollary is similar, but argues that a worse being would be one that does not exist in reality, so does not exist. The extreme no devil corollary advances on this, proposing that a worse being would be that which does not exist in the understanding, so such a being exists neither in reality nor in the understanding. [[Timothy Chambers]] argued that the devil corollary is more powerful than Gaunilo's challenge because it withstands the challenges that may defeat Gaunilo's parody. He also claimed that the extreme no devil corollary is a strong challenge, as it "underwrites" the no devil corollary, which "threatens Anselm's argument at its very foundations".<ref>{{cite book | title=Arguing About Gods | publisher=Cambridge University Press | author=Oppy, Graham | year=2006 | isbn=978-0-521-86386-5}}</ref>

===Thomas Aquinas===
[[Thomas Aquinas]], while proposing [[Quinque viae|five proofs]] of God's existence in his ''[[Summa Theologica]]'', objected to Anselm's argument. He suggested that people cannot know the nature of God and, therefore, cannot conceive of God in the way Anselm proposed.<ref>{{cite book | title=Ontological Arguments and Belief in God | publisher=Cambridge University Press | author=Oppy, Graham | year=2007 | pages=122–123 | isbn=978-0-521-03900-0 | url=https://books.google.com/books?id=qg0spmMuC98C&q=ontological+argument+thomas+aquinas&pg=PA122}}</ref> The ontological argument would be meaningful only to someone who understands the essence of God completely. Aquinas reasoned that, as only God can completely know His essence, only He could use the argument.<ref>{{Cite web |title=SUMMA THEOLOGIAE: The existence of God (Prima Pars, Q. 2) |url=https://www.newadvent.org/summa/1002.htm |access-date=2023-11-17 |website=www.newadvent.org}}</ref> His rejection of the ontological argument led other Catholic theologians to also reject the argument.<ref>{{cite encyclopedia |title=The Existence of God |encyclopedia=The Catholic Encyclopedia |url=http://www.newadvent.org/cathen/06608b.htm#IBf |access-date=2007-01-19 |last=Toner |first=P. J.}}</ref>

===David Hume===
[[File:David Hume.jpg|thumb|upright=0.7|right|David Hume reasoned that an ontological argument was not possible.]]

Scottish philosopher and empiricist [[David Hume]] argued that nothing can be proven to exist using only ''a priori'' reasoning.<ref name="Stanford Hume">{{cite web | url=http://plato.stanford.edu/entries/hume-religion/ | title=Hume on Religion | publisher=Stanford Encyclopedia of Philosophy | date=4 October 2005 | access-date=2011-10-16 | author=Russell, Paul}}</ref> In his ''[[Dialogues Concerning Natural Religion]]'', the character Cleanthes proposes a criticism:

{{Quote|...there is an evident absurdity in pretending to demonstrate a matter of fact, or to prove it by any arguments ''a priori''. Nothing is demonstrable, unless the contrary implies a contradiction. Nothing, that is distinctly conceivable, implies a contradiction. Whatever we conceive as existent, we can also conceive as non-existent. There is no being, therefore, whose non-existence implies a contradiction. Consequently there is no being, whose existence is demonstrable.<ref>{{cite wikisource |title=Dialogues Concerning Natural Religion/Part 9 |last=Hume |first=David |authorlink=David Hume |year=1776}}</ref>|author=David Hume|title=Dialogues Concerning Natural Religion|source=Part 9}}

Hume also suggested that, as we have no abstract idea of existence (apart from as part of our ideas of other objects), we cannot claim that the idea of God implies his existence. He suggested that any conception of God we may have, we can conceive either of existing or of not existing. He believed that existence is not a quality (or perfection), so a completely perfect being need not exist. Thus, he claimed that it is not a contradiction to deny God's existence.<ref name="Stanford Hume" /> Although this criticism is directed against a [[Cosmological argument#Argument from contingency|cosmological argument]], similar to that of [[Samuel Clarke]] in his first [[Boyle Lectures|Boyle Lecture]], it has been applied to ontological arguments as well.<ref>{{Cite web| url=http://www.philosophyofreligion.info/theistic-proofs/the-ontological-argument/st-anselms-ontological-argument/hume-on-a-priori-existential-proofs/ | first=Tim | last=Holt | title=The Ontological Argument: Hume on ''a priori'' Existential Proofs}}</ref>

===Immanuel Kant===
[[File:Kant foto.jpg|thumb|upright=0.7|left|Immanuel Kant proposed that existence is not a predicate.]]
[[Immanuel Kant]] put forward an influential criticism of the ontological argument in his ''[[Critique of Pure Reason]]''.<ref name="KdrV">{{Cite book |last=Kant |first=Immanuel |title=Critique of Pure Reason |publisher=Macmillan and Company Limited |others=Norman Kemp Smith |year=1958 |edition=2nd |location=London, England |pages=500–507 |orig-year=1787}} (first edition, pp.&nbsp;592–603; second edition, pp.&nbsp;620–631).</ref> His criticism is primarily directed at Descartes, but also attacks Leibniz. It is shaped by his central [[Analytic–synthetic distinction|distinction between analytic and synthetic propositions]]. In an analytic proposition, the predicate concept is contained in its subject concept; in a synthetic proposition, the predicate concept is not contained in its subject concept.

Kant questions the intelligibility of the concept of a necessary being. He considers examples of necessary propositions, such as "a triangle has three angles", and rejects the transfer of this logic to the [[existence of God]]. First, he argues that such necessary propositions are necessarily true only if such a being exists: ''If'' a triangle exists, it must have three angles. The necessary proposition, he argues, does not make the existence of a triangle necessary. Thus he argues that, if the proposition "X exists" is posited, it would follow that, ''if'' X exists, it exists necessarily; this does not mean that X exists in reality.<ref>{{cite web | url=http://plato.stanford.edu/entries/kant-metaphysics | title=Kant's Critique of Metaphysics | publisher=Stanford Encyclopedia of Philosophy |date=February 28, 2004| access-date=2011-10-30 | author=Grier, Michelle}}</ref> Second, he argues that contradictions arise only when the predicate is rejected but the subject is maintained and, therefore, a judgement of non-existence cannot be a contradiction, as it denies the subject.<ref name="KdrV" />

Kant then proposes that the statement "God exists" must be analytic or synthetic—the predicate must be inside or outside of the subject, respectively. If the proposition is analytic, as the ontological argument takes it to be, then the statement would be true only because of the meaning given to the words. Kant claims that this is merely a tautology and cannot say anything about reality. However, if the statement is synthetic, the ontological argument does not work, as the existence of God is not contained within the definition of God (and, as such, evidence for God would need to be found).<ref>{{cite book | title=Philosophy for Understanding Theology | publisher=Westminster John Knox Press | year=2007 |page=165 | isbn=978-0-664-23180-4 | url=https://books.google.com/books?id=Mc5wweqfm-gC&q=kant+%22ontological+argument%22+tautology&pg=PA165 | last1=Allen | first1=Diogenes | last2=Springsted | first2=Eric O.}}</ref>

Kant goes on to write, "'being' is evidently not a real predicate"<ref name="KdrV" /> and cannot be part of the concept of something. He proposes that existence is not a predicate, or quality. This is because existence does not add to the essence of a being, but merely indicates its occurrence in reality. He states that by taking the subject of God with all its predicates and then asserting that God exists, "I add no new predicate to the conception of God". He argues that the ontological argument works only if existence is a predicate; if this is not so, he claims the ontological argument is invalidated, as it is then conceivable a completely perfect being doesn't exist.<ref name="IEP" />

In addition, Kant claims that the concept of God is not one of a particular sense; rather, it is an "object of pure thought".<ref name="KdrV" /> He asserts that God exists outside the realm of experience and nature. Because we cannot experience God through experience, Kant argues that it is impossible to know how we would verify God's existence. This is in contrast to material concepts, which can be verified by means of the senses.<ref>{{cite book | title=Kant's doctrine of transcendental illusion | publisher=Cambridge University Press | author=Grier, Michelle | year=2001 |page=258 | isbn=978-0-521-66324-3 | url=https://books.google.com/books?id=jjiIyXvOPAwC&q=kant+ontological+argument+%22object+of+pure+thought%22&pg=PA258}}</ref>

===Douglas Gasking===
Australian philosopher Douglas Gasking (1911–1994) developed a version of the ontological argument meant to prove God's non-existence. It was not intended to be serious; rather, its purpose was to illustrate the problems Gasking saw in the ontological argument.<ref name="grey">{{Cite journal |last=Grey |first=William |year=2000 |title=Gasking's Proof |url=http://www.uq.edu.au/~pdwgrey/pubs/gasking.pdf |url-status=dead |journal=Analysis |volume=60 |issue=4 |pages=368–370 |doi=10.1111/1467-8284.00257 |archive-url=https://web.archive.org/web/20080407211249/http://www.uq.edu.au/~pdwgrey/pubs/gasking.pdf |archive-date=2008-04-07 |access-date=2006-01-15}}</ref>

Gasking asserted that the creation of the world is the most marvellous achievement imaginable. The merit of such an achievement is the product of its quality and the creator's disability: the greater the disability of the creator, the more impressive the achievement. Non-existence, Gasking asserts, would be the greatest handicap. Therefore, if the universe is the product of an existent creator, we could conceive of a greater being—one which does not exist. A non-existent creator is greater than one which exists, so God does not exist. Gasking's proposition that the greatest disability would be non-existence is a response to Anselm's assumption that existence is a predicate and perfection. Gasking uses this logic to assume that non-existence must be a disability.<ref name="grey" />

Graham Oppy criticized the argument, viewing it as a weak parody of the ontological argument. He stated that, although it may be accepted that it would be a greater achievement for a non-existent creator to create something than a creator who exists, there is no reason to assume that a non-existent creator would be a greater being. He continued by arguing that there is no reason to view the creation of the world as "the most marvellous achievement imaginable". Finally, he stated that it may be inconceivable for a non-existent being to create anything at all.<ref name="oppy" />

=== William L. Rowe ===
American philosopher of religion [[William L. Rowe]] notably believed that the structure of the ontological argument was such that it inherently [[Begging the question|begs the question]] of God's existence, that is to say, that one must have a presupposed belief in God's existence in order to accept the argument's conclusion. To illustrate this, Rowe devises the concept of a "unicornex," defined as a "unicorn that actually exists." Note that some possible object is a ''unicorn'', but since in fact ''no unicorns exist'', no possible object is a unicornex. Thus, in order to know that unicornexes are possible, you must know that unicornexes exist. Rowe believes that this is analogous to the ontological argument's conception of God in the formulation of the greatest conceivable being: the greatest conceivable being is an omnipotent, omnipowerful, supremely perfect, ''existing'' being. Nothing in that definition explicitly demonstrates existence, it is simply added on as a necessary philosophical quality in the same sense that the unicornex is given the quality of existence as well. Therefore, to Rowe, there is no way to know the existence of the greatest conceivable being without already knowing that he exists—the definition simply begs the question.<ref>{{Cite book |last=Davis |first=Stephen T. |url=https://www.worldcat.org/oclc/38224686 |title=God, reason and theistic proofs |date=1997 |publisher=W. B. Eerdmans |isbn=0-8028-4450-2 |location=Grand Rapids, Michigan |language=en-us |oclc=38224686}}</ref>

===Coherence of a maximally great being===
In his development of the ontological argument, Leibniz attempted to demonstrate the coherence of a supremely perfect being.<ref name="oppy" /> C. D. Broad countered that if two characteristics necessary for God's perfection are incompatible with a third, the notion of a supremely perfect being becomes incoherent. The ontological argument assumes the definition of God purported by [[classical theism]]: that God is [[omnipotent]], [[omniscient]], and morally perfect.<ref name="IEP">{{cite web|title=Ontological Argument|url=http://www.iep.utm.edu/ont-arg/#H4|author=Himma, Kenneth Einnar|date=16 November 2001|publisher=Internet Encyclopedia of Philosophy|at=Chapter 4, section IV|access-date=2012-01-03}}</ref> [[Kenneth Einar Himma]] claimed that omniscience and omnipotence may be incompatible: if God is omnipotent, then he should be able to create a being with free will; if he is omniscient, then he should know exactly what such a being will do (which may technically render them without free will). This analysis would render the ontological argument incoherent, as the characteristics required of a maximally great being cannot coexist in one being, thus such a being could not exist.<ref name="IEP" />

===Bertrand Russell===
[[Bertrand Russell]], during his early [[Hegelianism|Hegelian]] phase, accepted the argument; he once exclaimed: "Great God in Boots!—the ontological argument is sound!"<ref>Autobiography of Bertrand Russell, vol. 1, 1967.</ref> However, he later criticized the argument, asserting that "the argument does not, to a modern mind, seem very convincing, but it is easier to feel convinced that it must be fallacious than it is to find out precisely where the fallacy lies." He drew a distinction between existence and essence, arguing that the essence of a person can be described and their existence still remain in question.<ref>{{Cite book |last=Russell |first=Bertrand |title=History of Western Philosophy |title-link=History of Western Philosophy (Russell) |publisher=[[Simon & Schuster|Touchstone]] |year=1972 |isbn=978-0-671-20158-6 |page=[https://archive.org/details/historyofwestern00russ/page/536 536] |author-link=Bertrand Russell}} (Book 3, Part 1, Section 11).</ref>

== Notes ==
{{notelist-lr}}

== References ==
{{Reflist|30em}}

== Bibliography ==
* {{cite book|last=Freddoso |first=Alfred J. |title=The Existence and Nature of God: The Ontological Argument |publisher=University of Notre Dame Press |year=1983 }}
* {{Cite book |last1=Gracia |first1=Jorge J. E. |last2=Reichberg |first2=Gregory M. |last3=Schumacher |first3=Bernard N. |title=The Classics of Western Philosophy: A Reader's Guide |publisher=Blackwell Publishing |year=2003 |isbn=978-0-631-23611-5}}
* {{cite book |last=Hartshorne |first=Charles |title=The Logic of Perfection |url=https://archive.org/details/logicofperfectio0000hart |url-access=registration |location=LaSalle, Illinois |language=en-us |publisher=Open Court |year=1962}}
* {{cite book |last=Jori |first=Alberto |author-link=Alberto Jori |chapter=Die Paradoxien des menschlichen Selbstbewusstseins und die notwendige Existenz Gottes — Zu 'Cogitatio' und 'Intellectus' im Streit zwischen Anselm und Gaunilo |editor1-first=C. |editor1-last=Viola |editor2-first=J. |editor2-last=Kormos |title=Rationality from Saint Augustine to Saint Anselm. Proceedings of the International Anselm Conference – Piliscsaba (Hungary) 20–23 |date=June 2002 |publisher=Piliscsaba (2005) |pages=197–210}}
* {{Cite book |last1=Leaman |first1=Oliver |author-link=Oliver Leaman |last2=Groff |first2=Peter S. |title=Islamic Philosophy A–Z |publisher=Edinburgh University Press |year=2007 |isbn=978-0-7486-2089-0}}
* {{Cite book|last=Logan|first=Ian|title=Reading Anselm's Proslogion: The History of Anselm's Argument and its Significance Today|publisher=Ashgate |year=2009|isbn=978-0-7546-6123-8 }}
* {{cite book |last=Malcolm |first=Norman |author-link=Norman Malcolm |chapter=Anselm's Ontological Arguments |journal=Philosophical Review |volume=69 |issue=1 |year=1960 |title=The Existence of God (Problems of Philosophy) |editor=Hick |editor-first=John |publisher=Macmillan |isbn=978-0-02-085450-0 |chapter-url=https://books.google.com/books?id=0Ri6NAAACAAJ}} and in ''Knowledge and Certainty: Essays and Lectures'' by Norman Malcolm, Cornell University Press, 1975) {{ISBN|0-8014-9154-1}}.
* {{cite book|last=Oppy |first=Graham |author-link=Graham Oppy |title=Ontological Arguments and Belief in God |year=1996 |publisher=Cambridge University Press |isbn=978-0-521-03900-0 |url=https://books.google.com/books?id=qg0spmMuC98C&q=Ontological+Arguments+and+Belief+in+God}}
* {{cite book |editor-last=Plantinga |editor-first=Alvin |title=The Ontological Argument from St. Anselm to Contemporary Philosophers |location=Garden City, New York |language=en-us |publisher=Doubleday |year=1965}}
* {{cite book|last=Plantinga |first=Alvin |author-link=Alvin Plantinga |title=God, Freedom and Evil |url=https://archive.org/details/godfreedomevil00plan |url-access=registration |location=Grand Rapids, Michigan |publisher=Eerdmans |year=1977 |pages=[https://archive.org/details/godfreedomevil00plan/page/85 85–112] |isbn=9780802817310 }}
* {{cite book |title=The analytic theist: an Alvin Plantinga reader |publisher=William B. Eerdmans Publishing |year=1998 |isbn=978-0-8028-4229-9 |last1=Plantinga |first1=Alvin |author-link=Alvin Plantinga |editor-first=James F. |language=en-us |editor-last=Sennett}}
* {{cite book | title=Ontological Proofs Today | publisher=Ontos Verlag | year=2012  | isbn=978-0-8028-4229-9 | editor-last=Szatkowski |editor-first=Miroslaw }}

== External links ==
{{Wikiquote}}
* {{cite SEP |url-id=ontological-arguments |title=Ontological Arguments |last=Oppy |first=Graham}}
* {{cite SEP |url-id=descartes-ontological |title=Descartes' Ontological argument |last=Nolan |first=Lawrence}}
* {{cite IEP |url-id=ont-arg |title=Anselm: Ontological Arguments for God's Existence |last=Himma |first=Kenneth E.}}
* [https://www.bibliographia.co/ontological-proof.htm History of the Ontological Argument] with an annotated bibliography.
* [http://www.fordham.edu/halsall/basis/anselm-gaunilo.html Medieval Sourcebook: Gaunilo: In Behalf of the Fool, and Anselm's Reply].
* [http://www.fordham.edu/halsall/basis/anselm-critics.html Medieval Sourcebook: Philosophers' Criticisms of Anselm's Ontological Argument for the Being of God].
* Paul E. Oppenheimer & [[Edward N. Zalta]], "[http://mally.stanford.edu/ontological.pdf On the Logic of the Ontological Argument]" from James Tomberlin ed., ''Philosophical Perspectives 5: The Philosophy of Religion'' (Atascadero: Ridgeview, 1991) pp.&nbsp;509–529.
* Gregory S. Neal, "[https://web.archive.org/web/20080624114302/http://www.revneal.org/Writings/anselms.htm Anselm's Ontological Argument For the Existence of God]" from ''Grace Incarnate'' (1990).
* Maciej Nowicki, "[https://web.archive.org/web/20120220013229/http://www.logika.umk.pl/llp/154/154-4-MN.pdf Anselm and Russell]" ''Logic and Logical Philosophy'' (2006) 15: 355–368.
* Brown, Paterson. [https://web.archive.org/web/20101227180404/http://metalog.org/files/tpb/ont.html "Professor Malcolm on Anselm's Ontological Arguments"], ''Analysis'', 1961.

{{Catholic philosophy footer}}
{{Philosophy of religion}}
{{Theology}}
{{Authority control}}

{{DEFAULTSORT:Ontological Argument}}
[[Category:Arguments for the existence of God]]
[[Category:Scholasticism]]
[[Category:Ontology]]

[[de:Gottesbeweis#Der ontologische Gottesbeweis]]