The most famous objection to the ontological argument is given in Kant's dictum that existence is not a real predicate. But it is not obvious how this slogan is supposed to relate to the ontological argument. Some, most notably Alvin Plantinga, have even judged Kant's dictum to be totally irrelevant to Anselm's version of the ontological argument. In this paper I argue, against Plantinga and others, that Kant's claim is indeed relevant to Anselm's argument, in the straightforward sense that if (...) the claim is true, then Anselm's argument is unsound. (shrink)

Anselm's Ontological Argument fails, but not for any of the various reasons commonly adduced. In particular, its failure has nothing to do with violating deep Kantian principles by treating ‘exists’ as a predicate or making reference to ‘Meinongian’ entities. Its one fatal flaw, so far from being metaphysically deep, is in fact logically shallow, deriving from a subtle scope ambiguity in Anselm's key phrase. If we avoid this ambiguity, and the indeterminacy of reference to which it gives rise, then his (...) argument is blocked even if his supposed Meinongian extravagances are permitted. Moreover it is blocked in a way which is straightforward and compelling (by contrast with the Kantian objections), and which generalizes easily to other versions of the Ontological Argument. A significant moral follows. Fear of Anselm's argument has been hugely influential in motivating ontological fastidiousness and widespread reluctance to countenance talk of potentially non-existing entities. But if this paper is correct, then the Ontological Argument cannot properly provide any such motivation. Some of the most influential contributions to ontology, from Kant to Russell and beyond, rest on a mistake. (shrink)

I argue that if one accepts the existence of a multiverse model that posits the existence of all possible realities, and also wants to maintain the existence of a God who exemplifies omnipotence, omnibenevolence and omniscience then the brand of God that he should ascribe to is one of deism rather than the God of classical theism. Given the nature and construct of such a multiverse, as well as some specific interpretations of the divine attributes, this points us to a (...) God who is inactive in the natural world, not one who is. This deistic conception of God not only sits better with the idea of a multiverse and is also compatible with many arguments for theism, but it also responds to certain arguments for atheism better than the classical conception of God. I ultimately argue that deism ought to be given consideration as a plausible alternative conception to the classical conception of God, given the acceptance of a multiverse. (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)

An argument for the existence of gods given by the Stoic Diogenes of Babylon and reported by Sextus Empiricus appears to be an ancient version of the ontological argument. In this paper I present a new reconstruction of Diogenes' argument that differs in certain important respects from the reconstruction presented by Jacques Brunschwig. I argue that my reconstruction makes better sense of how Diogenes' argument emerged as a response to an attack on an earlier Stoic argument presented by Zeno of (...) Citium. Diogenes' argument as reconstructed here is an example of a modal ontological argument that makes use of the concept of being of such a nature as to exist. I argue that this concept is a modal concept that is based on the Philonian definition of possibility, and thus that Diogenes' argument is a source of important evidence about the use of non-Stoic modalities in the post-Chrysippean Stoa. I conclude by arguing that the objections made against considering Diogenes' argument as ontological are unfounded and that Diogenes' argument clearly resembles modern versions of modal ontological arguments. (shrink)

Recently, I’ve championed the doctrine that fundamentally different sorts of things exist in fundamentally different ways.1 On this view, what it is for an entity to be can differ across ontological categories.2 Although historically this doctrine was very popular, and several important challenges to this doctrine have been dealt with, I suspect that contemporary metaphysicians will continue to treat this view with suspicion until it is made clearer when one is warranted in positing different modes of existence.3 I address this (...) concern here. The question of when to posit ways of being is closely related to a more general question: when should one think that some philosophically interesting expression is analogous? Accordingly, my strategy here is as follows. First, I briefly explain my interpretation of ontological pluralism, the doctrine that there are ways of being.4 Second, I introduce the notion of an analogous term, and show how, on most ways of implementing ontological pluralism, “existence” is analogous. Third, I discuss two sufficient conditions for when one is warranted in claiming that a philosophically interesting term is analogous. Fourth, I present a series of ontological schemes, each of which satisfies at least one of the sufficient conditions. The upshot is this: if you are attracted to one of these ontologies, you have reason to believe in ways of being. The careful reader will have noted the apparent modesty of my conclusion. Unfortunately, I do not believe that one could ever be rationally required to believe in ways of being. Still, in general a metaphysic is a live option to the extent that it is shown to be rationally permissible to believe. Since the apparent consensus among contemporary analytic metaphysicians is that believing that things can exist in different ways is silly or confused, establishing the rational permissibility of belief in ways of being is a non-trivial task. Let us begin. (shrink)

According to many realist philosophers of fiction, one needs to posit an ontology of existing fictional characters in order to give a correct account of discourse about fiction. The realists' claim is opposed by pretense theorists for whom discourse about fiction involves, as discourse in fiction, pretense. On that basis, pretense theorists claim that one does not need to embrace an ontology of fictional characters to give an account of discourse about fiction. The ontolog-ical dispute between realists and pretense theorists (...) is mainly a dispute in the realm of the phi-losophy of language concerning the status relative to pretense of discourse about fiction. Realists are persuaded that there is a sharp line between discourse in fiction and discourse about fiction while pretense theorists deny there exists such a line. I suggest that realists may have a wrong picture of discourse in fiction since, in many cases, discourse in fiction already contains many occurrences of discourse about fiction. Consequently, discourse about fiction, instead of ending fiction, should be regarded, following pretense theorists, as adding extra lay-ers of fiction. (shrink)