Computer Validates Anselm’s Proof for God’s Existence
Paul Oppenheimer and Edward Zalta (2011) have used Prover9 to check the validity of Anselm’s ontological argument. The program not only proved the argument’s validity, but went on to derive a simplified version of the argument containing only one non-logical premise and avoiding many of the metaphysical pitfalls of Anselm’s original formulation. Their article, A Computationally-Discovered Simplification of the Ontological Argument, appears in the June issue of the Australian Journal of Philosophy.
In plain English, the one non-logical second premise of the simplified argument reads:
If the conceivable thing than which nothing greater is conceivable fails to exist, then something greater than it is conceivable (348).1
[Spoiler Alert] Oppenheimer and Zalta do not claim that this simplified version of the argument is sound. They think the premise has some prima facie plausibility (ibid.). Further analysis reveals that the defender of the ontological argument must provide an independent argument to think the premise is true. Still, they seem to suggest that such an independent argument could be constructed out of their previous work. They write:
Our 1991 analysis of the argument is still relevant, since it shows how the ontological arguer could justify Anselm’s use of the definite description. The present analysis
shows why the use of the definite description needs independent justification. Consequently, though the simplified ontological argument is valid, Premise 2 is questionable and to the extent that it lacks independent justification, the simplified argument fails to demonstrate that God exists. The use of computational techniques in systematic metaphysics has illuminated the relationship between Premise 2 of the ontological argument and the conclusion that God exists (349).
So the argument in plain English would run something like this:
1. Nothing greater is conceivable than the conceivable thing than which nothing greater is conceivable.
2. If the conceivable thing than which nothing greater is conceivable fails to exist, then something greater than it is conceivable.
3. Therefore, the conceivable thing than which nothing greater is conceivable does not fail to exist.
Premise One does seem to be a priori true. So, in this formulation, the question of the soundness of the argument really does come down to Premise 2. All else being equal, is a conceivable thing that exists greater than a conceivable thing that fails to exist? Kant would say no. Existence is not a real predicate! But I don’t remember Kant really giving an argument for this. All he gives is a weak analogy about thalers, the Prussian currency of his day. Kant argues that 100 real thalers does not contain a coin more than 100 imagined thalers. Thus, by analogy, “that God exists” adds nothing to the concept of God. Now it might be true that 100 imagined thalers have as many coins as 100 real thalers. But the for the analogy to hold, the question is not with regard to the equality of coins between the two, but which is greater. So I offer the following prize: if you can prove that 100 imagined dollars are just as great as 100 real dollars, you win 100 imagined dollars. Once you have submitted the proof just close your eyes and imagine that green-hued Benjamin Franklin with his perturbed expression. Are you not motivated to win the prize? Would you prefer that I offer you a real 100 dollar bill for the proof? Why?
[An Aside] The fact that a computer program was able to refine the ontological argument is quite intriguing to me. Suppose the singularity occurs, as predicted by some futurists. What if the resulting super-intelligent machines were able to demonstrate the soundness of the ontological argument? Would these super-intelligent machines develop religion?
1P. Oppenheimer & E. Zalta. (2011). “A Computationally-Discovered Simplification of the Ontological Argument”. Australasian Journal of Philosophy 89 (2): 333-349.