42:29
Ontological Arguments: Proving God Exists From the Idea of God (Metaphysics of God Episode 2)
philosophymania
Overview
This video explores ontological arguments, a category of philosophical arguments that attempt to prove God's existence based solely on reason and the definition of God, rather than empirical evidence. It traces the development of these arguments from St. Anselm and René Descartes, through critiques by Gaunilo and Immanuel Kant, to modern formulations by Norman Malcolm and Alvin Plantinga. The core of the discussion revolves around whether existence, or necessary existence, can be considered a perfection or a predicate that, when applied to the concept of God, logically necessitates God's existence. The video examines objections like Gaunilo's 'perfect island' and Hume's challenge to the conceivability of necessary existence, ultimately highlighting the complexity and ongoing debate surrounding these a priori arguments for God's existence.
How was this?
Save this permanently with flashcards, quizzes, and AI chat
Chapters
- Ontological arguments aim to prove God's existence using only logic and the definition of God (a priori), unlike empirical arguments.
- They function similarly to how one knows 'all bachelors are unmarried' without checking every bachelor.
- The video will distinguish between traditional and modern ontological arguments due to Kant's objections.
Understanding ontological arguments is crucial for grasping a major philosophical approach to the existence of God that relies on pure reason, independent of faith or empirical observation.
Knowing that all bachelors are unmarried is true by definition, without needing to survey bachelors in the real world.
- Anselm defines God as 'a being greater than which cannot be conceived' (the greatest conceivable being).
- He argues that existing in reality is greater than existing only in the mind.
- Therefore, if God is the greatest conceivable being, God must exist in reality, otherwise a greater being (one that exists) could be conceived, contradicting the definition.
Anselm's argument introduces the idea that God's existence might be a logical necessity derived from God's very definition, framing God's existence as an analytic truth.
Comparing two beings: one maximally great but non-existent, and another maximally great and existent. The existent one is greater, so the greatest conceivable being must exist.
- Gaunilo, a contemporary of Anselm, argued that Anselm's logic could be used to prove the existence of any 'perfect' thing.
- He used the example of a 'perfect island,' arguing that if it's greater to exist, then the perfect island must exist.
- This is a reductio ad absurdum, suggesting that if the logic leads to absurd conclusions (like a perfect island existing), the original argument must be flawed.
Gaunilo's objection highlights a potential flaw in ontological arguments by showing how the same reasoning could seemingly prove the existence of things we know don't exist, questioning the validity of deriving existence from definition alone.
The concept of a 'perfect island' which is greater than any other conceivable island. If existence is a perfection, then this perfect island must exist.
- Descartes defines God as a supremely perfect being.
- He argues that existence is a perfection, therefore God, being supremely perfect, must possess existence.
- He compares God's existence to the essential properties of a triangle (like having three sides), stating existence cannot be separated from God's essence.
Descartes offers a variation of the ontological argument, reinforcing the idea that God's existence is an intrinsic property, akin to a geometric truth, and not something that can be absent from God's essence.
Just as the concept of a triangle necessarily includes having three sides, the concept of a supremely perfect being necessarily includes existence.
- Immanuel Kant argued that existence is not a predicate or a property that adds anything to the concept of a thing.
- Adding 'existence' to a concept doesn't change the concept itself, unlike adding a real property like 'yellow' to a frog.
- Therefore, you cannot define something into existence because existence is not a perfection or a quality that can be possessed.
- Kant rejects the premise that existence is a perfection (Descartes) or that it makes a being greater (Anselm).
Kant's objection is a major challenge to traditional ontological arguments, suggesting that they mistakenly treat existence as a descriptive property rather than a condition for a concept to refer to something real.
The concept of 100 thalers (currency) is the same whether you imagine them existing or not; adding 'existence' doesn't change the concept of the thalers themselves.
- Norman Malcolm reinterpreted Anselm's argument, focusing on 'necessary existence' rather than just 'existence'.
- Necessary existence (being unable to not exist) is proposed as a real predicate, unlike contingent existence.
- Malcolm argues that if God exists, God must exist necessarily, and if God's existence is not impossible, then God must exist necessarily.
- This approach attempts to bypass Kant's objection by treating necessary existence as a perfection.
Modern arguments shift focus to necessary existence, attempting to find a property that, when applied to God, can logically necessitate existence without falling prey to Kant's critique of existence as a simple predicate.
A contingent being (like a person) could fail to exist if certain conditions aren't met, whereas a necessarily existing being's non-existence is logically impossible.
- Alvin Plantinga's argument uses modal logic (reasoning about possibility and necessity across possible worlds).
- He defines God as a 'maximally great being' (omnipotent, omniscient, perfectly good, and existing necessarily in all possible worlds).
- The argument starts with the possibility that a maximally great being exists.
- If it's possible for such a being to exist, then it must exist in all possible worlds, including our own, thus proving God's existence.
Plantinga's argument is considered a strong modern ontological argument because it leverages modal logic and avoids the 'existence is not a predicate' objection by starting with possibility rather than asserting existence directly.
If a maximally great being is possible (exists in at least one possible world), then due to its maximal greatness, it must exist in all possible worlds, including the actual one.
- David Hume argued that anything we can conceive of as existing, we can also conceive of as not existing.
- He claimed there is no being whose non-existence implies a contradiction.
- Therefore, the concept of 'necessary existence' is meaningless, as we can always conceive of the non-existence of any being, including God.
- Hume challenges the idea that God's non-existence is inconceivable, a key premise for ontological arguments that claim God's existence is a logical necessity.
Hume's objection questions the very foundation of a priori arguments for existence by asserting that conceivability is the limit of our understanding, and we can always conceive of the non-existence of any proposed entity.
We can conceive of a four-sided triangle, but Hume argues that the idea of God not existing is also conceivable, unlike a true logical contradiction like a married bachelor.
Key takeaways
- Ontological arguments attempt to prove God's existence through reason alone, based on the definition of God.
- Anselm's argument posits that God, as the greatest conceivable being, must exist because existence is greater than non-existence.
- Gaunilo's 'perfect island' objection illustrates that the logic of ontological arguments could seemingly prove the existence of any perfect thing.
- Kant's critique that 'existence is not a predicate' is a significant challenge, arguing that existence doesn't add a property to a concept.
- Modern ontological arguments, like Malcolm's and Plantinga's, often focus on 'necessary existence' as a property that might avoid Kant's objection.
- Plantinga's modal argument uses possible worlds logic, suggesting that if a maximally great being is possible, it must exist necessarily in all worlds.
- Hume questions the conceivability of necessary existence, arguing that we can always conceive of any being's non-existence.
Key terms
Ontological argumentA prioriA posterioriAnalytic truthPredicateContingent existenceNecessary existenceModal logicPossible worldsReductio ad absurdum
Test your understanding
- What is the fundamental difference between ontological arguments and empirical arguments for God's existence?
- How does Anselm's definition of God as 'a being greater than which cannot be conceived' lead to the conclusion that God must exist?
- Explain Kant's objection that 'existence is not a predicate' and how it challenges traditional ontological arguments.
- How do modern ontological arguments, such as Plantinga's, attempt to overcome Kant's objection by focusing on necessary existence and modal logic?
- What is the core of Hume's objection to the idea of a necessarily existing being, and how does it relate to the conceivability of non-existence?