Arguments for the Existence of God: Ontological — Edexcel A-Level Study Guide
Exam Board: Edexcel | Level: A-Level
The Ontological Argument is a unique philosophical proof for God's existence that uses pure reason rather than empirical evidence. This guide unpacks its complex logic, tracing its development from St. Anselm to modern debates, providing the critical analysis needed to excel in the Edexcel A-Level exam.

## Overview
The Ontological Argument, falling under Edexcel's 9RS0/01 Philosophy of Religion paper, is a cornerstone of rationalist philosophy. It is an *a priori*, deductive argument, meaning it seeks to prove God's existence through logic and reason alone, without recourse to sensory experience. For candidates, mastery of this topic requires a precise understanding of its logical form, from Anselm's initial definition of God as "that than which nothing greater can be conceived" to the powerful critiques of Gaunilo and Kant. Examiners expect candidates to not only explain the argument but to critically evaluate its validity, assessing whether it successfully moves from a concept in the mind (*in intellectu*) to a reality (*in re*). This guide will deconstruct the key formulations, analyse the crucial objections, and provide the specific vocabulary and analytical techniques required to achieve the highest marks. We will also explore its historical significance as a purely philosophical attempt to bridge the gap between thought and being.

## Key Developments & Thinkers
### St. Anselm of Canterbury (c. 1033–1109)
**Role**: Archbishop of Canterbury and originator of the Ontological Argument.
**Key Actions**: In his *Proslogion* (c. 1077), Anselm laid out two distinct formulations of the argument.
* **Proslogion 2**: Defines God as "that than which nothing greater can be conceived" (TTWNGCC). He argues that if this being existed only in the mind, a greater being could be conceived (one that exists in reality), which is a logical contradiction. This is a *reductio ad absurdum*.
* **Proslogion 3**: Introduces the concept of necessary existence. A being that *cannot not exist* is greater than one that can. Therefore, TTWNGCC must possess necessary existence.
**Impact**: Anselm established the foundation for all subsequent ontological arguments and framed the debate around the logical relationship between God's definition and God's existence.

### Gaunilo of Marmoutiers (c. 1033)
**Role**: A contemporary monk and the first major critic of Anselm.
**Key Actions**: In his reply, "On Behalf of the Fool," Gaunilo created a parody argument using a "perfect island." He argued that if Anselm's logic were sound, one could define the greatest conceivable island into existence. Since this is absurd, the logic must be flawed.
**Impact**: Gaunilo's critique forces a crucial distinction: does the logic of the ontological argument apply only to God, a unique being with a proposed necessary existence, or can it be applied to any contingent object? Anselm's response is that the logic only applies to a being with an *intrinsic maximum*, which an island lacks.
### René Descartes (1596–1650)
**Role**: French philosopher who developed his own version of the argument.
**Key Actions**: In *Meditation V* (1641), Descartes argued that existence is a perfection. Just as a triangle must have three sides as part of its essence, a "supremely perfect being" must have existence as part of its essence. One cannot conceive of a perfect being that lacks existence.
**Impact**: Descartes solidified the argument as an *analytic* proposition, where the predicate (existence) is contained within the subject (God). This framing became the primary target for Kant's later critique.
### Immanuel Kant (1724–1804)
**Role**: German philosopher who offered the most famous and influential critique.
**Key Actions**: In his *Critique of Pure Reason* (1781), Kant argued that **existence is not a predicate**. A predicate adds to the concept of a subject (e.g., "the cat is *black*"). Stating "the cat *exists*" does not add a new property to the cat; it merely posits that the concept of the cat is instantiated in reality. You cannot define something into existence because existence is a synthetic, not an analytic, claim.
**Impact**: Kant's critique is widely seen as a fatal blow to the classical ontological argument. He demonstrated that the argument conflates the logical properties of a concept with the factual assertion of its existence.

### Norman Malcolm (1911–1990)
**Role**: 20th-century American philosopher who revived the argument.
**Key Actions**: Malcolm argued that while Kant successfully refuted Descartes and Anselm's *Proslogion 2*, he did not defeat *Proslogion 3*. Malcolm claimed that *necessary existence* **is** a predicate, as it describes a quality of a being (one that cannot be brought into or go out of existence). He argued that God's existence is either logically impossible or logically necessary, and since it is not impossible, it must be necessary.
**Impact**: Malcolm's modal version of the argument shifted the debate to the logic of possibility and necessity, reviving interest in the ontological argument in contemporary philosophy.