Gödel's ontological proof

GPTKB entity
AI-created image of Gödel's ontological proof
AI-created image

Statements (39)
Predicate Object
gptkbp:instanceOf gptkb:philosophy
formal proof
gptkbp:author gptkb:Kurt_Gödel
gptkbp:criticizedFor gptkb:Graham_Oppy
gptkb:Jordan_Howard_Sobel
logical consistency debated
modal collapse
questionable definition of positive property
gptkbp:defines Essence of an individual
God is a being with all positive properties
Necessary existence
gptkbp:documentedIn gptkb:Kurt_Gödel_Collected_Works,_Volume_3
gptkbp:firstPublished gptkb:Dana_Scott
1987
gptkbp:hasAxiom Axiom: If a property is positive, its negation is not positive
Axiom: Necessary existence is a positive property
Axiom: Positive properties are possibly exemplified
gptkbp:hasConcept God is a being with all positive properties
Necessary existence is a positive property
Positive properties are possibly exemplified
If it is possible that God exists, then God exists necessarily
gptkbp:hasProofType modal logic proof
https://www.w3.org/2000/01/rdf-schema#label Gödel's ontological proof
gptkbp:influencedBy gptkb:Leibniz
gptkb:logic
gptkb:Anselm_of_Canterbury
gptkbp:language gptkb:logic
gptkbp:notableFor formalization of ontological argument
use of modal logic in theology
gptkbp:publishedIn gptkb:Kurt_Gödel's_posthumous_works
gptkbp:relatedTo gptkb:logic
ontological argument
gptkbp:subject existence of God
gptkbp:theory God exists necessarily if possible
If it is possible that God exists, then God exists necessarily
gptkbp:uses gptkb:logic
gptkbp:yearProposed 1970
gptkbp:bfsParent gptkb:Kurt_Gödel
gptkbp:bfsLayer 4