This page contains A*/A grade level summary revision notes for the Ontological argument topic.
Find the full revision page here.
AO1: Anselm
- Anselm’s ontological argument involves a purely a priori analysis of the concept of God
- It’s Deductive, if the premises are true, the conclusion must be true.
- Anselm illustrates: a painter has an idea in their mind before painting it in reality.
- This distinguishes existing in the mind verses existing both in reality.
- He then points to Psalm 14:1 “the fool says in his heart, ‘there is no God’.”
- Atheists who reject belief in God must have an idea of God in their mind.
- In Proslogion 2, Anselm argues:
- P1. God is the greatest conceivable being (by definition)
- P2. It is greater to exist in reality than the mind alone
- P3. God exists in the mind
- C1. Therefore, God exists in reality
- God cannot exist in the mind alone. That would be incoherent, since then we could conceive of something greater: God also existing in reality.
- In Proslogion chapter 3 Anselm argues:
- P1. A necessary being whose nonexistence is impossible is greater than a contingent being whose nonexistence is possible.
- C1. Therefore, God (as the greatest conceivable being), necessarily exists.
- Malcolm interprets Anselm’s term ‘greater’ as referring to degrees of limitation, such as dependence on other things for existence.
- God must be unlimited, without any of the contingencies of ordinary beings which make their non-existence possible.
- So, a being greater than which none may be conceived is one whose nonexistence is impossible.
- In his replies to critics, Anselm concludes that if such a being is logically possible, then it must exist.
AO2: Gaunilo’s ‘lost island’ objection
- Gaunilo attempts to show Anselm’s logic is absurd by applying it to another case which yields an absurd result.
- Imagine the greatest possible island. If it’s greater to exist then this island must exist.
- This would work for the greatest possible version of anything.
- Anselm’s logic implies reality would be overloaded with the greatest conceivable version of every possible thing, which seems absurd.
- Gaunilo is attempting to deny that the ontological argument’s conclusion follows from the premises. So he is denying that it really is a valid deductive argument.
Counter
- Anselm replied that his argument is only intended to work in the case of God.
- An island by definition is contingent. It is land enclosed by water, so it depends on water for its existence.
- Therefore, no matter how great or perfect an island is, it will still be contingent.
- This is true of all things in the world.
- So, there’s a relevant difference between God and contingent things like Islands which explains why the logic works exclusively for God.
Evaluation
- Anselm’s reply defeats Gaunilo because a priori reasoning can only demonstrate existence in the case of a necessary being.
- A priori reasoning involves the analysis of the definition of concepts.
- The definition of contingent things is that their existence depends on something else.
- Contingent things can only exist if what they depend on exists (at some prior point).
- Whether what they depend on exist(s/ed) is not part of their definition.
- So, a priori reasoning cannot determine the existence of contingent things.
- E.g., I can tell a perfect island depends on water to exist, but I can’t tell a priori whether that water does exist. So I can’t know a priori whether a perfect island, or any other contingent thing, exists.
- For necessary beings, by contrast, there is no non-definitional existence requirement.
- The argument therefore works exclusively in the case of the greatest conceivable being.
- Its logic cannot be tested where it doesn’t belong, through reference to contingent beings.
AO2: Gaunilo’s critique that God is beyond our understanding
- Gaunilo objects to P3, the claim that God is in our mind/understanding.
- He invokes the classical notion that God is beyond our understanding.
- In that case, Anselm can’t go on to conclude that God being the greatest being requires that he is not just in our understanding, but also in reality.
Response:
- Anselm replies with an analogy: just because we cannot look directly at the sun, doesn’t mean we can’t see by sunlight.
- Similarly, just because we can’t understand what God is, doesn’t mean we can’t understand that whatever God is, God is the greatest conceivable being.
- We can understand that in a hierarchy, like greatness, there must be a highest point or ‘intrinsic maximum’, to use Plantinga’s modern term.
- That’s all we need to understand for Anselm’s argument to work.
- When we combine that with the premises that it is greater to exist, we can then deduce the conclusion that the greatest conceivable being exists.
- We don’t need to understand what a maximally great being actually is, only that whatever it is, it is the pinnacle of the greatness hierarchy.
Evaluation:
- Firstly, Gaunilo’s critique doesn’t work against Anselm’s 2nd form of his argument, which doesn’t rely on a premise about God existing in the mind.
- Gaunilo misunderstands P3 and commits a straw man fallacy, attacking a claim Anselm didn’t make.
- In P3, Anselm uses ‘in intellectu’, meaning ‘can be conceived or thought about’, not ‘fully understood’.
- Anselm didn’t mean God is in the mind in the sense of us having full knowledge of God’s substantive nature, just that we understand something proper to the form of God, that God is maximally great.
AO2: Kant: existence is not a predicate
- The ontological argument claims that denying God’s existence is an incoherent denial of what God is (a maximally great/perfect being).
- Kant responds that this misunderstands what existence is by treating it like a predicate (a description of what a thing is).
- He illustrates that there’s no conceptual difference between 100 coins in reality versus only in the mind.
- If existence were a predicate, it would describe a quality of the real coins.
- They would then be conceptually different to the mental coins.
- But, they are not. 100 coins is just 100 coins, defined by the predicates of 100, round, shiny, etc.
- So, existence is not a predicate.
- This attacks the premise that existing is greater or more perfect.
- If existence is not part of what God is, we can deny God’s existence without contradicting what God is.
Response:
- Descartes’ epistemology doesn’t rely on Anselmian scholastic attribution of predicates to subjects, but on intuition.
- We rationally appreciate that God is inseparable from existence, just as a triangle is inseparable from three sides.
- So Kant’s criticism fails against Descartes.
- Malcolm also defends Anselm.
- Kant is correct, but only about contingent existence.
- The reason for the existence of a contingent thing is dependence on something else, so is external and not a defining part of it.
- However a necessary being contains the reason for its existence within itself.
- So, necessary existence is a defining quality of a thing, in a way contingent existence is not.
- So necessary existence is a predicate.
Evaluation:
- So, both Anselm and Descartes’ approaches succeed against Kant’s criticism.
- Kant makes the same mistake as Gaunilo, thinking an argument for a necessary being could be undermined by showing it fails when applied to contingent things like coins.
AO2: Kant: necessity doesn’t imply existence
- Gaunilo’s island illustrated the distinction between necessity in mental judgement versus necessity in reality.
- The Island (and 100 coins) seemed to make the mistake of testing Anselm’s logic on contingent things.
- Kant’s first critique properly focuses on necessity:
- A triangle necessarily has three sides.
- This proves that if a triangle exists, then it necessarily has three sides.
- God is a being which necessarily has existence.
- However, this only shows that if God exists, then God exists with necessity.
- If God exists, it’s contradictory to deny God’s necessity.
- But if God does not exist, then neither does God’s necessity.
Counter:
- Malcolm responds that Kant’s criticism is incoherent because a necessary being must exist.
- If we accept that God is necessary, we cannot deny that God exists.
Evaluation
- However Hick successfully defends Kant’s style of objection.
- To show that God’s non-existence is contradictory, the ontological argument needs to show God is logically necessary.
- The justification provided is that a maximally great or unlimited being cannot have the contingent dependencies of ordinary beings.
- However, non-contingency does not equate to logical necessity.
- It only implies something metaphysical about God’s mode of being: eternal, non-dependent and self-explaining being (aseity). Hick calls this ‘ontological’ necessity.
- A non-contingent being could fail to exist, because its existence would be a metaphysical fact (what Hick calls a ‘sheer fact’), not a logical requirement.
- So, the ontological argument cannot establish the impossibility of God’s non-existence (i.e., that God has logical necessity).
- It at most proves that if God exists, then God exists in a metaphysically special way, with ontological necessity.
- Gaunilo’s point that conceptual necessity doesn’t entail real necessary existence was right, but needed these distinctions between types of necessity to make clear why.
Conclusion: if using AO2Paragraph 4 – ontological argument fails. If not using Paragraph 4, the ontological argument succeeds.
Note: if a Q is on Gaunilo, you can only use Kant’s critique that develops Gaunilo
If a Q is on Kant, you can only use Gaunilo’s lost island critique – since Kant’s critique developed that.
Question preparation
Key paragraphs:
- Anselm vs Gaunilo’s island
- Gaunilo’s objection that God is beyond our understanding
- Kant’s objection that existence is not a predicate
- Kant’s objection that necessity doesn’t imply existence
Question types:
Questions focused on Gaunilo’s criticisms
- Anselm (minor AO1) vs Gaunilo’s island (full AO1)
- Gaunilo: God beyond understanding
- Kant’s development of Gaunilo: necessity doesn’t imply existence
Questions focused on Kant’s criticisms
- Anselm vs Gaunilo’s island – short paragraph – minor detail for both.
- introduced as – Kant criticises Anselm by developing Gaunilo’s objection.
- Kant’s objection that necessity doesn’t imply existence (develops Gaunilo’s objection)
- Kant’s objection that existence is not a predicate
Can existence be treated as a predicate? [40]
- Introduction:
- A predicate is a word that describes a subject. The question of whether existence could be a predicate is central to the ontological argument for God’s existence. Anselm is accused of having faulty reasoning regarding existence being a predicate.
- Gaunilo’s idea that Kant developed was that there’s a difference between necessity in the mind, and necessity in reality.
- Kant developed that by:
- In one critique, arguing that existence cannot be a predicate of a thing that necessitates its existence in reality.
- In another critique, arguing that even if necessity somehow were a predicate, that would not imply actual existence.
- Anselm vs Gaunilo (minor detail for both)
- Kant’s objection that existence is not a predicate
- Kant’s objection that necessity doesn’t imply existence
- Intro sentence: Here, Kant argues that even if necessary existence could be treated as a predicate, that does not have the implications Anselm thought it did. I.e., it cannot show that God actually does exist.
- Example of conclusion: Necessary existence is indeed a predicate, as Malcolm argued – however it being a predicate doesn’t have the logical significance Anselm & Malcolm thought it did – because it cannot establish God’s actual existence.
Are Gaunilo’s criticisms of the ontological argument the most effective? [40]
- Anselm vs Gaunilo’s island
- Gaunilo’s critique that God is not in the mind
- Kant’s critique that necessity doesn’t imply existence
LOA: Kant has the most effective as he developed Gaunilo’s in a more successful direction.
OR:
- Use Kant’s ‘predicate’ critique, and LOA: Gaunilo’s criticisms are equally ineffective to other critiques from Kant as shown by Malcolm and a closer look at Descartes’ argument.
Weirdly worded questions:
Whether a priori or a posteriori is the more successful type of argument [40]
They could word this question more sneakily like this:
Is God’s existence best justified a posteriori?
Is God’s existence best justified a priori?
- This type of question requires that you judge whether the ontological argument (a priori) is better or worse than a posteriori arguments (teleo/cosmo).
- This question combines ontological (a priori) with one or more of the a posteriori arguments (teleo/cosmo).
- Do one paragraph on each of the three arguments: ontological, teleological & cosmological.
- You will then have judged whether:
- They all succeed (So ontological better – because it tries to prove God’s existence for deductively certain – whereas cosmo/teleo are inductive arguments trying to show the evidence supports belief – but doesn’t prove it for certain).
- One type fails and the other succeeds (so the other type is more successful/convincing).
- They all fail (equally unsuccessful/unconvincing).
E.g.:
- Anselm vs Kant
- Paley vs Evolution
- Aquinas’ 3rd way vs the fallacy of composition (Hume & Russell)
You should try and sprinkle in some comparative statements even if treating the arguments separately. Or ideally – when discussing the criticisms of the theories – especially highlighting how they are problems for the a priori or a posteriori nature of the arguments they are criticising.