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)

Anselm: I agreed that Pegasus is a flying horse according to the stories people tell, the paintings painters paint and so on . That is, Pegasus is a flying horse in the understanding of storytellers, their readers and the artists who depict Pegasus. You asked whether flying is not an unmediated causal power . Well, it could be an unmediated causal power if you or I had it, but not if a being with only mediated powers had it. And so (...) poor Pegasus, a being whose powers are only those given him by storytellers and artists, has only the mediated power of flying that they have given him. He flies in the thoughts and depictions of beings with unmediated powers. Still, Pegasus has not only the mediated power to fly but also the mediated power to entertain us, and perhaps even inspire us. Fool: But people could tell stories about you, too, about how you sprouted wings and flew onto the roof of Canterbury Cathedral. Anselm: Alas, if it were only in stories that I could do that, then flying would not be an unmediated causal power of mine. I would still have unmediated causal powers all right, and so would be greater than Pegasus. But flying is not one of my unmediated causal powers. However, something than which nothing greater can be conceived would, and does, as I have proved in my Proslogion, have unmediated causal powers – indeed, much greater unmediated causal powers than any poor mortals like you and me.1 •↵1 For …. (shrink)

I set out four general facts about things that we can refer to and talk about, whether they exist or not. Then, I set out an argument for the existence of God. Myargument, like Anselm’s original argument, is a reductio ad absurdum: It shows that the assumption that God does not exist leads to a contradiction. Theargument is short and in ordinary language. Each line of the argument, other than the reductio premise, is justified by one of the general facts. (...) Finally, I consider some traditional objections to Anselm’s argument, and show how my updated version avoids them. (shrink)