Kevin Harrelson's book commences with the following words: This book provides a philosophical analysis of the several debates concerning the "ontological argument" from the middle of the seventeenth to the beginning of the nineteenth century. My aim in writing it was twofold. First, I wished to provide a detailed and comprehensive account of the history of these debates, which I perceived to be lacking in the scholarly literature. Second, I wanted also to pursue a more philosophically interesting question (...) concerning the apparent unassailability of ontological arguments. In pursuit of this latter problem, the driving question that my account addresses is "why has this argument, or kind of argument, been such a constant in otherwise diverse philosophical contexts and periods?" I think that there is no doubt that Harrelson succeeds in the first of these aims. He has, indeed, produced a detailed scholarly account of the history of debates about ontological arguments from the middle of the seventeenth century to the beginning of the nineteenth. His history is engaging and interesting, covering a wide range of authors with diverse philosophical orientations: Descartes, Arnauld, Caterus, Gassendi, Hobbes, Mersenne, More, Geulincx, Cudworth, Locke, Clarke, Malebranche, Huet, Spinoza, Leibniz, Wolff, Baumgarten, Eberhard, Crusius, Kant, Mendelssohn, and Hegel, among others. It seems to me that anyone who works on the treatment of. (shrink)

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.

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

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)

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)

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)

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)

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)

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)

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 paper deals with the "deuteros plous", literally ‘the second voyage’, proverbially ‘the next best way’, discussed in Plato’s "Phaedo", the key passage being Phd. 99e4–100a3. The second voyage refers to what Plato’s Socrates calls his “flight into the logoi”. Elaborating on the subject, the author first (I) provides a non-standard interpretation of the passage in question, and then (II) outlines the philosophical problem that it seems to imply, and, finally, (III) tries to apply this philosophical problem to the "ultimate (...) final proof" of immortality and to draw an analogy with the ontological argument for the existence of God, as proposed by Descartes in his 5th "Meditation". The main points are as follows: (a) the “flight into the logoi” can have two different interpretations, a common one and an astonishing one, and (b) there is a structural analogy between Descartes’s ontological argument for the existence of God in his 5th "Meditation" and the "ultimate final proof" for the immortality of the soul in the "Phaedo". (shrink)

This is an excerpt of Aquinas' proof of the existence of God. In proving God's existence, Aquinas lays out a cosmological argument of which also sets that tone for his seminal work in epistemology.

In this paper, I examine Kant's famous objection to the ontological argument: existence is not a determination. Previous commentators have not adequately explained what this claim means, how it undermines the ontological argument, or how Kant argues for it. I argue that the claim that existence is not a determination means that it is not possible for there to be non-existent objects; necessarily, there are only existent objects. I argue further that Kant's target is not merely (...) ontological arguments as such but the larger ‘ontotheist’ metaphysics they presuppose: the view that God necessarily exists in virtue of his essence being contained in, or logically entailed by, his essence. I show that the ontotheist explanation of divine necessity requires the assumption that existence is a determination, and I show that Descartes and Leibniz are implicitly committed to this in their published versions of the ontological argument. I consider the philosophical motivations for the claim that existence is a determination and then I examine Kant's arguments in the Critique of Pure Reason against it. (shrink)

Descartes spent over 30 years commenting on the phenomenon of gravity. His attempts to explain gravity in his early private notes, his early letters up to the writing of Le Monde are subject to a clear development. This development is not merely of interest in the history of science, but also promises to shed light on those reasons that led him to reject the scholastic terminology on which he had based his early explanations. This is especially true of the concept (...) of real quality, which is central in this context. It will be seen that Descartes justified his rejection of this concept at different times with quite different arguments. In doing so, I would like to correct a view that is sometimes suggested, if not explicitly put forward, in studies of Descartes' relationship to the scholastic vocabulary: Descartes rejected this vocabulary because of ontological reservations. This misinterpretation also seems to me to underlie Gilson's investigation. To illustrate the development of Descartes' attitude towards traditional ontological terminology, I will first consider the early statements in which Descartes conceives of gravity as a real quality. In a second step, I will examine the period around 1630, when Descartes arrived at a mechanistic conception of gravity. What were the reasons for Descartes abandoning his old conception? In a third step, I will look at the statements from the 1940s in which Descartes discusses gravity as an example of a real quality, a category that no longer has a place in his ontological considerations. (shrink)

This article maintains that Jean-Paul Sartre’s early masterwork, Being and Nothingness, is primarily concerned with developing an original approach to the being of consciousness. Sartre’s ontology resituates the Cartesian cogito in a complete system that provides a new understanding of negation and a dynamic interpretation of human existence. The article examines the role of consciousness, temporality and the relationship between self and others in the light of Sartre’s arguments against “classical” rationalism. The conclusion suggests that Sartre’s departure from modern foundationalism (...) has “postmodern” implications that emerge in the areas of ontology, existential analytics and the ethics of human freedom. (shrink)

Famous examples of conceivability arguments include (i) Descartes’ argument for mind-body dualism, (ii) Kripke's ‘modal argument’ against psychophysical identity theory, (iii) Chalmers’ ‘zombie argument’ against materialism, and (iv) modal versions of the ontological argument for theism. In this paper, we show that for any such conceivability argument, C, there is a corresponding ‘mirror argument’, M. M is deductively valid and has a conclusion that contradicts C's conclusion. Hence, a proponent of C—henceforth, a ‘conceivabilist’—can (...) be warranted in holding that C's premises are conjointly true only if she can find fault with one of M's premises. But M's premises are modelled on a pair of C's premises. The same reasoning that supports the latter supports the former. For this reason, a conceivabilist can repudiate M's premises only on pain of severely undermining C's premises. We conclude on this basis that all conceivability arguments, including each of (i)–(iv), are fallacious. (shrink)

The syllogism and the predicate calculus cannot account for an ontological argument in Descartes' Fifth Meditation and related texts. Descartes' notion of god relies on the analytic-synthetic distinction, which Descartes had identified before Leibniz and Kant did. I describe how the syllogism and the predicate calculus cannot explain Descartes' ontological argument; then I apply the analytic-synthetic distinction to Descartes’ idea of god.

In the practical philosophy of the Discours de la Méthode, before the theoretical metaphysics of Part Four and the Meditationes, Descartes gives us an inductive argument that his method, the procedure and cognitive psychology, is veracious at its inception. His evidence, akin to his Scholastic predecessors, is God, a maximally perfect being, established an ontological foundation for knowledge such that reason and nature are isomorphic. Further, the method, he tells us, is a functional definition of human reason; that (...) is, like other rationalists during this period, he holds the structure of reason maps onto the world. The evidence for this thesis is given in what I call the groundwork to Descartes’ philosophical system, essentially the first half of the Discours, where, through a series of examples in the preamble of Part Two, he, step-by-step, ascends from the perfection of artifacts through the imposition of reason to the perfection of a constituent’s use of her cognitive faculties, to God perfecting and ordering reality. Finally, he descends, establishing the structure of human reason, which undergirds and entails the procedure of the method. (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).

This paper deals with the deuteros plous, literally ‘the second voyage’, proverbially ‘the next best way’, discussed in Plato’s Phaedo, the key passage being Phd. 99e4-100a3. I argue that (a) the ‘flight into the logoi’ can have two different interpretations, a standard one and a non-standard one. The issue is whether at 99e-100a Socrates means that both the student of erga and the student of logoi consider images (‘the standard interpretation’), or the student of logoi does not consider images but (...) that “consistency should suffice for truth” (‘the non-standard interpretation’); (b) the non-standard one implies the problem of the hypothesis, a problem analogous to the problem of the elenchus; (c) there is a structural analogy between Descartes’ ontological argument for the existence of God in his 5th Meditation and the final proof for the immortality of the soul in the Phaedo. (shrink)

Archimedes of Syracuse has long provided a touchstone for considering how we make and acquire knowledge. Since the early Roman chroniclers of Archimedes’ life, and especially intensively since Descartes, scholars have described, sought, or derided the Archimedean point, defining and redefining its epistemic role. “Knowledge,” at least within modernity, is rhetorically tied to the figure of the Archimedean point, a place somewhere outside a regular and constrained world of experience. If this figure still leads to useful ways of thinking about (...) knowing, we are left with the question of how different modes of making knowledge approach their “Archimedean” points. The question is especially important today as a renewed .. (shrink)

Dombrowski and Murdoch offer versions of the ontological argument which aim to avoid two types of objection – those concerned with the nature of the divine, and those concerned with the move from an abstract concept to a mind-independent reality. For both, the nature of the concept of God/Good entails its instantiation, and both supply a supporting argument from experience. It is only Murdoch who successfully negotiates the transition from an abstract concept to the instantiation of that (...) concept, however, and this is achieved by means of an ontological argument from moral experience which, in a reversal of the Kantian doctrine, depends ultimately on a form of the cosmological argument. (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 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)

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.

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)

It is widely assumed among contemporary philosophers that Descartes’ version of ontological proof, among other weaknesses, makes an impossible and unjustified move from the mental world of concepts to the real world of things. Contrary to this opinion I will try to show that Descartes’ famous principle of clear and distinct perception suffices to find an adequate inferential connection between the contents of the human mind and extra-mental reality. In a clear and distinct way we cognitively grasp the concept (...) of supremely perfect being as the concept that we do not construct by an arbitrary definition of the word ”God’. (shrink)

Face-coverings were widely mandated during the Covid-19 pandemic, on the assumption that they limit the spread of respiratory viruses and are therefore likely to save lives. I examine the following ethical dilemma: if the use of face-masks in social settings can save lives then are we obliged to wear them at all times in those settings? I argue that by en-masking the face in a way that is phenomenally inconsistent with or degraded from what we are innately programmed to detect (...) as human likeness, we are degrading the social quality of our relations. Drawing on my previously published proof that Self is socially reflexive (mutually mirrored) rather than monadic in its constitution, I conclude that any widespread en-masking is also deleterious to humanity and therefore unethical. (shrink)

Part I argues that ontological arguments, like other classical proofs of the existence of God, are parts of larger arguments in which they are embedded. These larger arguments include reasons supporting the proofs’ premises and responses to them, and to the proofs’ claims to validity and non-circularity, since, in the final analysis, our assessment of the proofs will express our best judgment of the cumulative force of all the considerations bearing on their overall adequacy. Part II illustrates these points (...) by examining contemporary defences of, and attacks on, one of the ontological argument’s central premises, namely, that God’s existence is logically possible. (shrink)

This essay proposes a new interpretation of a central, and yet overlooked, argument Leibniz offers against Descartes’s power-free ontology of the corporeal world. Appealing to considerations about the successiveness of motion, Leibniz attempts to show that the reality of motion requires force. It is often assumed that the argument is driven by concerns inspired by Zeno. Against such a reading, this essay contends that Leibniz’s argument is instead best understood against the background of an Aristotelian view of (...) the priority of real being over time. The essay also shows how this alternative interpretation can help to shed new light on the difference between Leibnizian forces and Aristotelian powers, as well as on Leibniz’s famous claim that accounting for force leads us beyond the mechanistic corporeal realm. (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".

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 is a discussion of an ontological argument defended by E. J. Lowe in the *Routledge Companion to Philosophy of Religion* (edited by C. Meister and P. Copan, at pp.332-40). The volume to which this paper belongs contains an article by Lowe which defends a different ontological argument from the one that I discuss.

Ontological arguments like those of Gödel (1995) and Pruss (2009; 2012) rely on premises that initially seem plausible, but on closer scrutiny are not. The premises have modal import that is required for the arguments but is not immediately grasped on inspection, and which ultimately undermines the simpler logical intuitions that make the premises seem plausible. Furthermore, the notion of necessity that they involve goes unspecified, and yet must go beyond standard varieties of logical necessity. This leaves us little (...) reason to believe the premises, while their implausible existential import gives us good reason not to. (shrink)

This article aims to provide a new ontological argument for the existence of God. A specific ‘modal’ version of the ontological argument—termed the Modal Realist Ontological Argument—is formulated within the modal realist metaphysical framework of David K. Lewis, Kris McDaniel and Philip Bricker. Formulating this argument within this specific framework will enable the plausibility of its central premise (i.e., the ‘Possibility Premise’) to be established, and allow one to affirm the soundness of the (...) argument—whilst warding off two oft-raised objections against this type of natural theological argument. (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).

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 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.

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 paper presents a new version of the "Cosmological Argument" – considered to be an ontological argument, since it exclusively uses ontological concepts and principles. It employs famous results of modern physics, and distinguishes between event-causation and agent-causation. Due to these features, the argument manages to avoid the objection of infinite regress. It remains true, however, that the conclusion of the argument is too unspecific to be unambiguously considered an argument for the existence (...) of God. (shrink)

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 contemporary versions of the ontological argument that originated from Charles Hartshorne are formalized proofs based on unique modal theories. The simplest well-known theory of this kind arises from the b system of modal logic by adding two extra-logical axioms: “If the perfect being exists, then it necessarily exists‘ and “It is possible that the perfect being exists‘. In the paper a similar argument is presented, however none of the systems of modal logic is relevant to it. (...) Its only premises are the axiom and, instead of, the new axiom : “If the perfect being doesn’t exist, it necessarily doesn’t‘. The main goal of the work is to prove that is no more controversial than and -- in consequence -- the whole strength of the modal ontological argument lies in the set of its extra-logical premises. In order to do that, three arguments are formulated: ontological, “cosmological‘ and metalogical. (shrink)

This chapter gives an exposition and critique of Anselm's Proslogion II 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)

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)

The aim of this paper is to reconstruct a modal version of the ontological argument (MOA) in a two dimensionally extended way. This modification of MOA, I argue, might respond to Tooley’s (1981) and Findlay’s (1948) prominent objections against the argument. The MOA has two distinct key premises that are criticized by Tooley and Findley. According to Tooley, the structure of the argument allows to define further properties that exclude the existence of God-like beings. Findlay, however, (...) argues against the proof in a Kantian way by claiming that the very property of necessary existence is contradictory, therefore no being can possess it. In this paper, I am going to show how Tooley and Findlay’s critique re-frame the original ontological argument debate. I will provide a comprehensive map over all possible ways of refuting the MOA. Finally, I argue that, once we apply a two dimensional framework, we are in a position to refute Findlay’s criticism. (shrink)