This paper is a defense of the view that existence is a property. Since the view is still a minority one, a fair amount of space is allotted to defending it against objections and counter-arguments. Positive arguments aren’t lacking, however, and emerge in the course of the discussion. Not all of the many positive or negative arguments which follow are wholly original—a fact to be expected in this context—but a fair number are, and both sorts of argument are seamlessly interwoven (...) in the warp and woof of what follows. (shrink)

Inspired by the third chapter of Anselm's Proslogion, twentieth century philosophers including Charles Hartshorne and Alvin Plantinga developed “modal” ontological arguments for the existence of God. Such arguments use modal logic to infer God's existence from the premises that (i) God's existence is possible and (ii) if God exists, He exists necessarily. Like other ontological arguments, modal arguments have won few converts to theism; many commentators consider them question‐begging or liable to parody. This article details how recent attempts to defend (...) these arguments have tried to overcome these difficulties by drawing on modern accounts of the epistemology and metaphysics of modality. (shrink)

The ontological argument in Anselm’s Proslogion II continues to generate a remarkable store of sophisticated commentary and criticism. However, in our opinion, much of this literature ignores or misrepresents the elegant simplicity of the original argument. The dialogue below seeks to restore that simplicity, with one important modification. Like the original, it retains the form of a reductio, which we think is essential to the argument’s great genius. However, it seeks to skirt the difficult question of whether 'exists' is a (...) genuine predicate by appealing instead to a distinction between having only mediated causal powers and having unmediated causal powers. Pegasus has no unmediated causal powers, but he has mediated causal powers through the thoughts, depictions, and literature in which he figures. This distinction allows us to argue about the existence of God without begging any questions. (shrink)

The Pinocchio paradox, devised by Veronique Eldridge-Smith in February 2001, is a counter-example to solutions to the Liar that restrict the use or definition of semantic predicates. Pinocchio’s nose grows if and only if what he is stating is false, and Pinocchio says ‘My nose is growing’. In this statement, ‘is growing’ has its normal meaning and is not a semantic predicate. If Pinocchio’s nose is growing it is because he is saying something false; otherwise, it is not growing. ‘Because’ (...) stands here for a non-semantic relation; it might be supposed to be causal or of some other nature, but it is not semantic. The paradox is discussed in relation to Tarski’s and Kripke’s theories of truth. Although the paradox is not necessarily a counter-example to a theory of a truth predicate, it is a problem for a theory of truth of the kind preserved by validity. (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.

I argue that Kant's and Frege's refutations of the ontological argument are more similar than has generally been acknowledged. As I clarify, for both Kant and Frege, to say that something exists is to assert of a concept that it is instantiated. With such an assertion one expresses that there is a particular relation between the instantiating object and a rational subject - a particular mode of presentation for the object in question. By its very nature such a relation cannot (...) be the property of an object and thus cannot be included in the concept of that object. Thus the ontological argument, which takes existence to be a part of the concept of the supreme being, cannot, according to Kant and Frege, succeed. A secondary goal of the paper is to illuminate what I take to be an important affinity between Kant's and Frege's views more generally: that Frege's fundamental distinction between the sense and the referent of a proposition echoes, in an important way, Kant's distinction between concepts and the formal principles for their application to experience. (shrink)

Michael Almeida once told me that he thought we were just a couple of hours of conversation away from reaching deep agreement about some important topics in the philosophy of religion pertaining to God, multiverses, and modality. This paper represents my attempt to move this conversation forward and to seek this common ground. Specifically, I respond to Almeida’s paper entitled “The Multiverse and Divine Creation”. In the first four sections, I record my disagreement with him concerning some smaller matters. In (...) Section 5, I try to persuade him that what he considers a ‘bug’ in the theistic multiverse is actually a feature—and a desirable one at that. In Section 6, I close by identifying some points at which our views seem to converge. (shrink)