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)

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.

The main objective is an interpretation of the island parody, in particular a logical reconstruction of the parodying argument that stays close to the text. The parodied reasoning is identified as the proof in the second chapter of the Proslogion, more specifically, this proof as it is represented by Gaunilo in the first chapter of his Liber pro insipiente. The second task is a detailed comparison between parodied and parodying argument as well as an account of their common structure. (...) The third objective is a tentative characterization of the nature and function of parodies of arguments. It seems that parodying does not add new pertinent points of view to the usual criticism of an argument. (shrink)

The monk Gaunilo opens the vigorous disputation with Anselm by describing the infamous proof in the second chapter of the Proslogion. The following paper offers a detailed logical reconstruction of Gaunilo’s account of Anselm’s argument, thus making explicit the reasoning of Anselm in the view of Gaunilo. It will serve two purposes. Firstly it provides an easily understood example for the use of logic to interpret a nontrivial philosophical text. Secondly it reveals the reasons and the concepts (...) involved in the argument, thereby indicating further argumentative and semantic tasks. (shrink)

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)

The received view is that Gaunilo’s attempted refutation of Anselm’s ontological argument fails. But those who believe this do not agree as to why it fails. The aim of this essay is to show that whether the attempted refutation succeeds depends crucially on how one formulates the so-called greatmaking principle on which Anselm’s argument rests. This principle has largely been ignored by contemporary philosophers, who have chosen to focus on other aspects of the argument. I sketch two analyses of (...) metaphysical greatness and suggest that on one of them, which Anselm may have held, his argument avoids Gaunilo’s criticism. (shrink)

The best-known version of the ontological argument was formulated by Saint Anselm of Canterbury. With his argument Anselm tried to prove the existence of God. In my paper I restate all the propositions of Anselm’s argument, and also present Gaunilo’s counterarguments. Finally, I raise some problems that further analysis of the argument could benefit from.

Modal ontological arguments are often claimed to be immune to the flqqperfect islandfrqq objection of Gaunilo, because necessary existence does not apply to material, contingent things. But Gaunilo’s strategy can be reformulated: we can speak of non-contingent beings, like quasi-Gods or evil God. The paper is intended to show that we can construct ontological arguments for the existence of such beings, and that those arguments are equally plausible as theistic modal argument. This result does not show that this (...) argument is fallacious, but it shows that it is dialectically ineffective as an argument for theism. (shrink)

Gaunilo’s island analogy to Anselm’s ontological argument is often dismissed as weak. Alvin Plantinga rejects the concept of the greatest island as incoherent, arguing that island great making properties like coconutty lack intrinsic maxima—an island with more coconuts can always be found. In contrast, God is omniscient, ensuring that no being can surpass His knowledge. Plantinga suggests that divine attributes guarantee insurmountable greatness, unlike the attributes of an island. However, I challenge this view, arguing that the concept of the (...) greatest possible island is as coherent as that of the greatest possible being, both of which require select interpretation of the properties attributed to them. By applying omni qualifiers to island qualities and appealing to logical possibility, a map to Gaunilo’s lost island may be found. (shrink)

In this discussion note, I defend Gaunilo's famous parody of Anselm's Ontological Argument for God's existence against a well-known objection due to Alvin Plantinga.

Gaunilo, monk of Marmoutier, is known almost exclusively for his attempted refutation of Anselm’s ontological argument around 1079. Indeed, both his counter-example about the alleged island which is more excellent than all others and Anselm’s rebuttal thereof have nowadays become standard items for courses in medieval philosophy. Over the past decade or so, which has witnessed a revival of interest in the ontological argument, Gaunilo has been either lauded for his brilliancy or disparaged for his mediocrity. Thus, R. (...) W. Southern judges that, “in words which are as trenchant as, and in some details strikingly similar to, those of Kant,” Gaunilo pointed out the main difficulty in accepting Anselm’s argument.1 By contrast, the most Charles Hartshorne can say on Gaunilo’s behalf is that he is “a clever, but essentially commonplace mind.”2 Those who praise Gaunilo tend to do so because he “wisely” discerned the illegitimacy of inferring a factual statement from an a priori description. Those who speak derogatorily of his achievement tend to side with Anselm’s two criticisms: (1) that he misunderstood the phrase “aliquid quo nihil maius cogitari potest”—replacing it by “maius omnibus”—and (2) that his definition of “understanding” is inconsistent with his having maintained that what is unreal can be understood.3 Now, if Gaunilo did commit himself to two blatantly inconsistent statements within a few lines of each other, as the second criticism maintains, then to call him a clever mind would itself be an overstatement. (shrink)

Written for his brother Benedictine monks around 1077, Anselm's Proslogion is perhaps the best-known partially-read book of the Middle Ages. Many readers are familiar only with Anselm's well-known argument for God's existence in Chapters 2-4, which is often called the "ontological argument," a misleading appellation coined centuries later by Immanuel Kant. In this argument Anselm begins with the thought of "something than which nothing greater is able to be thought," and subsequently he leads the reader to see that such a (...) reality necessarily exists and cannot be thought not to be. This argument - which is, to be sure, crucial to the work constitutes - but a small portion of the whole. Preceding it is a profound but oft-overlooked opening chapter in which Anselm contemplates his all-too-human condition and disposes the reader to receive aptly his argument for God's existence in the next three chapters. And following this argument are 20 chapters in which Anselm artfully unfolds the depth and breadth of God's true existence as that than which nothing greater is able to be thought, showing God to be (among other things) able-to-sense, pity-hearted, just, good, and uncircumscribed. Indeed, if the reader is willing to give himself over to the work as whole, he will be compelled, under Anselm's deft guidance, to "endeavor to straighten up his mind toward contemplating God," which is how Anselm describes his own role in the work in his prefatory remarks. This edition provides a faithful yet readable English rendering of the whole Proslogion, the objections raised to Anselm's argument by his contemporary Gaunilo, and Anselm's replies to those objections. (After responding to Gaunilo, Anselm himself requested that these objections and replies be included in subsequent editions of the Proslogion.) This edition also includes an introduction that contextualizes the Proslogion within the monastic, pre-Scholastic age in which it first made its appearance. In addition, by means of notes and commentary, this edition articulates how to contextualize Anselm's famous argument in the Proslogion as a whole and in light of his replies to Gaunilo, how to appreciate the artistry whereby Anselm knit the Proslogion together into a coherent and concise unity, and how the work may be taught effectively to interested students. These features set this affordable English edition of the Proslogion apart from those currently available, which too often fail to capture accurately the beauty of Anselm's prose, which often treat the work through the lens of either later Scholasticism or contemporary analytic philosophy of religion, and which take little note of the craftsmanship whereby Anselm constructed this masterfully integrated work that is remembered too often for too few of its 24 chapters. Matthew Walz has taught in the interdisciplinary program at Thomas Aquinas College in California, and since 2008 he has been a professor in the Philosophy Department of the University of Dallas. (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) 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)

Scholars were greatly indebted to Max Charlesworth for publishing in 1965 the Latin text of Anselm’s Proslogion, together with his own translation and commentary. The intense discussion this argument has received since then has, however, clarified a number of points about the logic of this argument. Its first premise is not a definition of God, and that identification is one of the conclusions of a three-stage argument. Also, the much-discussed issue of the relation of Chap. 3 to Chap. 2 has (...) now been clarified: that the premise with which Anselm begins Chap. 3 is entailed by the conclusion of Chap. 2. For that reason, substituting a description of anything other than God for Anselm’s formula, such as Gaunilo’s Lost Island, entails that that thing both can and could not be thought not to exist. So, no such substitution is legitimate. (shrink)

In the _Proslogion_, St. Anselm presents a philosophical argument for the existence of God. Anselm's proof, known since the time of Kant as the ontological argument for the existence of God, has played an important role in the history of philosophy and has been incorporated in various forms into the systems of Descartes, Leibniz, Hegel, and others. Included in this edition of the_ Proslogion _are Gaunilo's "A Reply on Behalf of the Fool" and St. Anselm's "The Author's Reply to (...) Gaunilo." All three works are in the original Latin with English translation on facing pages. Professor Charlesworth's introduction provides a helpful discussion of the context of the _Proslogion_ in the theological tradition and in Anselm's own thought and writing. (shrink)

In the Proslogion, St. Anselm presents a philosophical argument for the existence of God. Anselm's proof, known since the time of Kant as the ontological argument for the existence of God, has played an important role in the history of philosophy and has been incorporated in various forms into the systems of Descartes, Leibniz, Hegel, and others. Included in this edition of the Proslogion are Gaunilo's "A Reply on Behalf of the Fool" and St. Anselm's "The Author's Reply to (...) Gaunilo." All three works are in the original Latin with English translation on facing pages. Professor Charlesworth's introduction provides a helpful discussion of the context of the Proslogion in the theological tradition and in Anselm's own thought and writing. (shrink)

Various attempts have been made to save Gaunilo's ‘ideal’ island by proposing different criteria for its maximal greatness or perfection. This paper addresses a recent proposal that ‘an ideal island is conceivable if it's defined as any island exhibiting an ideal ratio of great‐making island properties’ (Milo Crimi, ‘Ideally sized islands: Reply to Danielyan, Garrett and Plantinga’, Analysis 77 (2), 273‐278) and shows that it fails because the idea of an island – indeed, of anything that is finite, delineated (...) and circumscribed as a necessary condition of its conception ‐ cannot accommodate maximal greatness or perfection; neither can a determined quantitative relation between finite relata constitute a criterion of maximal greatness or perfection. Danielyan, Edgar (2018), On the Inherent Incoherence of Gaunilo's Island. The Heythrop Journal. doi:10.1111/heyj.13056. (shrink)

Donald R. Gregory has recently argued that the monk Gaunilo's response to St Anselm's ontological argument succeeds in showing what is fundamentally wrong with any ontological argument, including modern modal versions. He holds that the Gaunilo strategy in fact demonstrates what it alleges, that reasoning which parallels the form and intent ofAnselm's reductio argument can ‘prove’ a priori the existence of quite unacceptable entities.

Williams's translations are scrupulously faithful and accurate without being slavishly literal, and yet are lively and graceful.--Paul Vincent Spade, Indiana University.

Thomas Williams' edition offers an Introduction well suited for use in an introductory philosophy course, as well as his own preeminent translation of the text.

Gaunilo’s Lost Island Objection to Anselm’s Ontological Argument aims to show that if Anselm’s argument can establish the existence of a greatest conceivable being then a very similar argument can establish the existence of a greatest conceivable island. The challenge for the defender of Anselm is to identify the relevant disanalogy between Anselm’s argument and Gaunilo’s, in order to explain why Anselm’s can succeed while Gaunilo’s fails. In this essay I take up this challenge. Reflection on the (...) differences between the nature of islands and the nature of being yields the relevant disanalogy. (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.

In this paper, I shall present and defend an ontological argument for the existence of God. The argument has two premises: possibly, God exists, and necessary existence is a perfection. I then defend, at length, arguments for both of these premises. Finally, I shall address common objections to ontological arguments, such as the Kantian slogan, and Gaunilo-style parodies, and argue that they do not succeed. I conclude that there is at least one extant ontological argument that is plausibly sound.

This paper shows that a recent, simplified version of St. Anselm's proof of the existence of God has its flank open to Gaunilo's objection. Reformulating Anselm's line of reasoning in terms of the distinction between mediated and unmediated causal powers, as the simplified proof does, makes it harder for Anselm's supporters to refute the objection that the ontological argument absurdly entails the existence of all kinds of fictional entities.

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

Anselm of Canterbury, in his work Proslogion," originated the "ontological argument" for God's existence, famously arguing that "something than which nothing greater can be conceived," which he identifies with God, must actually exist, for otherwise something greater could indeed be conceived. Some commentators have claimed that although Anselm may not have been conscious of the fact, the Proslogion "as well as his Reply to Gaunilo" contains passages that constitute a second independent proof: a "modal ontological argument" that concerns the (...) supposed logical necessity of God's existence. Other commentators disagree, countering that the alleged second argument does not stand on its own but presupposes the conclusion of the first. Anselm's Other Argument "stakes an original claim in this debate, and takes it further. There is" a second a priori" argument in Anselm, A. D. Smith contends, but it is not the modal argument past scholars have identified. This second argument surfaces in a number of forms, though always turning on certain deep, interrelated metaphysical issues. It is this form of argument that in fact underlies several of the passages which have been misconstrued as statements of the modal argument. In a book that combines historical research with rigorous philosophical analysis, Smith discusses this argument in detail, finally defending a modification of it that is implicit in Anselm. This "other argument" bears a striking resemblance to one that Duns Scotus would later employ. (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.

This chapter presents and critically discusses the main historical variants of the “ontological argument,” a form of a priori argument for the existence of God pioneered by Anselm of Canterbury. I assess the contributions of Anselm, Descartes, Leibniz, and Gödel, and criticisms by Gaunilo, Kant, and Oppy among others.

Joel Feinberg : In Memoriam. Preface. Part I: INTRODUCTION TO THE NATURE AND VALUE OF PHILOSOPHY. 1. Joel Feinberg: A Logic Lesson. 2. Plato: "Apology." 3. Bertrand Russell: The Value of Philosophy. PART II: REASON AND RELIGIOUS BELIEF. 1. The Existence and Nature of God. 1.1 Anselm of Canterbury: The Ontological Argument, from Proslogion. 1.2 Gaunilo of Marmoutiers: On Behalf of the Fool. 1.3 L. Rowe: The Ontological Argument. 1.4 Saint Thomas Aquinas: The Five Ways, from Summa Theologica. 1.5 (...) Samuel Clarke: A Modern Formulation of the Cosmological Argument. 1.6 William L. Rowe: The Cosmological Argument. 1.7 William Paley: The Argument from Design. 1.8 Michael Ruse: The Design Argument. 1.9 David Hume: Dialogues Concerning Natural Religion. 2. The Problem of Evil. 2.1 Fyodor Dostoyevsky: Rebellion. 2.2 J. L. Mackie: Evil and Omnipotence. 2.3 Peter van Inwagen: The Argument from Evil. 2.4 Michael Murray and Michael Rea: The Argument from Evil. 2.5 B. C. Johnson: God and the Problem of Evil. 3. Reason and Faith. 3.1 W. K. Clifford: The Ethics of Belief. 3.2 William James: The Will to Believe. 3.3 Kelly James Clark: Without Evidence or Argument. 3.4 Blaise Pascal: The Wager. 3.5 Lawrence Shapiro: Miracles and Justification. 3.6 Simon Blackburn: Infini-Rien. Part III. HUMAN KNOWLEDGE: ITS GROUNDS AND LIMITS. 1. Skepticism. 1.1 John Pollock: A Brain in a Vat. 1.2 Michael Huemer: Three Skeptical Arguments. 1.3 Robert Audi: Skepticism. 2. The Nature and Value of Knowledge. 2.1 Plato: Knowledge as Justified True Belief. 2.2 Edmund Gettier: Is Justified True Belief Knowledge? 2.3 James Cornman, Keith Lehrer, and George Pappas: An Analysis of Knowledge. 2.4 Gilbert Ryle: Knowing How and Knowing That. 2.5 Plato: "Meno". 2.6 Linda Zagzebski, Epistemic Good and The Good Life. 3. Our Knowledge of the External World. 3.1 Bertrand Russell: Appearance and Reality and the Existence of Matter. 3.2 René Descartes: Meditations on First Philosophy. 3.3 John Locke: The Causal Theory of Perception. 3.4 George Berkeley: Of the Principles of Human Knowledge. 3.5 G. E. Moore: Proof of an External World. 4. The Methods of Science. 4.1 David Hume: An Inquiry Concerning Human Understanding. 4.2 Wesley C. Salmon: An Encounter with David Hume. 4.3 Karl Popper: Science: Conjectures and Refutations. 4.4 Philip Kitcher: Believing Where We Cannot Prove. Part IV: MIND AND ITS PLACE IN NATURE. 1. The Mind-Body Problem. 1.1 Brie Gertler: In Defense of Mind--Body Dualism. 1.2 Frank Jackson: The Qualia Problem. 1.3 David Papineau: The Case for Materialism. 1.4 Paul Churchland: Functionalism and Eliminative Materialism. 2. Can Non-Humans Think? 2.1 Alan Turing: Computing Machinery and Intelligence. 2.2 John R. Searle: Minds, Brains, and Programs. 2.3 William G. Lycan: Robots and Minds. 3. Personal Identity and the Survival of Death. 3.1 John Locke: The Prince and the Cobbler. 3.2 Thomas Reid: Of Mr. Locke’s Account of Our Personal Identity. 3.3 David Hume: The Self. 3.4 Derek Parfit: Divided Minds and the Nature of Persons. 3.5 Shelly Kagan: What Matters. 3.6 John Perry: A Dialogue on Personal Identity and Immortality. Part V: DETERMINISM, FREE WILL, AND RESPONSIBILITY. 1. Libertarianism: The Case for Free Will and Its Incompatibility with Determinism. 1.1 Roderick M. Chisholm: Human Freedom and the Self. 1.2 Robert Kane: Free Will: Ancient Dispute, New Themes. 2. Hard Determinism: The Case for Determinism and its Incompatibility with Its Incompatibility with Any Important Sense of Free Will. 2.1 James Rachels: The case against Free Will. 2.2 Derk Pereboom: Why We Have No Free Will and Can Live Without It. 3. Compatibilism: The Case for Determinism and Its Compatibility with the Most Important Sense of Free Will. 3.1 David Hume: Of Liberty and Necessity. 3.2 Helen Beebee: Compatibilism and the Ability to do Otherwise. 4. Freedom and Moral Responsibility. 4.1 Galen Strawson: Luck Swallows Everything. 4.2 Harry Frankfurt: Alternate Possibilities and Moral Responsibility. 4.3 Thomas Nagel: Moral Luck. 4.4 Susan Wolf: Sanity and the Metaphysics of Responsibility. Part VI: MORALITY AND ITS CRITICS. 1. Changes to Morality. 1.1 Joel Feinberg: Psychological Egoism. 1.2 Plato: The Immoralist’s Challenge. 1.3 Friedrich Nietzche: Master and Slave Morality. 1.4 Richard Joyce: The Evolutionary Debunking of Morality. 2. Proposed Standards and Right of Conduct. 2.1 Russ Shafer-Landau: Ethical Subjectivism. 2.2 Mary Midgley: Trying Out One’s New Sword. 2.3 Aristotle: Virtue and the Good Life. 2.4 Thomas Hobbes: Leviathan. 2.5 Plato: Euthyphro. 2.6 Immanuel Kant: The Good Will and the Categorical Imperative. 2.7 J.S. Mill: Utilitarianism, Chapters 2 and 4. 2.8 W. D. Ross: What Makes Right Acts Right? 2.9 Hilde Lindemann: What Is Feminist Ethics? 3. Ethical Problems. 3.1 Kwame Anthony Appiah: What Will Future Generations Condemn Us For? 3.2 Peter Singer: Famine, Affluence and Morality. 3.3 John Harris: The Survival Lottery. 3.4 James Rachels: Active and Passive Euthanasia. 3.5 Mary Anne Warren: The Moral and Legal Status of Abortion. 3.6 Don Marquis: Why Abortion Is Immoral. 4. The Meaning of Life. 4.1 Epicurus: Letter to Menoeceus. 4.2 Richard Taylor: The Meaning of Life. 4.3 Richard Kraut: Desire and the Human Good. 4.4 Leo Tolstoy: My Confession. 4.5 Susan Wolf: Happiness and Meaning. 4.6 Thomas Nagel: The Absurd. (shrink)

This book re-examines Anselm's famous arguments for the existence of God in his Proslogion, and in his Reply. It demonstrates how he validly deduces from plausible premises that God so truly exists that He could not be thought not to exist. Most commentators, ancient and modern, wrongly located his argument in a passage which is not about God at all. It becomes evident that, consequently, much contemporary criticism is based on misreading and misunderstanding his text. It reconstructs his reasoning through (...) three distinct but logically connected stages. It shows that, even if Anselm's crucial premises are sceptically interpreted, his conclusions still follow. Properly understood, this argument is not vulnerable to the standard criticisms, including Gaunilo's 'Lost island' counter-example. (shrink)

This paper reconstructs and discusses a proof of God’s existence by Anselm of Canterbury’s friend Ralph of Battle, developed in his recently edited De nesciente, a fictitious dialogue between a Christian and an atheist. Without precedent in antiquity and the Middle Ages, Ralph’s proof has never been examined in detail. It combines a “cogito” argument with a two-part cosmological argument. The paper first presents the textual basis and an exegetical interpretation of Ralph’s reasoning, classifies the parts of the proof historically (...) and systematically, and then compares these with the proofs of God’s existence as well as other arguments in Anselm’s Proslogion and Monologion. Finally, it points out some similarities between Ralph’s “cogito” argument and a passage in the Liber pro insipiente, which may suggest that this anonymous critique of Anselm’s Proslogion proof was authored not by Gaunilo, as traditionally thought, but by Ralph. (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)

I will offer a defence of Anselm's Ontological Argument, building on some suggestions made by Prior. The defence offered avoids one of the objections commonly levelled against the Ontological Argument. I will not consider whether the use of this objection involves a misinterpretation of the argument as put forward by Anselm. It might, for example, be held that the argument of Proslogion 2 is programmatic, and points forward to Prosiogion 3, and arguments given by Anselm in his Reply to (...) class='Hi'>Gaunilo. In particular it might be denied that Anselm holds that what is greater about what exists in reality is just that it exists in reality. While what I have to say will start from points made by Prior, I do not intend to suggest that Prior holds that there is a defence possible for Anselm's argument such as I will offer. What I have to say involves emphasizing modal notions, and treating Anselm's argument as a modal argument. Thus it comes down to defending Anselm's argument in Proslogion 3 in preference to the Proslogion 2 argument. (shrink)

This paper treats a question which first arose in these Proceedings: Can Anselm's ontological argument be inverted so as to yield parallel proofs for the existence (or non-existence) of a least (or worst) conceivable being? Such 'devil parodies' strike some commentators as innocuous curiosities, or redundant challenges which are no more troubling than other parodies found in the literature (e.g., Gaunilo's Island). I take issue with both of these allegations; devil parodies, I argue, have the potential to pose substantive, (...) and novel, challenges to Anselm's ontological argument. (shrink)

A metaphysical system engendered by a third order quantified modal logic S5 plus impredicative comprehension principles is used to isolate a third order predicate D, and by being able to impredicatively take a second order predicate G to hold of an individual just if the individual necessarily has all second order properties which are D we in Section 2 derive the thesis (40) that all properties are D or some individual is G. In Section 3 theorems 1 to 3 suggest (...) a sufficient kinship to Gödelian ontological arguments so as to think of thesis (40) in terms of divine property and Godly being; divine replaces positive with Gödel and others. Thesis (40), the sacred thesis, supports the ontological argument that God exists because some property is not divine. In Section 4 a fixed point analysis is used as diagnosis so that atheists may settle for the minimal fixed point. Theorem 3 shows it consistent to postulate theistic fixed points, and a monotheistic result follows if one assumes theism and that it is divine to be identical with a deity. Theorem 4 (the Monotheorem) states that if Gg and it is divine to be identical with g, then necessarily all objects which are G are identical with g. The impredicative origin of D suggests weakened Gaunilo-like objections that offer related theses for other second order properties and their associated diverse presumptive individual bearers. Nevertheless, in the last section we finesse these Gaunilo-like objections by adopting what we call an apathiatheistic opinion which suggest that the best concepts `God’ allow thorough indifference as to whether God exists or not. (shrink)

To be truly provocative and outrageous the superior philosophical sophistry will commonly possess four somewhat adventitious features. I shall rate it as classic if it has all four. First, and least adventitiously, the argument will be crisp and initially seductive. Second, by the standard the sophistry sets direct rebuttal will be laborious and diffuse. Third, the recipe for the latter will prescribe that we pick out some hitherto unarticulated logical principle such that if the principle be true then the sophistical (...) argument must be invalid, and then, on the strength of that consequence assume the principle to be true. Consequently and fourth, as an antidote parody is supreme. With a persuasive absence of fuss and bias we can turn the tables if we show that, if the sophistical argument were really valid, then some structurally similar argument would prove just as consummately far too much. In short, from the rhetorical point of view at least, Gaunilo is more lethal than Kant. Even if the similarity is defective, the sophist will lose some of his adventitious and insufferable poise, if he ventures to show why. (shrink)