In this brief essay, I argue that Anselm's ontological argument for the existence of God achieves its effect through the verbal equivalent of a magician's "sleight-of-hand." More technically, the argument commits the informal fallacy of equivocation. I provide a brief analysis of the argument's text to demonstrate this.

A *very* rough draft of a paper on Anselm's "ontological argument" in which I argue that the argument in the Proslogion rests on a robust notion of having "that then which nothing greater can be thought" in one's mind.

Anselm’s ontological argument is an argument for the existence of God. This paper presents Iris Murdoch’s ontological argument for the existence of the Good. It discusses her interpretation of Anselm’s argument, her distinctive appropriation of it, as well as some of the merits of her version of the argument. In doing so, it also shows how the argument integrates some key Murdochian ideas: morality’s wide scope, the basicness of vision to morality, moral (...) realism, and Platonism. (shrink)

In Proslogion II, Anselm writes: "But surely when this same Fool hears what I am speaking about, namely ‘something-than-which-nothing-greater-can-be-thought’, he understands what he hears, and what he understands is in his mind, even if he does not understand that it actually exists. … Even the Fool, then, is forced to agree that something-than-which-nothing-greater-can-be-thought exists in the mind, since he understands this when he hears it, and whatever is understood is in the mind." In this paper, I provide a careful analysis (...) of this argument. In my view, this is where the important action in Proslogion II is located. (shrink)

The ontological argument for the existence of God has enjoyed a recent renaissance among philosophers of religion. Alvin Plantinga's modal version is perhaps the most notable example. This essay critically examines Plantinga's rendition, uncovering both its strengths and weaknesses. The author concludes that while the argument is probably formally valid, it is ultimately unsound. Nonetheless, Plantinga's version has generated much interest and discussion. The author spends some time uncovering the reasons for the argument's powerful intuitive appeal. (...) He concludes his essay by appraising Pruss's recent defence of Plantinga's argument. (shrink)

This paper discusses: (1) Anselm’s ontological argument and its criticism by Gaunilo; (2) Plantinga’s ontological argument and its criticism by Mackie and Sobel; and (3) a simplified version of Gödel’s ontological argument. It also looks carefully at (4) Kant’s attempt to show that it is impossible for there to be a successful ontological argument.

This chapter gives an exposition and critique of Anselm's Proslogion II argument.

Paul Oppenheimer and Edward Zalta's formalisation of Anselm's ontological argument for the existence of God is automated by embedding a free logic for definite descriptions within Isabelle/HOL.

he general theme of this paper is the issue of formalization in philosophy; in a more specific way, it deals with the issue of formalization of arguments in analytic philosophy of religion. One argument in particular – Anselm’s Proslogion II ontological argument – and one specific attempt to formalize it – Robert Adams’ formalization found in his paper “The Logical Structure of Anselm’s Arguments”, published in The Philosophical Review in 1971 – are taken as study cases. The (...) purpose of the paper is to critically analyze Adams’ formalization with the intent to shed some light on the following questions: What are the virtues of formally analyzing arguments and the contributions, if any, of such an enterprise to the debate on Anselm’s argument? Which lessons can Adam’s work teach us about the dangers and limitations of formalization? Do these virtues and dangers teach us something about analysis of arguments in general? (shrink)

This paper aims to show that Godel's ontological argument can be parodied in much the same kind of way in which Gaunilo parodied Anselm's Proslogion argument. The parody in this paper fails; there is a patch provided in "Reply to Gettings" (Analysis 60, 4, 2000, 363-7).

We can attend to the logic of Anselm's ontological argument, and amuse ourselves for a few hours unraveling its convoluted word-play, or we can seek to look beyond the flawed logic, to the search for God it expresses. From the perspective of this second approach the Ontological Argument might be seen as more than a mere argument - indeed, as something of a contemplative exercise. One can see in the argument a tantalizing attempt (...) to capture in logical form the devotee’s experience of the presence of God in the contemplation of God. It is a peculiarity of the argument that it can seem hopelessly silly or richly evocative depending upon which of these approaches one takes. In this essay I examine the flawed logic of the Ontological Argument, but then attempt to reflect upon the contemplative experience that may underlie it. (shrink)

The purpose of this paper is twofold. First, it aims at introducing the ontological argument through the analysis of five historical developments: Anselm’s argument found in the second chapter of his Proslogion, Gaunilo’s criticism of it, Descartes’ version of the ontological argument found in his Meditations on First Philosophy, Leibniz’s contribution to the debate on the ontological argument and his demonstration of the possibility of God, and Kant’s famous criticisms against the (cartesian) (...) class='Hi'>ontological argument. Second, it intends to critically examine the enterprise of formally analyzing philosophical arguments and, as such, contribute in a small degree to the debate on the role of formalization in philosophy. My focus will be mainly on the drawbacks and limitations of such enterprise; as a guideline, I shall refer to a Carnapian, or Carnapian-like theory of argument analysis. (shrink)

General discussion of ontological arguments. (Extended the discussion of ontological arguments in the then current version of my SEP entry on ontological arguments.).

Although most agree that St. Anselm’s ontological argument is problematic, there is no consensus as to what, exactly, is the flaw in the argument. In this essay, I propose what I take to be a novel criticism of the argument. Specifically, I claim that Anselm is guilty of an equivocation in his use of the word “God,” using it sometimes to refer to a being and sometimes to refer to a concept. Any attempt to remove this (...) equivocation, I show, is doomed to failure; it is impossible to render the argument (or some version thereof) sound. (shrink)

This paper introduces the special issue on Formal Approaches to the Ontological Argument of the Journal of Applied Logics (College Publications). The issue contains the following articles: Formal Approaches to the Ontological Argument, by Ricardo Sousa Silvestre and Jean-Yves Béziau; A Brief Critical Introduction to the Ontological Argument and its Formalization: Anselm, Gaunilo, Descartes, Leibniz and Kant, by Ricardo Sousa Silvestre; A Mechanically Assisted Examination of Begging the Question in Anselm’s Ontological Argument, (...) by John Rushby; A Tractarian Resolution to the Ontological Argument, by Erik Thomsen; On Kant’s Hidden Ambivalence Toward Existential Generalization in his Critique of the Ontological Argument, by Giovanni Mion; The Totality of Predicates and the Possibility of the Most Real Being, by Srećko Kovač; An Even More Leibnizian Version of Gödel’s Ontological Argument, by Kordula Świętorzecka and Marcin Łyczak; A Case Study On Computational Hermeneutics: E. J. Lowe’s Modal Ontological Argument, by David Fuenmayor. (shrink)

Computers may help us to better understand (not just verify) arguments. In this article we defend this claim by showcasing the application of a new, computer-assisted interpretive method to an exemplary natural-language ar- gument with strong ties to metaphysics and religion: E. J. Lowe’s modern variant of St. Anselm’s ontological argument for the existence of God. Our new method, which we call computational hermeneutics, has been particularly conceived for use in interactive-automated proof assistants. It aims at shedding light (...) on the meanings of words and sentences by framing their inferential role in a given argument. By employing automated theorem reasoning technology within interactive proof assistants, we are able to drastically reduce (by several orders of magnitude) the time needed to test the logical validity of an argu- ment’s formalization. As a result, a new approach to logical analysis, inspired by Donald Davidson’s account of radical interpretation, has been enabled. In computational hermeneutics, the utilization of automated reasoning tools ef- fectively boosts our capacity to expose the assumptions we indirectly commit ourselves to every time we engage in rational argumentation and it fosters the explicitation and revision of our concepts and commitments. (shrink)

This paper is a critique of Stephen Makin's ontological argument. To some extent, the argument of this paper is recapitulated in *Ontological Arguments and Belief in God* (CUP, 1996).

Is there anything new to be said about Anselm's ontological argument? Recent work by Lynne Baker and Gareth Matthews raises some interesting and important questions about the argument. First, Anselm's argument is set in the context of a prayer to God, whose existence Anselm seeks to prove. Is that peculiar or paradoxical? Does it imply that Anselm's prayer is insincere? Baker and Matthews have offered a novel interpretation of Anselm's argument, designed (...) to solve a crucial problem with it. Does their interpretation succeed in solving that problem? This paper addresses both of these questions. (shrink)

This paper discusses recent work on higher-order ontological arguments, including work on arguments due to Gödel, Maydole and Pruss. After setting out a range of these arguments, the paper seeks to highlight the principal difficulties that these kinds of arguments confront. One important aim of the paper is to cast light on Gödel's ontological argument by way of an examination of a range of related higher-order arguments.

In this paper, the authors show that there is a reading of St. Anselm's ontological argument in Proslogium II that is logically valid (the premises entail the conclusion). This reading takes Anselm's use of the definite description "that than which nothing greater can be conceived" seriously. Consider a first-order language and logic in which definite descriptions are genuine terms, and in which the quantified sentence "there is an x such that..." does not imply "x exists". Then, (...) using an ordinary logic of descriptions and a connected greater-than relation, God's existence logically follows from the claims: (a) there is a conceivable thing than which nothing greater is conceivable, and (b) if <em>x</em> doesn't exist, something greater than x can be conceived. To deny the conclusion, one must deny one of the premises. However, the argument involves no modal inferences and, interestingly, Descartes' ontological argument can be derived from it. (shrink)

The ontological argument- proposed by St. Anselm and developed by Descartes, Leibniz, Kant, Hegel, and Marx- furnishes a key to understanding the relationship between thought and reality. In this article, we shall focus on Hegel’s attitude towards the ontological argument as set out in his Science of Logic, where it appears as a paradigm of the relationship between thought and reality. It should be remarked, moreover, that our choice of the subject was not random and that (...) it was selected for the reason that belief in God is a preeminent social reality, inasmuch as faith in God creates His existence. Therefore, an investigation of the concept of God is an inquiry into the most profound recesses of human consciousness. The great opponents of the ontological argument, from Hume down to our day--and even Kant--have based their arguments upon the fundamental empiricist assertion that existential judgments are not analytical. This paper attempts to defend the ontological argument against its opponents. (shrink)

In his eleventh century dialogue De Casu Diaboli, Anselm seeks to avoid the problem of evil for theodicy and explain the fall of Satan as attributable to Satan’s own self-creating wrongful will. It is something, as such, for which God as Satan’s divine Creator cannot be held causally or morally responsible. The distinctions on which Anselm relies presuppose an interesting metaphysics of nonbeing, and of the nonbeing of evil in particular as a privation of good, worthy of critical philosophical investigation (...) in its own right. Anselm’s concept of nonbeing does not resolve the philosophical problem of evil implied by Satan’s fall from grace, but is shown perhaps more unexpectedly to enable Anselm’s proof for the inconceivable nonexistence of God as the greatest conceivable intended object of thought to avoid Kant’s Critique of Pure Reason objection to the general category of ”ontological’ arguments. (shrink)

The beauty of Anselm’s ontological argument is, I believe, that no matter how one approaches it, one cannot refute it without making a significant metaphysical assumption, one that is likely to be contentious in its own right. Peter Millican disagrees. He introduces an objection according to which one can refute the argument merely by analysing its shallow logical details, without making any significant metaphysical assumption. He maintains, moreover, that his objection does not depend on a specific reading (...) of the relevant Anselmian text; in fact, Millican claims that his objection is applicable to every version of the ontological argument. In this paper, I argue that millican’s objection does not succeed, because, contrary to what he says, in order to justify his objection he does have to make a deep metaphysical assumption and rely on a specific reading of Anselm’s text. (shrink)

St. Anselm is a master of philosophical prose. His writings on God, truth, and free will are models of clarity born of unflagging concern for argumentative precision. He is especially adept at using analogies to cinch his readers' understanding of these recondite matters. Who could forget the light shed upon the concept of existence by the Painter Analogy in the Ontological Argument or how his River Analogy illumines the unification of the Holy Trinity? Such intellectual insights could only (...) be gifts of the Holy Ghost for the edification of Holy Mother Church. I shall discuss here the three splendid analogies that St. Anselm draws in De Concordia in order to reconcile grace and free will, fostering an understanding of co-operation according to which divine assistance must accentuate, rather than nullify, exercises of human freedom. Central to my discussion is The Father of Scholasticism's four-fold distinction between a power, its exercises, the effects of those exercises, and opportunities to bring about those effects. (shrink)

St. Anselm is a master of philosophical prose. His writings on God, truth, and free will are models of clarity born of unflagging concern for argumentative precision. He is especially adept at using analogies to cinch his readers' understanding of these recondite matters. Who could forget the light shed upon the concept of existence by the Painter Analogy in the Ontological Argument or how his River Analogy illumines the unification of the Holy Trinity? Such intellectual insights could only (...) be gifts of the Holy Ghost for the edification of the Holy Mother Church. I shall discuss here the three splendid analogies that St. Anselm draws in De Concordia in order to reconcile grace and free will, fostering an understanding of cooperation according to which divine assistance must accentuate, rather than nullify, exercises of human freedom. Central to my discussion is The Father of Scholasticism's four-fold distinction between a power, its exercises, the effects of those exercises, and opportunities to bring about those effects. (shrink)

Classical Greek philosophy in its struggle to grasp the material world from its very beginning has been marked by the – sometimes undercurrent, some others overt and even intense, but never idle – juxtaposition between the mind and the senses, logos and perception or, if the anachronism is allowed, between realism and idealism. Parmenides is reportedly the first philosopher to insistently assert that thought and being are the same by his famous aphorism τὸ γὰρ αὐτὸ νοεῖν ἐστί τε καὶ εἶναι, (...) and that the “way of truth”, as opposed to the “way of opinion”, only runs through the intellect, since the truth is unattainable by the illusory senses. Thus, true may be only what our intellect can firmly grasp, and – by an easy, though not equally sound step – vice versa: that which our intellect can firmly grasp is necessarily true. In this paper I intend to set off Parmenides’ apparent influence on Anselm with regard to the latter’s celebrated ontological argument concerning the existence of God, and the influence of both on Spinoza’s Ethica, which is founded on the key tenet that not only does God necessarily exist – since God is intellectually conceivable –, but that God also by necessity is an utterly good one. (shrink)

I consider what I hope are increasingly sophisticated versions of ontological argument, beginning from simple definitional forms, through three versions to be found in Anselm, with their recent interpretations by Malcolm, Plantinga, Klima and Lowe. I try to show why none of these work by investigating both the different senses of necessary existence and the conditions under which logically necessary existence can be brought to bear. Although none of these arguments work, I think that they lead to interesting (...) reflections on the nature of definition, on the conditions for possessing the property of necessary existence and point towards a different, neo-Platonic ground for God’s meeting the criteria for being logically necessary. (shrink)

Critical review of Daniel Dombrowski's "Rethinking the Ontological Argument".

Gaunilo presents Anselm with a dilemma in section 7 of his Responsio: I know most certainly that I exist. But If I cannot think my non-existence at the same time, then Anselm's claim in Proslogion 3 (that my inability to think God's non-existence, while knowing most certainly that He exists, is a unique property of God) would be false. If I can do so, however, then I should also be able to know most certainly that God exists and, at (...) the same time, think his non-existence. I will show that Anselm's response to Gaunilo's attack is not adequate because it does not address the issue of certainty, which is at the heart of Gaunilo's objection. (shrink)

Millican (Mind 113(451):437–476, 2004) claims to have detected ‘the one fatal flaw in Anselm’s ontological argument.’ I argue that there is more than one important flaw in the position defended in Millican (Mind 113(451):437–476, 2004). First, Millican’s reconstruction of Anselm’s argument does serious violence to the original text. Second, Millican’s generalised objection fails to diagnose any flaw in a vast range of ontological arguments. Third, there are independent reasons for thinking that Millican’s generalised objection is unpersuasive.

This essay argues that Anselm’s Proslogium II is self-invalidating and that it must be so in order for Proslogium III to be a valid argument. It begins by differentiating between necessary existence, logical possibility, and contingency, establishing that necessary existence can never be treated as a matter of logical possibility. In turn, possibility must always be defined alongside the concept of contingency. It is then further shown that necessity can in no sense be possible, for the possible implies the (...) contingent at some future time. In the context of Anselm’s Proslogium II, this means that the proposition that that-than-which-nothing-greater-can-be-conceived could exist invalidates Anselm’s conclusion that it does exist in reality for it confines Deity to contingent actuality only. Furthermore, it is shown that the conclusion of Proslogium III—that a necessary being is that than which nothing greater can be conceived—rests on the invalidity of the contingent actuality established in Proslogium II, which is shown to be invalid retrospectively as a logical consequence of the validity of III and prospectively as the condition for the validity of III. It is not that III is merely the stronger of the two arguments; it is, if correct, the only valid argument. (shrink)

(This is for the Cambridge Handbook of Analytic Philosophy, edited by Marcus Rossberg) In this handbook entry, I survey the different ways in which formal mathematical methods have been applied to philosophical questions throughout the history of analytic philosophy. I consider: formalization in symbolic logic, with examples such as Aquinas’ third way and Anselm’s ontological argument; Bayesian confirmation theory, with examples such as the fine-tuning argument for God and the paradox of the ravens; foundations of mathematics, with (...) examples such as Hilbert’s programme and Gödel’s incompleteness theorems; social choice theory, with examples such as Condorcet’s paradox and Arrow’s theorem; ‘how possibly’ results, with examples such as Condorcet’s jury theorem and recent work on intersectionality theory; and the application of advanced mathematics in philosophy, with examples such as accuracy-first epistemology. (shrink)

This article is a reply to Michael Gettings' criticisms of a previous paper of mine on Godel's ontological argument. (All relevant bibliographical details may be found in the article.) I provide a patch to my previous -- faulty -- attempt to provide a parody of Godel's ontological argument on the model of Gaunilo's parody of Anselm's Proslogion 2 argument.

First, I suggest that it is possible to make some further improvements upon the Gödelian ontological arguments that Pruss develops. Then, I argue that it is possible to parody Pruss's Gödelian ontological arguments in a way that shows that they make no contribution towards 'lowering the probability of atheism and raising the probability of theism'. I conclude with some remarks about ways in which the arguments of this paper can be extended to apply to the whole family of (...) Gödelian ontological arguments. (shrink)

This paper is my second contribution to the Szatkowski volume. In the first paper, I provide a critical discussion of Bob Maydole's ontological arguments. In this second paper, I respond to Maydole's critical response to my first paper. My overall verdict is that Maydole does not successfully defend his arguments against my critical attack.

Kearns (2021) argues that there is a parody version of Anselm's ontological argument (a "gontological argument") which shows that God does not exist. I show that Anselm considers one of the key premises in Kearns' gontological argument, and explicitly gives an argument which entails its falsity, and hence the unsoundness of the supposed parody argument. -/- .

Some students who possess the same cognitive skill set as their counterparts but who neither speak nor write English fluently have to contend with an unnecessary barrier to academic success. While an administrative top-down approach has been in progress for many years to address this issue, enhancement of student performance begins in the classroom. Thus, we argue that instructors ought to implement a more organic bottom-up approach. If it is possible for instructors to make class content available in other languages, (...) such as Spanish, without thereby compromising something of comparable pedagogical value, then they ought to do so. In fact, we provide here Anselm’s Ontological Argument rendered in Spanish to show how, when translated, it provides native Spanish speakers with greater accessibility to difficult material. Then, we consider the possible beneficial implications of doing so for university students. (shrink)

Brian Garrett claims, in defence of Gaunilo’s Perfect Island and contra Plantinga, that ‘Properly understood, the great-making qualities of an island are maximal’. This article demonstrates that they are not, thus ‘the greatest conceivable island’ remains an incoherent concept and Gaunilo’s parody fails.

This paper is a response to Bruce Langtry's criticisms of views advanced in my book *Ontological Arguments and Belief in God*. In particular, the paper discusses his criticisms of "the general objection" to ontological arguments that is developed in that work.

This article is a brief overview of major ontological arguments. The most noteworthy feature of this article is the statement of a new parody of the Anselmian and Cartesian arguments that is obviously immune to objections adverting to intrinsic minima and maxima.

Gaunilo argued that Anselm could prove the existence of many perfect objects, for example, the happiest island, that is, happier than any other island. More formally, Gaunilo’s arguments were intended to show that the sentence “God exists‘ does not follow from premises accepted by Anselm. Contemporary versions of the ontological proof use the maximalization procedure in order to demonstrate that God exists as the most perfect being. This paper argues that this method, which is based on maximalization, is not (...) sufficient to prove God’s existence. Thus, a “contemporary Gaunilo‘ can repeat objections raised by his ancestor. (shrink)

This paper offers a short extension of the dialogue between Anselm and the Fool that is contained in "The Ontological Argument Simplified" by Gary Matthews and Lynne Rudder Baker. My extension of the dialogue ends with the Fool proclaiming that "what looks like an argument of elegant simplicity turns out to be no argument at all".

This paper examines the doctrine of existence as a perfection. Examining some of the comments from Leroy Howe, there is an immense amount of confusion with the idea of existence as a perfection. Leaning on some level of the cosmological argument, I believe it is Descartes that brings forth a proper understanding of why existence is a great making property. However, there is a level of irrelevance between the Kantian problem existence as a predicate and the nature of (...) class='Hi'>Anselm's argument. (shrink)

Gaunilo assumes that there is no greatest conceivable island, and most philosophers have followed him in this assumption. But the option was open for Anselm (and remains open for us) to bite the bullet and ‘give him his island.’ I argue that such a response is perfectly reasonable for a Platonist like Anselm, and that even a theist who isn’t a Platonist can tolerate the island as a fairly minor addition his or her ontology.

This article serves to explore the historical development of the ontological argument from Anselm to Present. Initially, the main goal is to introduce the lay reader to one of the most perplexing arguments for the theistic conception of God. Logically, this is an a priori argument, similar to one of a mathematical proof. Oddly, the argument has sort of fallen out of place in contemporary philosophy, apart from a reboot from Alvin Plantinga. The goal is to (...) illustrate that the initial argument as stated by Anselm seems to be an unsolved problem in philosophical inquiry. (shrink)

In this Introduction, we begin with two relatively uncontroversial matters: the broad contours of the history of discussion of ontological arguments, and the major topics that require discussion in connection with ontological arguments. We then move on to consideration of the much more difficult task of the characterisation of ontological arguments—i.e. the task of saying exactly what ontological arguments are and explaining how they differ from, say, cosmological, teleological, and moral arguments for the existence of God—and (...) then the equally contested question of the provision of general objections to ontological arguments, including, in particular, attempts to show that there could not possibly be a successful ontological argument. Finally, we consider some often-neglected questions about how to assess the merits of arguments, with a particular eye on the assessment of the merits of ontological arguments. (shrink)

I argue that Descartes intended the so-called ontological "argument" as a self-validating intuition, rather than as a formal proof. The textual evidence for this view is highly compelling, but the strongest support comes from understanding Descartes's diagnosis for why God's existence is not 'immediately' self-evident to everyone and the method of analysis that he develops for making it self-evident. The larger aim of the paper is to use the ontological argument as a case study of Descartes's (...) nonformalist theory of deduction and his method of analysis, showing how he conceives the latter as a form of philosophical therapy. (shrink)

This essay examines how, in the early twentieth century, ontological arguments were employed in the defense of metaphysical idealism. The idealists of the period tended to grant that ontological arguments defy our usual expectations in logic, and so they were less concerned with the formal properties of Anselmian arguments. They insisted, however, that ontological arguments are indispensable, and they argued that we can trust argumentation as such only if we presume that there is a valid ontological (...) argument. In the first section I outline the history of this metalogical interpretation of the ontological argument. In the subsequent sections I explain how Royce and Collingwood each developed the argument, and how this impacted their respective conceptions of both logic and metaphysics. (shrink)

This paper is an assessment of Robert Maydole's work on ontological arguments. (Bibliographical details are provided in the text.) I argue that Maydole's ontological arguments are unsuccessful.

The article examines Kant's various criticisms of the broadly Cartesian ontological argument as they are developed in the Critique of Pure Reason. It is argued that each of these criticisms is effective against its intended target, and that these targets include—in addition to Descartes himself—Leibniz, Wolff, and Baumgarten. It is argued that Kant's most famous criticism—the charge that being is not a real predicate—is directed exclusively against Leibniz. Kant's argument for this thesis—the argument proceeding from his (...) example of a hundred thalers—although it may seem to beg the question, in fact succeeds against Leibniz. It does so because the charge of begging the question can be rebutted if one makes certain Leibnizian assumptions. (shrink)