This volume announces a new era in the philosophy of God. Many of its contributions work to create stronger links between the philosophy of God, on the one hand, and mathematics or metamathematics, on the other hand. It is about not only the possibilities of applying mathematics or metamathematics to questions about God, but also the reverse question: Does the philosophy of God have anything to offer mathematics or metamathematics? The remaining contributions tackle stereotypes in the philosophy of religion. The (...) volume includes 35 contributions. It is divided into nine parts: 1. Who Created the Concept of God; 2. Omniscience, Omnipotence, Timelessness and Spacelessness of God; 3. God and Perfect Goodness, Perfect Beauty, Perfect Freedom; 4. God, Fundamentality and Creation of All Else; 5. Simplicity and Ineffability of God; 6. God, Necessity and Abstract Objects; 7. God, Infinity, and Pascal's Wager; 8. God and (Meta-)Mathematics; and 9. God and Mind. (shrink)

It is no exaggeration to say that there has been an explosion of activity in the field of philosophical enquiry that is known as natural theology. Having been smothered in the early part of the twentieth century due to the dominance of the anti-metaphysical doctrine of logical positivism, natural theology began to make a comeback in the late 1950s as logical positivism collapsed and analytic philosophers took a newfound interest in metaphysical topics such as possibility and necessity, causation, time, the (...) mind-body problem, and God. This chapter begins by considering how we might characterise natural theology as a field of enquiry. It then proceeds to survey the landscape of contemporary natural theology, which has spawned a large and at times highly technical body of literature. Finally, consideration is given to two epistemological issues confronting the theist who wishes to appeal to natural theology, which could be termed the problem of the gap(s) and the problem of accessibility. (shrink)

Some people might be tempted by modal ontological arguments from the possibility that God exists to the conclusion that God in fact exists. They might also be tempted to support the claim that possibly God exists by appealing to the conceivability of God’s existence. In this chapter, I introduce three constraints on an adequate theory of philosophical conceivability. I then consider and develop both imagination-based accounts of conceivability and conceptual coherence-based accounts of conceivability. Finally, I return to the modal ontological (...) argument and consider whether the premise that possibly God exists can be supported by some conceiving. (shrink)

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)

The last thirty years of scholarship in western medieval philosophical historiography have seen a number of reflections on the methodological paradigms, schools, trends, and dominant approaches in the field. As a contribution to this ongoing assessment of the existing methods of studies in medieval philosophy and theology and a supplement to classifications offered by M. Colish, J. Inglis, C. König-Pralong, J. Marenbon, A. de Libera, and others, the article offers another explanatory tool. Here is a description of an imaginary system (...) of methodological coordinates that systematizes the current tendencies by placing them in a three-dimensional system of axes. Every axis corresponds to a certain aspect of the historical and systematic research in medieval thought and symbolizes a possible movement between two extremes representing opposite methodological values and directions. The methods and approaches practiced in recent studies in medieval philosophy and theology might be schematically located inside this general system of argumentational, focal (or objectival), and (con)textual axes with their intersection identified with what some scholars call the “integral” model of study. This explanatory tool allows one to see how current approaches and methods form a panoply of axes that belong together in one complex grid and helps to visualize the tapestry of existing approaches in medieval philosophical historiography. (shrink)

Anselm of Canterbury’s so-called ontological proofs in the Proslogion have puzzled philosophers for centuries. The famous description “something / that than which nothing greater can be conceived” is part and parcel of his argument. Most commentators have interpreted this description as a definition of God. We argue that this view, which we refer to as “definitionism”, is a misrepresentation. In addition to textual evidence, the key point of our argument is that taking the putative definition as what Anselm intended it (...) to be – namely a description of a content of faith – allows getting a clear view of the discursive status and argumentative structure of Proslogion 2–4, as well as making sense of an often neglected part of the argument. (shrink)

In this paper, I present what I call the symmetry conception of God within 1st order, extensional, non-well-founded set theory. The symmetry conception comes in two versions. According to the first, God is that unique being that is universally symmetrical with respect to set membership. According to the second, God is the universally symmetrical set of all sets that are universally symmetrical with respect to set membership. I present a number of theorems, most importantly that any universally symmetrical set is (...) identical to its essence, that show that the two symmetry conceptions intersect with some dominant theological conceptions of God. The theorems also show that both of the symmetry conceptions of God entail that God has a fractal like structure. (shrink)

C.S. Lewis’s ‘Argument from Desire’ is best summed up by his famous line, ‘If I find in myself a desire which no experience in this world can satisfy, the most probable explanation is that I was made for another world’. In short, unfulfilled ‘seemingly transcendent desires’ point to fulfilment in another realm. Lewis’s argument is fraught with disagreement, and subsequently, questions remain as to its efficacy as a theistic argument. In this essay, I will take a novel approach by using (...) Bayes’ theorem to assess the success of Lewis’s argument in support of theism over and against naturalism. As I will argue, a strength of this approach is that it allows me to largely bypass a significant area of disagreement within the literature, namely, whether these desires are best seen as natural or artificial. Additionally, I will argue for why these desires are the sort of good God would be interested in giving to persons. Then, I will proceed to outline what I take to be the best naturalistic accounts of these desires and outline some of the challenges these accounts face. Finally, I will conclude with plugging these results into Bayes’ theorem. (shrink)

Atheology, accurately defined by Alvin Plantinga, offers reasons why god’s existence is implausible. Skeptically reasoning that theological arguments for god fail to make their case is one way of leaving supernaturalism in an implausible condition. This ‘rationalist’ atheology appeals to logical standards to point out fallacies and other sorts of inferential gaps. Beyond that methodological marker, few shared tactics characterize atheists and agnostics stalking theological targets. If unbelief be grounded on reason, let atheology start from a theological stronghold: the principle (...) of sufficient reason, a cornerstone of rationality. Seven rules, corollaries to that principle, are enough to show how theological arguments for god repeatedly contravene rationality by perpetuating mysteries, contradictions, begging of questions, pseudo-explanations, and the like. None of these complaints are new, nor has theology been unaware of them. Disorganized atheology has, so far, allowed theology to appear to answer them. Five major arguments for god are systematically analyzed and refuted using these seven rules of rationality, as a preliminary exercise illustrating this re-organized and re-focused rationalist atheology. (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)

This paper is a response to Bruce Langtry's criticisms of views advanced in my book *Ontological Arguments and Belief in God*. In particular, the paper discusses his criticisms of "the general objection" to ontological arguments that is developed in that work.

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

Peter Millican (2004) provides a novel and elaborate objection to Anselm's ontological argument. Millican thinks that his objection is more powerful than any other because it does not dispute contentious 'deep philosophical theories' that underlie the argument. Instead, it tries to reveal the 'fatal flaw' of the argument by considering its 'shallow logical details'. Millican's objection is based on his interpretation of the argument, according to which Anselm relies on what I call the 'principle of the superiority of existence' (PSE). (...) I argue that (i) the textual evidence Millican cites does not provide a convincing case that Anselm relies on PSE and that, moreover, (ii) Anselm does not even need PSE for the ontological argument. I introduce a plausible interpretation of the ontological argument that is not vulnerable to Millican's objection and conclude that even if the ontological argument fails, it does not fail in the way Millican thinks it does. (shrink)

I argue that beliefs about what appears possible are justified in much the same way as beliefs about what appears actual. I do so by chisholming, and then modalizing, the epistemic principle associated with phenomenal conservatism. The principle is tested against a number of examples, and it gives the intuitively correct results. I conclude by considering how it can be used to defend two controversial modal arguments, a Cartesian argument for dualism and an ontological argument for the existence of God.

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)

This essay develops a new interpretation of Moses Mendelssohn’s ontological argument in the Morning Hours: Lectures on God’s Existence. At the beginning, Immanuel Kant’s famous criticism of the ontological proof of God’s existence in the Critique of Pure Reason is presented. Then I offer an in-depth analysis of Mendelssohn’s original ontological argument in the Morning Hours. It is shown that with Mendelssohn’s new proof of God, Kant’s objections are answered. Finally, it is explained why Mendelssohn does not succeed in completely (...) refuting Kant’s objections. (shrink)

This paper considers Anselm’s Proslogion argument against a background of historical events that include philosophical disputes between Christian and Jewish polemicists. I argue that the Proslogion argument was addressed, in part, to non-Christian theists and that it offered a response to Jewish polemicists who had argued that the Christian conception of God as an instantiated unity was irrational. Anselm is not trying to convince atheists that there really is a God. He is arguing that the Christian conception of God is (...) logically coherent. (shrink)

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)

My aim in this paper is to critically assess Plantinga’s modal ontological argument for existence of God, such as it is presented in the book “The Nature of Necessity”. Plantinga tries to show that this argument is valid and it is rational to believe in his main premise, namely “there is a possible world in which maximal greatness is instantiated”. On the one hand, I want to show that this argument is logically valid in both systems B and S5 of (...) modal logic. On the other hand, I think that this argument is not a good argument to show that God exists or that it is rational to believe in God. (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)

In this article I concentrate on three issues. First, Graham Oppy’s treatment of the relationship between the concept of infinity and Zeno’s paradoxes lay bare several porblems that must be dealt with if the concept of infinity is to do any intellectual work in philosophy of religion. Here I will expand on some insightful remarks by Oppy in an effort ot adequately respond to these problems. Second, I will do the same regarding Oppy’s treatment of Kant’s first antinomy in the (...) first critique, which deals in part with the question of whether the world had a beginning in time or if time extends infinitely into the past. And third, my examination of these two issues will inform what I have to say regarding a key topic in philosophy of religion: the question regarding the proper relationship between the infinite and the finite in the concept of God. (shrink)

Modal ontological arguments argue from the possible existence of a perfect being to the actual (necessary) existence of a perfect being. But modal ontological arguments have a problem of symmetry; they can be run in both directions. Reverse ontological arguments argue from the possible nonexistence of a perfect being to the actual (necessary) nonexistence of a perfect being. Some familiar points about the necessary a posteriori, however, show that the symmetry can be broken in favour of the ontological argument.

Cosmological arguments for the existence of God face a gap problem. This is the problem of convincingly arguing that their intermediate conclusions that some first cause or necessary being exists provide evidence for their main conclusion that God exists. This paper develops a simple and innovative approach to solving this problem, applicable to many cosmological arguments. According to the proposal, the best explanation for why the necessary being is found to have necessary existence is that it is a perfect being. (...) Since a perfect being would be God, the intermediate conclusions of the relevant cosmological arguments provide abductive evidence for their main conclusions. (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)

Saint Anselm’s ontological argument for the existence of God, formulated nearly a millennium ago, continues to bedevil philosophers. There is no consensus about what, if anything, is wrong with it. Some philosophers insist that the argument is invalid. Others concede its validity but insist that it is unsound. A third group of philosophers maintain that Anselm begs the question. It has been argued, for example, that Anselm’s use of the name “God” in a premise assumes (or presupposes) precisely what has (...) to be proved, namely, that God exists. Another tack is to argue that the premise that God is possible implies or presupposes the conclusion that God exists, or perhaps that, in order to know that God is possible, one must know that God exists. Just as no consensus has emerged about what, if anything, is wrong with Anselm’s argument, no consensus has emerged about whether the argument begs the question. In this essay, I focus on the second type of claim made by the third group of philosophers—the claim that Anselm’s argument begs the question by assuming, as a premise, that God is possible. In particular, I focus on the argument of the contemporary analytic philosopher William Rowe, who has claimed, since at least 1975, that Anselm’s ontological argument begs the question. I argue that Rowe’s argument fails. (shrink)

By defining God as a maximally great being Plantinga is able to devise an ontological argument which validly infers from the possibility of there being a God that there necessarily is a God. In this article I shall argue that Plantinga’s argument is not only question-begging, as several critics have complained, but circular in the strongest sense of the term. Based on reflections on the relation between the notions of coherence and possibility, I shall defend two arguments, previously proposed by (...) Tooley and Guleserian, against the existence of a maximally great being. The article concludes with some critical remarks on Plantinga’s rationale for conceiving God as such a being. (shrink)

Proceedings of the 2016 "one word" colloquium of the The Philosophical Society of Finland. The word was "Possibility".

On the assumption that theistic religious commitment takes place in the face of evidential ambiguity, the question arises under what conditions it is permissible to make a doxastic venture beyond one’s evidence in favour of a religious proposition. In this paper I explore the implications for orthodox theistic commitment of adopting, in answer to that question, a modest, moral coherentist, fideism. This extended Jamesian fideism crucially requires positive ethical evaluation of both the motivation and content of religious doxastic ventures. I (...) suggest that, even though the existence of horrendous evil does not resolve evidential ambiguity in favour of atheism, there are reasonable value commitments that would preclude those who hold them from satisfying extended Jamesian fideist conditions for committing themselves to classical theism. I then begin a discussion of a possible revisionary theistic alternative (in the Christian tradition) which – one might hope – may meet those conditions. An earlier, shorter, version of this paper was delivered as a keynote address at the APA Pacific 2007 Mini-Conference on Models of God. (shrink)

This paper deals with some metaphilosophical aspects of the modal ontological argument originating from Charles Hartshorne. One of the specific premises of the argument expresses the idea that the existence of God is not contingent. Several well-known versions of the argument have been formulated that appeal to different ways of clarifying the latter. A question arises: which of the formally correct and relevant versions is proper or basic? The paper points to some criteria of formal correctness, and distinguishes two types (...) of relevance for these versions: strong and weak. Its aim is to furnish a strictly worked out answer to the question, taking into account each of these types. As a result, a very simple, formally correct and relevant version of the modal ontological argument is formulated. The results obtained are also used to criticize a popular belief about the relations in which the main versions of the modal ontological argument stand to one another. (shrink)

Le parole “metafisica” e “ontologia” si dicono in molti modi diversi nella filosofia del XX secolo, tanto all’interno della filosofia analitica quanto altrove. Sono spesso usate per parlare della teoria o dell’analisi di ciò che c’è, delle specie principali di ciò che c’è e dei loro rapporti. Ma i positivisti viennesi, per esempio, chiamavano “metafisiche” le filosofie che non amavano (Carnap, 1985; Campbell, 1976, cap. 2); e se Quine parla dell’impegno ontologico o ontico di una teoria, non intende con ciò (...) un qualsivoglia impegno metafisico o esistenziale. (shrink)