The Ontological Argument: Why CosmicSkeptic and The Psuedo-Intellectual are Wrong

I have written about the ontological argument for the existence of God before in this blog but recently my interest in this topic has been rekindled by some clips I have seen by some bright young philosophy students on Youtube. I'm thinking here about CosmicSkeptic, Maximally Great Philosophy, and The Pseudo–Intellectual. All discuss Anselm's ontological argument and two of the three find the ontological argument unconvincing and set out their reasons why. I do not believe that the ontological argument, specifically Anselm's version of it (the version I intend to discuss) is convincing myself, but nor do I think that the arguments put forward against it by CosmicSkeptic and The Pseudo-Intellectual are the right arguments to refute it. All of these young philosophers miss the obvious error Anselm makes. I confess, by the way, that the title of this post is click-bait – I hope that followers of CosmicSkeptic and the other two Youtubers might feel enticed to peruse this post, and I would love it if Alex O'Conner himself were to stumble upon it while searching the Internet for mentions of his name (although I think this is most unlikely). In this post, I will quote Anselm's argument and discuss the counterarguments proposed by CosmicSkeptic and The Pseudo-Intellectual before presenting my own argument for why Anselm's supposed proof is incorrect. I will not discuss the clip by Maximally Great Philosophy much because it seems to me that he is more interested in criticising CosmicSkeptic's argument than producing his own critique of the cosmological argument.

I'll start by cutting and pasting an accurate summation of Anselm's argument, an argument he first presented in the eleventh century, from Wikipedia.

"1. It is a conceptual truth (or, so to speak, true by definition) that God is a being than which none greater can be imagined (that is, the greatest possible being that can be imagined).

"2. God exists as an idea in the mind.

"3. A being that exists as an idea in the mind and in reality is, other things being equal, greater than a being that exists only as an idea in the mind.

"4. Thus, if God exists only as an idea in the mind, then we can imagine something that is greater than God (that is, a greatest possible being that does exist).

"5. But we cannot imagine something that is greater than God (for it is a contradiction to suppose that we can imagine a being greater than the greatest possible being that can be imagined.)

"6. Therefore, God exists."

The first issue raised by Anselm's argument is the idea of maximal greatness. In Descartes's formulation of the ontological argument, he used the term perfections rather than maximal greatness, and the Youtube clip about the ontological argument that CosmicSkeptic criticises also uses the idea of perfections. God is omnipotent, omniscient, and omni-benevolent, all perfect traits. CosmicSkeptic claims that these traits are logically incoherent. For instance, whether or not God can create a stone so heavy He cannot lift it, there must be a limit on His power, either way. Also, if God knows the future, there must be restrictions on what He can do in that it must be impossibe for Him to act in ways He has not foreseen. Does God Himself have free will? (I know that this seems a peculiar question to ask but such questions inevitably arise when we try to describe the qualities a divine creator must have.) Maximally Great Philosophy points out that Anselm's argument does not depend on God being perfect, that it suffices for God 'simply' to be greater than anything else that can be imagined. God, perhaps, could have the power to do anything except that which is logically impossible. If this is so, the criticisms that CosmicSkeptic levels at the ontological argument in the first part of his video are no longer relevant to Anselm's argument. 

Because it may interest readers, I would like to put forward a small argument of my own devising in a similar vein to the ones CosmicSkeptic proposes. If the ontological argument can be used to prove the existence of an all-powerful, all-knowing, and perfectly good being, it can also be used to prove the existence of an all-powerful, all-knowing and perfectly evil being. This raises the prospect of two omnipotent beings with exactly opposed agendas acting on the world, another logical incoherence. However such arguments, arguments that attempt to show that the concept of a perfectly powerful, knowing and benevolent God results in logical paradoxes, do not seem to me to get to the heart of Anselm's ostensible proof and the reason that it is wrong. It is possible to leave the idea of maximal greatness vague except as it relates to existence and still find fault with Anselm's argument. It is at this point in the essay that I wish to turn to CosmicSkeptic's key argument that he pitches towards the end of his video.

CosmicSkeptic summarises the ontological argument in the following way:

P1. God has all perfections.
P2. Necessary existence is a perfection.
P3. If God has necessary existence, he exists.
C: Therefore God exists.

CosmicSkeptic points out an apparent problem with this argument – it seems to assume God exists in the first place. Alex suggests we amend the first premise so that it becomes:

P1. If God exists, God has all perfections.

If we do this, Alex offers up the following as a fair translation of the argument into simpler language:

P1. If God exists, he exists.
P2: If God exists, he exists.
C: Therefore God exists.

Alex's argument seems, at first, a damning refutation of the ontological argument. Either the argument assumes the existence of God in its first premise, the proposition it is trying to prove, or, if we amend it to make the first premise more palatable, it is asserting a trivial analytic truth that does not entail the conclusion.  But there are serious problems with Alex's critique. First, and most evidently, CosmicSkeptic's version is far removed from Anselm's original argument – there is no mention of the mind or imagination in it at all. A second problem, as is pointed out by both Maximally Great Philosophy and The Pseudo-Intellectual, is that the first premise, "God has all perfections," rightly concerns a concept rather than an entity existing in reality. And this concept, they argue, certainly does exist. This is why it is called the ontological argument – because it attempts to move from the concept of God, a concept it seems many people can understand and imagine, to its necessary instantiation. The first premise should be "The concept of God has all perfections." If this change is made, the original version of the argument Alex presents does seem (and the word 'seem' is operative here) to be saying something novel, something non-tautological and nontrivial. 

I could spend more time discussing CosmicSkeptic's version of the ontological argument but because my primary focus is on Anselm's original argument I shall instead move to the criticism proffered by The Pseudo-Intellectual, a criticism that appears to apply both to Anselm's original 'proof' and to CosmicSkeptic's reformulation. Ollie Norton concludes, after discussing Kant's case against the ontological argument and Frege's idea that existence is a second-order predicate, that existence is not a "defining predicate", that you cannot use existence (or non-existence) as a defining characteristic of a concept. This is why, in Ollie's opinion, Anselm's argument is wrong. I am not as familiar with Frege's work as I should be but it seems to me, uninformed as I am, that perhaps Ollie should have chosen the term "property" rather than "predicate". I wish to argue, in opposition to Ollie, that "existence" and "non-existence" (say "fictionality") can indeed be defining characteristics. Although Frege and later Russell thought it was false or meaningless to talk about non-existent things, there is a tradition, going back at least as far Alexius Meinong, of proposing that existence is a property that objects can either have or not have. Consider the word "fairy". In the Oxford English Dictionary, the primary definition for this word is "a small imaginary being of human form that has magical powers, especially a female one". Simply put, my dictionary includes the fact that fairies exist only in the mind and not in reality as part of the word's definition. If I say, "Fairies don't exist in the real world," I am stating an analytic truth, something which is true by virtue of the meaning of the word "fairy". If my friend tells me, "I saw a fairy at the bottom of my garden!" I can either dismiss this apparent observation as analytically false or redefine the term "fairy" in my mind by deleting the term "imaginary" from my mental definition. Of course, the dictionary does not always spell out explicitly that fictional beings are fictional – in the case of the word "leprechaun", for instance, it does so indirectly by prefacing the definition with the clause "(in Irish folklore)". Nor does the dictionary spell out that existent objects are real because this is the default assumption about every word in the dictionary. If something is generally considered to be unreal or fictional, the dictionary does however usually at least indirectly imply this. (Meinongianism, by the way, is a theoretical position that is very important to my thinking and if the reader is interested, you can find out more about it in the posts "Analytic a Posteriori truths" and "Fictional Objects".)

So the two critiques by CosmicSkeptic and The Pseudo-Intellectual both fail. Alex's attempted refutation fails because he does not directly address Anselm's original argument and because he does not recognise that the whole point of the ontological argument is that it goes from concept to reality. Ollie's attempted refutation fails because (as I have argued elsewhere) existence is indeed a property that objects can either have or not have. Yet Anselm's ontological argument is obviously wrong – most people, even many Christians (such as, back in the day, Saint Augustine) sense that it must be wrong when they first encounter it but have difficulty expressing exactly why. What I wish to do now is lay out my own attempted refutation, a refutation that I of course believe is the correct one.

Let us go back to Anselm's actual argument, the argument that I copied from Wikipedia. It is possible to quibble with the first three premises or steps but I shall not do so here. Rather let us accept them as true, if only provisionally. The major error occurs, I believe, in the fourth. I shall quote this step again.

"4. Thus, if God exists only as an idea in the mind, then we can imagine something that is greater than God (that is, a greatest possible being that does exist)."

This sentence begins with the word "Thus" which implies that this step follows logically from the previous ones. However, this is not the case. In fact, this statement is introducing new premises to the argument. It is possible to break down this fourth step into two sub-premises: 

4a. It is possible to imagine a being, call it God, which is maximally great in all respects except that He does not exist.

4b. It is possible to imagine a being, call it God+, which is maximally great in all respects including the respect that He exists.

Step 5 is "But we cannot imagine something that is greater than God (for it is a contradiction to suppose that we can imagine a being greater than the greatest possible being that can be imagined.)" I would, for clarity, like to rephrase this step in the following way: "If God+ exists in the mind, we are forced to redraw our mental picture of God by affirming that He has the property of existence, because otherwise God+ would be greater." (I am aware that I am subtly revising Anselm's argument but certainly not to the extent that CosmicSkeptic does in his video.) If we accept all these steps supposedly the conclusion "Therefore God exists" follows logically. But does it?

First, we should note that 4a and 4b seem plausible. I can imagine lots of things that I know do not exist. I can, for instance, imagine fairies, even though I know that they do not exist, or leprechauns, even though I know that they do not exist. I can imagine Frodo Baggins even though I know he is a fictional character in a series of books by JRR Tolkien. I can also imagine real things. I can imagine Mark Zuckerberg while also knowing that he is a real person in the world. I can imagine Boris Johnson while also affirming the possibility that I could go to London and shake his hand. However, it is possible to believe that something or someone exists – and be wrong. This is the error at the heart of Anselm's argument. There are lots of people who believe Bigfoot exists even though the vast majority of people know that Bigfoot is apocryphal, legendary. My friend who saw a fairy at the bottom of the garden might start believing that fairies are real even though it was probably an hallucination. I can entertain in my mind the possibility that Bigfoot and fairies are real, can make existence a defining predicate of these concepts, but be mistaken. Therefore the concepts of God and God+ say nothing about the real world.

This reasoning can be illustrated in the following way. I would like to offer now a watered down version of Anselm's argument, an argument that I call Anselm's Ontological Argument Lite. It runs as follows:

1. I can imagine an object, x, which is maximally great in the respect that (in my imagination) it exists in the real world.

2. If it did not exist in the real world, the imagined concept would lack this particular maximal greatness.

3. Therefore x exists in the real world.

Obviously this argument is completely bogus. It confuses the existence of a concept with the existence of a real object, a referent; it says that if something exists in the imagination, with the predicate of existence, it must also exist in reality. Step 1 is legitimate but step 2 is not. Anselm's Ontological Argument Lite can be summed up in one sentence: "If I can imagine that x exists in the real world, x exists in the real world". 

What is surprising, and requires explanation, is why this simple error at the heart of Anselm's argument went unobserved by the three bright young philosophy students who felt moved to opine about it on Youtube and moved me to write this post. I believe that their inability to see this simple mistake results from an error in the philosophical tradition that might go back as far as Plato, that was codified when Kant proposed that existence isn't a predicate, and is at the heart of analytic philosophy as it was pioneered by Frege, Russell, and Wittgenstein. Predicate calculus is a system of greatly seductive beauty but it might be misleading in that it might not truly capture the way people actually think or make sense of the world. In The God Delusion, Richard Dawkins tells a story about Russell, reporting that, although a lifelong agnostic, Russell briefly believed that the ontological argument was valid and found this sudden revelation momentarily thrilling. It might be controversial for me to suggest this but the fact that Russell could entertain the idea that the ontological argument is valid, if only briefly, might point to a flaw in his reasoning generally, a flaw that potentially lies at the heart of modern anglophone philosophy. The reason these philosophy students missed this error might be because they are steeped in analytic philosophy. The argument proposed by CosmicSkeptic is reminiscent of Russell's theorising about definite descriptions, and The Pseudo-Intellectual explicitly cites Frege. The ontological argument might be one way of prying apart the faulty assumptions of analytic philosophy. In the next post, I intend to discuss the modal ontological argument for God, show why it is wrong, and in this way pry apart the faulty assumptions of modal logic.

I'll finish this post by endorsing the three Youtubers I have discussed in this blog. If the reader wants to watch the clips I have discussed, you can find them on Youtube. The CosmicSkeptic video is titled 'I Think, Therefore God Exists' | The Ontological Argument (AFG #5) and was first uploaded on June 1 2017. The Maximally Great Philosophy video is titled Why COSMICSKEPTIC is WRONG about the ONTOLOGICAL ARGUMENT and was first uploaded August 17 2020 . The video by The Pseudo-Intellectual is titled CosmicSkeptic Rebuked; The Ontological Argument [A LEVEL RS SUITABLE] and was uploaded August 9 2021. All of these videos are well worth watching.

[Note: I do not often go back to posts and add to them after they are published but I was thinking about the argument I proposed last night in bed and realised that I had made a mistake. In the above essay, I say that it is possible to accept the first three steps in Anselm's argument and that the problem occurs in the fourth. This is incorrect. It is possible to accept all of the first five steps and assert that the sixth step, the conclusion, does not follow from them. This might seem a damning alteration but, in fact, it does not really affect the argument at all. I include this note for the sake of thoroughness.]