Subtopic Deep Dive

Anselm's Ontological Argument
Research Guide

What is Anselm's Ontological Argument?

Anselm's Ontological Argument is Saint Anselm of Canterbury's a priori proof for God's existence from Proslogion II, positing that God, as that than which nothing greater can be conceived, must exist in reality.

Anselm argues that the fool's denial of God leads to contradiction since the concept implies necessary existence. Modern analyses formalize its logic, debating modal and non-modal interpretations (Oppenheimer and Zalta, 1991, 50 citations). Over 150 papers cite related eleventh-century dialectic debates (Holopainen, 1996, 149 citations).

Curated Papers

Key Challenges

Why It Matters

Anselm's argument influences philosophy of religion, shaping debates on existence and necessity in analytic metaphysics (Oppenheimer and Zalta, 1991). It connects to divine simplicity doctrines, informing critiques of God's nature as simple or abstract (Brower, 2008, 129 citations; Leftow, 1990, 48 citations). Applications appear in theology-logic tensions from the eleventh century, affecting modern eternalism and immensity discussions (Holopainen, 1996; Rogers, 2007, 25 citations).

Key Research Challenges

Modal Interpretation Disputes

Scholars debate whether Anselm's proof relies on modal logic or direct definitional necessity (Oppenheimer and Zalta, 1991). Non-modal readings, like Barnes's, challenge S5 axiom assumptions. This affects validity assessments in formal semantics.

Divine Simplicity Compatibility

Reconciling ontological necessity with God's absolute simplicity lacks distinct properties (Brower, 2008). Pre-Scotus views identify God with attributes, complicating existence proofs (Leftow, 1990). Tensions persist in eternalism frameworks (Rogers, 2007).

Theological Logic Integration

Eleventh-century controversies question logic's role in theology, central to Anselm's dialectic (Holopainen, 1996). Falsification challenges test religious statements' meaning (Thomas, 1973). Balancing a priori proofs with empirical theology remains unresolved.

Essential Papers

Dialectic and Theology in the Eleventh Century

Holopainen · 1996 · 149 citations

The study provides a reappraisal of the controversy over the value of logic in theology in the eleventh century, which has for a long time been a theme central to the historiography of early mediev...

Making Sense of Divine Simplicity

Jeffrey E. Brower, The Society of Christian Philosophers · 2008 · Faith and Philosophy · 129 citations

According to the doctrine of divine simplicity, God is an absolutely simple being lacking any distinct metaphysical parts, properties, or constituents. Although this doctrine was once an essential ...

On the Logic of the Ontological Argument

Paul Oppenheimer, Edward N. Zalta · 1991 · Philosophical Perspectives · 50 citations

Saint Anselm of Canterbury offered several arguments for the existence of God.We examine the famous ontological argument in Proslogium ii.Many recent authors have interpreted this argument as a mod...

Is God an Abstract Object?

Brian Leftow · 1990 · Noûs · 48 citations

Before Duns Scotus, most philosophers agreed that God is identical with His necessary intrinsic attributes-omnipotence, omniscience, etc. This Identity Thesis was a component of widely held doctrin...

Theology and falsification

John Christopher Thomas · 1973 · Durham e-Theses (Durham University) · 31 citations

The falsification principle has been used to challenge the meaning of religious statements on the ground that if they are meaningful then they must exclude some possible state of affairs, and there...

Letting Scotus Speak for Himself

Mary Beth Ingham · 2001 · Medieval Philosophy and Theology · 30 citations

In "The Unmitigated Scotus," Thomas Williams calls for another, better reading of the Subtle Doctor: one in which he is able to "speak for himself." 1 In this and other articles, Williams criticize...

The Weight of Love : Affect, Ecstasy, and Union in the Theology of Bonaventure

Robert Glenn Davis · 2016 · Fordham University Press eBooks · 27 citations

Supplementing theological interpretation with historical, literary, and philosophical perspectives, 'The Weight of Love' analyzes the nature and role of affectivity in medieval Christian devotion t...

Reading Guide

Foundational Papers

Start with Holopainen (1996, 149 citations) for historical dialectic context; Oppenheimer and Zalta (1991, 50 citations) for logical structure; Brower (2008, 129 citations) for simplicity ties.

Recent Advances

Rogers (2007, 25 citations) on Anselmian eternalism; Cross (2016, 23 citations) on immensity extensions.

Core Methods

Modal logic formalization (S5 axioms); definitional necessity analysis; compatibility checks with simplicity and eternalism.

How PapersFlow Helps You Research Anselm's Ontological Argument

Discover & Search

Research Agent uses searchPapers and citationGraph on 'Anselm ontological argument' to map Holopainen (1996, 149 citations) as a hub connecting 11th-century dialectic to modern critiques, then findSimilarPapers uncovers Oppenheimer and Zalta (1991). exaSearch reveals 250M+ OpenAlex papers on modal variants.

Analyze & Verify

Analysis Agent applies readPaperContent to Oppenheimer and Zalta (1991), then verifyResponse with CoVe checks logical formalizations against Anselm's Latin text. runPythonAnalysis simulates modal logic proofs in Python sandbox with GRADE scoring for premise validity; statistical verification quantifies citation consensus on non-modal readings.

Synthesize & Write

Synthesis Agent detects gaps in simplicity-ontology links across Brower (2008) and Leftow (1990), flagging contradictions. Writing Agent uses latexEditText for argument diagrams, latexSyncCitations for 50+ refs, and latexCompile to export polished proofs; exportMermaid generates flowcharts of Proslogion II steps.

Use Cases

"Formalize Anselm's ontological argument in Python modal logic simulator"

Research Agent → searchPapers('Anselm logic') → Analysis Agent → readPaperContent(Oppenheimer 1991) → runPythonAnalysis (NumPy/SymPy modal proof) → GRADE-verified simulation output with validity scores.

"Write LaTeX critique of divine simplicity in Anselm's proof"

Synthesis Agent → gap detection (Brower 2008 + Leftow 1990) → Writing Agent → latexEditText(draft) → latexSyncCitations(20 refs) → latexCompile → PDF with Anselm quote blocks and mermaid logic tree.

"Find code repos analyzing Anselm's argument variants"

Research Agent → citationGraph(Oppenheimer 1991) → Code Discovery → paperExtractUrls → paperFindGithubRepo → githubRepoInspect → CSV export of 5 repos with modal logic simulators linked to Anselm critiques.

Automated Workflows

Deep Research workflow scans 50+ papers via searchPapers on 'Anselm ontological' → citationGraph → structured report ranking Holopainen (1996) clusters. DeepScan's 7-step chain: readPaperContent(Oppenheimer 1991) → CoVe verify → runPythonAnalysis logic tree → GRADE. Theorizer generates modal extensions from Brower (2008) + Rogers (2007) lit synthesis.

Try Doxa for Anselm's Ontological Argument Research

Frequently Asked Questions

What defines Anselm's Ontological Argument?

It is the Proslogion II proof that God, as that than which nothing greater can be conceived, must exist in reality, not just understanding (Oppenheimer and Zalta, 1991).

What are key methods in analyzing it?

Formal logic reconstructions test non-modal vs. S5 modal versions; divine simplicity doctrines evaluate compatibility (Oppenheimer and Zalta, 1991; Brower, 2008).

What are the most cited papers?

Holopainen (1996, 149 citations) on 11th-century dialectic; Brower (2008, 129 citations) on simplicity; Oppenheimer and Zalta (1991, 50 citations) on logic.