âą INTRODUCTION
One of the oldest metaphysical questions is: does God exist? In discussing this question, we understand âGodâ in the standard philosophical sense of a necessary being who created and sustains the contingent universe of space and time. Such a being is traditionally regarded as all powerful (omnipotent), all knowing (omniscient) and wholly good (omnibenevolent).
In this chapter, we examine and criticize the three best known philosophical arguments for Godâs existence. These are known as the Ontological, Cosmological and Teleological arguments, and each has different versions.
The versions of the Ontological and Cosmological Arguments presented here purport to be deductively valid arguments. The Teleological Argument, in contrast, is an inductive argument of the type known as âinference to the best explanationâ. (Some versions of the Cosmological Argument are also of this type.)
A further difference between the arguments is that the premises of the Ontological Argument are a priori true (if true), whereas the Cosmological and Teleological Arguments employ contingent, empirically true premises (viz. that the spatio-temporal universe exists, and that the world contains complex biological structures).
âą THE ONTOLOGICAL ARGUMENT
There have been many different versions of the Ontological Argument throughout the history of philosophy, but the first, and most discussed, is that presented in the eleventh century by St Anselm, Archbishop of Canterbury, in his Proslogion. Here is a crucial paragraph from which we can reconstruct his argument:
Thus even the fool is convinced that something than which nothing greater can be conceived is in the understanding, since when he hears this, he understands it; and whatever is understood is in the understanding. And certainly that than which a greater cannot be conceived cannot be in the understanding alone. For if it is ⊠in the understanding alone, it can be conceived to exist in reality also, which is greater. Thus if that than which a greater cannot be conceived is in the understanding alone, then that than which a greater cannot be conceived is itself that than which a greater can be conceived. But surely this cannot be. Thus without doubt something than which a greater cannot be conceived exists, both in the understanding and reality.1
A reconstruction might proceed as follows:
(1) The idea of God is the idea of that than which nothing greater can be conceived.
(2) Since we grasp the idea of God, God exists in the understanding.
(3) God either exists in the understanding alone or exists both in the understanding and in reality.
(4) It is greater to exist in the understanding and in reality than to exist in the understanding alone.
(5) If God exists in the understanding alone, a greater being could be conceived â namely, a being with all Godâs qualities who exists both in the understanding and in reality.
(6) So God cannot exist in the understanding alone (from 1 and 5).
(7) So God exists both in the understanding and in reality (from 3 and 6).
(8) So God exists (in reality) (from 7).
Premise (1) is intended to be true by definition. According to Anselm, the word âGodâ simply means âthat than which no greater can be conceivedâ, just as âtriangleâ means âthree-sided plane figureâ or âbachelorâ means âunmarried manâ. So the fool could no more sensibly deny that God is that than which nothing greater can be conceived than he could sensibly deny that triangles are three-sided or bachelors unmarried.
Premises (2) and (3) are also intended to be truistic. According to Anselm, to conceive of F is for F to exist in the understanding. And for any F that has been conceived, either F exists in the understanding alone or F exists both in the understanding and in reality. For example, unicorns and dragons exist in the understanding alone; men and horses exist both in the understanding and in reality.
Premise (4) is motivated by the following train of thought. Suppose we consider two beings alike in all their properties, except only that the first exists in the understanding alone, while the second exists both in the understanding and in reality. Then the second being is greater than the first. Given (1)â(5), (8) quickly follows.
Note that if Anselmâs proof is sound, we can use similar reasoning to prove that God exists necessarily:
(i) God exists (i.e. (8)).
(ii) If God exists contingently, a greater being could be conceived â namely, a being with Godâs defining qualities who exists necessarily.
But:
(iii) God is that than which nothing greater can be conceived.
Therefore:
(iv) God exists necessarily.
St Anselm (1033â1109)
Anselm was born in Aosta in Italy. He became a monk and was later appointed Archbishop of Canterbury. As much a theologian as a philosopher, Anselm is credited with putting forward the first version of the Ontological Argument for Godâs existence. Anselmâs belief in God did not rest on his proof. He simply wanted to make manifest Godâs essence (which is to exist). His Ontological Argument has had a mixed reception: Aquinas and Kant rejected it; Duns Scotus and Descartes proposed their own versions of it. Although the argument has few adherents today, there is no consensus on where the reasoning goes astray.
Criticizing Anselmâs proof
Questioning premise (1)
Might we object to Anselmâs definition of God? Here are two objections.
(i) Not all definitions are coherent. For example, I might try to define âmeganumberâ thus:
(M) The meganumber is that natural number than which there is no larger.
But (M) is incoherent. There is no largest natural number since the natural number series is infinite.
Is there any reason to think that Anselmâs definition (premise (1)) is similarly incoherent? There will be if Godâs great-making qualities are non-maximal (i.e. qualities which can always be possessed to a greater degree, such as height or weight). However, it is arguable that Godâs great-making qualities â omnipotence, omniscience and perfect goodness â are maximal. No being can be more powerful than an all powerful being or morally better than a perfectly good being. So we cannot criticize Anselmâs definition of God as we did definition (M).
(ii) Even so, could there not be two or more beings than which no greater can be conceived? Perhaps, for any conceivable being we can always conceive of another equally great one. Anselm assumes that there is exactly one being than which no greater can be conceived, but this assumption of uniqueness needs to be justified. (Does omnipotence raise a complication here? Could there be a world with two or more omnipotent beings? Yes, provided âomnipotent beingâ is taken to imply only âbeing than which no other is more powerfulâ and not âthe most powerful beingâ.)
Questioning premises (2)â(5)
What of the next few steps in Anselmâs reasoning? In premises (2)â(5) Anselm presupposes a quite bizarre account of what it is to understand a word. The opening three sentences in our quote suggest the following chain of thought. I understand a word âFâ (a general term, say, such as âunicornâ or âhorseâ) and thereby grasp the concept of an F. In virtue of grasping the concept, an F exists in my understanding and has the qualities typical of an F. We can then inquire whether Fs also exist in reality.
Thus, when I understand the word âunicornâ, a unicorn exists in my understanding and has the qualities typically associated with unicorns (four legs, spiral horn, lionâs tail, etc.). But this is incredible. When I understand the word âunicornâ, I do not have something four-legged and spiral-horned in my mind. Anselm has committed what we might call the fallacy of reification. He has confused the mindâs grasping a concept (for example, the concept unicorn) with the mindâs containing an instance of that concept (an individual unicorn).
In other words, Anselm is supposing that if I possess the concept of a unicorn, then a unicorn exists â if only in my mind. But this is a mistake. Though I possess the concept of a unicorn, unicorns do not exist (in the mind or in reality). Neither unicorns nor horses exist in the understanding, though our concepts or ideas of them do. It follows that there cannot be âtwo beings alike in all their properties, except only that the first exists in the understanding alone, while the second exists both in the understanding and in realityâ.
Premises (2)â(5) commit the fallacy of reification. Once we recognize that it is a fallacy â that when I understand the word âGodâ there is not something in my mind which is omnipotent, omniscient, etc. â we must reject those premises. They are based on an untenable construal of what it is to grasp a concept.
Summing up
St Anselmâs Ontological Argument is a classic example of a rationalist argument. His argument attempts to show that we can establish a substantial conclusion â Godâs existence â by reason alone. This contradicts the empiricist principle (associated with philosophers such as Locke, Berkeley and Hume) that reason alone can never produce knowledge of reality. Empiricists hold that knowledge of reality relies essentially on input from one or more of the five senses.
The Ontological Argument is ingenious. It attempts to prove the existence of God merely from the idea or definition of God as âthat than which no greater can be conceivedâ. It would be extraordinary if the definition of a word could prove the existence of anything beyond itself. Fortunately, it does not.
The parody of Gaunilo the monk
Although the above suffices to dispose of Anselmâs version of the Ontological Argument, it is worth discussing a response made to Anselm by one of his contemporaries, the eleventh-century Benedictine monk Gaunilo of Marmoutiers. Gaunilo famously proposed a parody of Anselmâs Ontological Argument for Godâs existence. In âA Reply on Behalf of the Foolâ Gaunilo recalls the legend of an island âwith all manner of priceless riches and delights in abundanceâ, more excellent than any other conceivable island. He continues:
You cannot any more doubt that this island that is more excellent than all other islands truly exists somewhere in reality than you can doubt that it is in your mind; and since it is more excellent to exist not only in the mind alone but also in reality, therefore it must needs be that it exists. For if it did not exist, any other island existing in reality would be more excellent than it, and so this i...