In recent years, the ontological argument and theistic metaphysics have been criticized by philosophers working in both the analytic and continental traditions. Responses to these criticisms have primarily come from philosophers who make use of the traditional, and problematic, concept of God. In this volume, Daniel A. Dombrowski defends the ontological argument against its contemporary critics, but he does so by using a neoclassical or process concept of God, thereby strengthening the case for a contemporary theistic metaphysics. Relying on the (...) thought of Charles Hartshorne, he builds on Hartshorne's crucial distinction between divine existence and divine actuality, which enables neoclassical defenders of the ontological argument to avoid the familiar criticism that the argument moves illegitimately from an abstract concept to concrete reality. His argument, thus, avoids the problems inherent in the traditional concept of God as static. (shrink)

Proponents of modal versions of the ontological argument have traditionally defended the prernise that God possibly exists by arguing that such a premise is more plausible than its negation. In this paper I argue that such a defense is insufficient to justify acceptance of the premise within the scope of a modal proof, and that this insufficiency accounts for the lack of probative force of these versions of the ontological argument. Rather, I claim that what is needed is a defense (...) of the claim of God’s possibility against the claim that He possibly does not exist. I give reasons for suspecting that no such defense is possible within the scope of modal ontological arguments. (shrink)

The ontological argument has run for a long time, regularly refuted, regularly re-appearing in a new form. Something can be learnt from its longevity. Its proponents must be on to something, or it would not have survived its many refutations. But equally, it must have been much misformulated, or it would not have seemed evidently fallacious to its many critics. Perhaps it does express a deep philosophical intimation. Certainly it has been taken to prove more than it really can establish. (...) Like many other philosophical arguments it has suffered by being made out to be more rigorous than in the nature of the case it can be. For some philosophers addressing some questions it may have been decisive in leading them to adopt one of the few options open to them: but it is quite inconclusive for others, with different presuppositions or different problems, and cannot be reduced into a valid proof cogent for all comers and compelling them to accept the conclusion it claims to demonstrate. (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. By contrast, those people who think about Pegasus, portray him in paintings and sculptures, and write stories about him themselves have unmediated causal powers. The Argument Anselm (in prayer): You, O God, are something than which nothing greater can be conceived. Fool (i.e., atheist, who has overheard Anselm’s prayer): God is just an object of the imagination. (shrink)

We formulate a new modal ontological argument; specifically, we show that there is a possible world in which an entity that has at least the property of omnipotence exists. Then we argue that if such an entity is possible, it is necessary as well.

In this paper, the authors show that there is a reading of St. Anselm's ontological argument in Proslogium II that is logically valid (the premises entail the conclusion). This reading takes Anselm's use of the definite description "that than which nothing greater can be conceived" seriously. Consider a first-order language and logic in which definite descriptions are genuine terms, and in which the quantified sentence "there is an x such that..." does not imply "x exists". Then, using an ordinary logic (...) of descriptions and a connected greater-than relation, God's existence logically follows from the claims: (a) there is a conceivable thing than which nothing greater is conceivable, and (b) if <em>x</em> doesn't exist, something greater than x can be conceived. To deny the conclusion, one must deny one of the premises. However, the argument involves no modal inferences and, interestingly, Descartes' ontological argument can be derived from it. (shrink)

The authors investigated the ontological argument computationally. The premises and conclusion of the argument are represented in the syntax understood by the automated reasoning engine PROVER9. Using the logic of definite descriptions, the authors developed a valid representation of the argument that required three non-logical premises. PROVER9, however, discovered a simpler valid argument for God's existence from a single non-logical premise. Reducing the argument to one non-logical premise brings the investigation of the soundness of the argument into better focus. Also, (...) the simpler representation of the argument brings out clearly how the ontological argument constitutes an early example of a ?diagonal argument? and, moreover, one used to establish a positive conclusion rather than a paradox. (shrink)

This paper examines the so-called modal ontological argument. It pays special attention to the role that the symmetry and transitivity of the accessibility relation play in the argument, and examines various approaches to a defense of the “possibility premise,” the premise of the argument that states that the existence of a perfect being is metaphysically possible. It contains an analysis of Gödel’s attempt to show that this premise is true, and of a recent formulation by David Johnson of Gödel’s argument.

This was an attempt to show what is wrong with Anselm’s ‘Ontological Argument’ for the existence of God. My present view is that Peter Millican has given us a similar, but much better line of attack in his “The One Fatal Flaw….” Paper.

In this paper I argue that Daniel A. Dombrowski's defence of a version of Anselm's ontological argument fails.

The ontological argument is one of the most intriguing lines of reasoning in Western thought. Leaving behind debates over the proper relation between science and religion, it makes a simple move from conceptual analysis to existence in order to prove the existence of god. The ontological argument will be reviewed against the background of the contemporary debate on thought experiments. Assuming that the ontological argument fails as a philosophical proof, I will argue that its move from concept to existence might (...) best be understood as a thought experiment of revealed theology (a theology based on revelation – unlike philosophical theology/natural theology). Viewed from this perspective it makes sense that Anselm of Canterbury offered his versions of the ontological argument in the form of a prayer, which, presupposing the existence of god, seems to run counter to a proof of god's existence. (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)

Pavel Tichy presents an interpretation of Anselm’s Proslogion III argument. Tichy presents an interpretation of this argument and raises doubts about one of the premises. The authors contend that Tichy’s interpretation of Anselm is wrong. The argument Tichy comes to raise doubts about is not Anselm’s.

The article presents a formalization of Anselm's so-called Ontological Arguments from Proslogion . The main idea of our research is to stay to the original text as close as is possible. We show, against some common opinions, that (i) the logic necessary for the formalization must be neither a purely sentential modal calculus, nor just non-modal first-order logic, but a modal first-order theory; (ii) such logic cannot contain logical axiom ⌜ A → ⋄ A ⌝; (iii) none of Anselm's reasonings (...) requires the assumptions that God is a consistent object or that existence of God is possible (in symbols "⋄Eg"); (iv) no such thing as the so-called Anselm's Principle (in symbols "□(Eg → □Eg)") is involved in any of the proofs; (v) Anselm's claims (that God exists in reality and that God necessarily exists in reality) can be obtained independently, hence there is no need for presenting them in an opposite order than Anselm did. Moreover we show a single line of reasoning underlying the whole Proslogion and allowing Anselm to deduce many theorems concerning God's nature. Last but not least we study the possibility of proving the uniqueness of God within the outlined theory. (shrink)

Anselm is commonly credited with two a priori arguments for God's existence, the non-modal argument of Proslogion 2 and a modal argument some find in Proslogion 3. But his Reply to Gaunilo contains a third. The argument as Anselm gives it has flaws, but they are not fatal, and its main premise can serve as the basis of a simpler, stronger argument.

Roughly speaking, Augustine claims that ‘Immutable Truth’ is superior to the human mind and, consequently a legitimate candidate for the role of God. Clearly there is such a thing as Immutable Truth. So either that is God, or there is something superior to Immutable Truth, and that superior thing is God. I spell out this argument, and offer some objections to it.

In the first two chapters of the Monologion Anselm shows, or tries to show that “Of all the things that exist, there is one that is the best, greatest and supreme.” In this paper I examine his argument.

In this volume, the world's foremost Scotus scholars collaborate to present the latest research on his work.

We describe a KB Gödelian ontological system, and some other weak systems, in a fully formal way using theory of types and natural deduction, and present a completeness proof in its main and specific parts. We technically and philosophically analyze and comment on the systems (mainly with respect to the relativism of values) and include a sketch of some connected aspects of Gödel''s relation to Kant.

This book, one of the first full-length studies of the modalities to emerge from the debate to which Saul Kripke, David Lewis, Ruth Marcus, and others are contributing, is an exploration and defense of the notion of modality de re, the idea that objects have both essential and accidental properties. Plantinga develops his argument by means of the notion of possible worlds and ranges over such key problems as the nature of essence, transworld identity, negative existential propositions, and the existence (...) of unactual objects in other possible worlds. He also applies his logical theories to the elucidation of two problems in the philosophy of religion: the problem of evil and the ontological argument. (shrink)

I suggest two improvements to Joshua Rasmussen’s intriguing recent argument that a causally powerful being necessarily exists.