Gödel's ontological proof
Demostración ontológica de Gödel
- Date
- 1941-1970 · confidence medium
- Place
- Princeton, New Jersey, United States
- Credited to
- Kurt Gödel
- Field
- Knowledge & symbols
What was discovered
A formal logical argument by Kurt Gödel, in the tradition of Anselm of Canterbury's ontological argument, attempting to prove via modal logic the existence of a being possessing all positive properties (God).
What it led to
- modern formalization of the ontological argument in modal logic
- philosophical debate over the axioms of 'positive properties'
- later verification studies using proof assistants
- influence on philosophical logic and natural theology