This paper responds to a previous paper by Gary Matthews and Lynne Rudder Baker. Their paper, in turn, was a response to my reply to an even earlier paper of theirs. (The relevant bibliographical details are in this paper.) They claim to have a new, improved, simple ontological argument. I argue that the new, simple ontological argument is not, in any way, improved.

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

In this paper, I sketch an argument for the view that we cannot know (or have good reasons to believe) that God exists. Some call this view “strong agnosticism” but I prefer the term “skeptheism” in order to clearly distinguish between two distinct epistemic attitudes with respect to the existence of God, namely, agnosticism and skepticism. For the skeptheist, we cannot know (or have good reasons to believe) that God exists, since there can be neither conceptual (a priori) nor empirical (...) (a posteriori) evidence for the existence of God. (shrink)

Anselm: I agreed that Pegasus is a flying horse according to the stories people tell, the paintings painters paint and so on . That is, Pegasus is a flying horse in the understanding of storytellers, their readers and the artists who depict Pegasus. You asked whether flying is not an unmediated causal power . Well, it could be an unmediated causal power if you or I had it, but not if a being with only mediated powers had it. And so (...) poor Pegasus, a being whose powers are only those given him by storytellers and artists, has only the mediated power of flying that they have given him. He flies in the thoughts and depictions of beings with unmediated powers. Still, Pegasus has not only the mediated power to fly but also the mediated power to entertain us, and perhaps even inspire us. Fool: But people could tell stories about you, too, about how you sprouted wings and flew onto the roof of Canterbury Cathedral. Anselm: Alas, if it were only in stories that I could do that, then flying would not be an unmediated causal power of mine. I would still have unmediated causal powers all right, and so would be greater than Pegasus. But flying is not one of my unmediated causal powers. However, something than which nothing greater can be conceived would, and does, as I have proved in my Proslogion, have unmediated causal powers – indeed, much greater unmediated causal powers than any poor mortals like you and me.1 •↵1 For …. (shrink)

Semantic dialetheists astutely dodge Explosion, the logical contagion of everything being true if a single contradiction is true. A dialetheia is contained in their semantics, and sustained by a paraconsistent logic. Graham Priest has shown that this is a solution to the Liar paradox. I use the Pinocchio paradox, devised by Veronique Eldridge-Smith, as a counter-example. The Pinocchio paradox turns on the truth of Pinocchio, whose nose grows if and only if what he is saying is not true, saying ‘My (...) nose is growing’. It is not just a matter of interpretation whether Pinocchio’s nose is and is not growing. (shrink)

In this paper, we discuss formal reconstructions of Anselm’s ontological argument. We first present a number of requirements that any successful reconstruction should meet. We then offer a detailed preparatory study of the basic concepts involved in Anselm’s argument. Next, we present our own reconstructions—one in modal logic and one in classical logic—and compare them with each other and with existing reconstructions from the reviewed literature. Finally, we try to show why and how one can gain a better understanding of (...) Anselm’s argument by using modern formal logic. In particular, we try to explain why formal reconstructions of the argument, despite its apparent simplicity, tend to become quite involved. (shrink)

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.

I set out four general facts about things that we can refer to and talk about, whether they exist or not. Then, I set out an argument for the existence of God. Myargument, like Anselm’s original argument, is a reductio ad absurdum: It shows that the assumption that God does not exist leads to a contradiction. Theargument is short and in ordinary language. Each line of the argument, other than the reductio premise, is justified by one of the general facts. (...) Finally, I consider some traditional objections to Anselm’s argument, and show how my updated version avoids them. (shrink)

Latest version of my SEP entry on ontological arguments, which first appeared in 1996. General discussion of ontological arguments. Includes a brief historical overview, a taxonomy of different kinds of ontological arguments, a brief survey of objections to the different kinds of ontological arguments identified in the taxonomy, and more extended discussions of Anselm's ontological argument (Proslogion 2), Godel's ontological argument, and Plantinga's ontological argument.