Oppenheimer & Zalta have re-formulated their non-modal version of the ontological argument, with the help of PROVER9, an automated reasoning engine. The authors end up rejecting the new argument; however, the theist has a rejoinder worth considering. But after presenting the rejoinder, I highlight that the conceivability of the being does not imply its possibility. One lesson is that even non-modal ontological arguments must engage modal matters concerning God. Another lesson is that if PROVER9 is able to derive a conclusion (...) from fewer premises, the proof is sometimes inferior as an argument. (shrink)

The beauty of Anselm’s ontological argument is, I believe, that no matter how one approaches it, one cannot refute it without making a significant metaphysical assumption, one that is likely to be contentious in its own right. Peter Millican disagrees. He introduces an objection according to which one can refute the argument merely by analysing its shallow logical details, without making any significant metaphysical assumption. He maintains, moreover, that his objection does not depend on a specific reading of the relevant (...) Anselmian text; in fact, Millican claims that his objection is applicable to every version of the ontological argument. In this paper, I argue that millican’s objection does not succeed, because, contrary to what he says, in order to justify his objection he does have to make a deep metaphysical assumption and rely on a specific reading of Anselm’s text. (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)

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)

The Evil-god challenge attempts to undermine classical monotheism by contending that because belief in an omnipotent, omniscient, omni-malevolent God (the Evil-god hypothesis) is similarly reasonable to belief in an omnipotent, omniscient, omnibenevolent God (the Good-god hypothesis), the onus is on the classical monotheist to justify their belief in the latter hypothesis over the former hypothesis. This thesis explores the Evil-god challenge by detailing the history and recent developments of the challenge; distinguishing between different types of Evil-god challenge; responding to several (...) prominent objections to the challenge; and applying the challenge to philosophical arguments for the existence of God. I also evaluate the efficacy of parallel arguments as a whole, with a view to determining the parameters of the Evil-god challenge by laying out exactly which theistic positions are irrevocably undermined by it. I conclude that the Evil-god challenge effectively damages several arguments for the existence of God and, in cases where it does not straightforwardly do so, it nevertheless reduces the Good-god theist’s belief to one or more intuitions. (shrink)