We wish to examine Hartshorne's ontological argument, as formulated in his discussion entitled “The Irreducibly Modal Structure of the Argument.“ The argument is as follows.
We wish to show that, if the above argument is to work, “q” (A perfect being exists“) must be analytic. If it is analytic, Hartshorne is saddled with a contradiction. Furthermore, if “q” is analytic, the argument is irrelevant. (One could take Baier's position on analyticity and argue that “q” is analytic, but tells us nothing about what, in fact, exists, but now the “proof” would not prove that a perfect being exists.)