Gödel's ontological proof

GPTKB entity

Statements (60)
Predicate Object
gptkbp:instance_of gptkb:concept
gptkbp:bfsLayer 4
gptkbp:bfsParent gptkb:Kurt_Gödel
gptkbp:aims_to prove the existence of God
gptkbp:based_on ontological argument
gptkbp:contains axioms
gptkbp:discusses existence and essence
gptkbp:examines critics
philosophical discussions
the context of logical arguments
gptkbp:finish God exists necessarily
gptkbp:has analyzed extensively
gptkbp:historical_debate philosophical circles
theologians and philosophers
https://www.w3.org/2000/01/rdf-schema#label Gödel's ontological proof
gptkbp:influenced_by gptkb:Anselm_of_Canterbury
gptkbp:is_analyzed_in logicians
the context of epistemology
gptkbp:is_associated_with mathematical logic
gptkbp:is_challenged_by logical positivism
atheistic arguments
gptkbp:is_cited_in academic papers
gptkbp:is_considered the study of metaphysics
the context of religious philosophy
a formal proof
the context of metaphysical arguments
gptkbp:is_considered_as theologians
a significant contribution
philosophers of logic
gptkbp:is_criticized_for gptkb:philosopher
academic literature
analytic philosophers
gptkbp:is_discussed_in philosophy courses
the philosophy of mathematics
philosophers of religion
the context of metaphysical debates
gptkbp:is_explored_in gptkb:philosopher
formal semantics
philosophical inquiry
the field of analytic philosophy
gptkbp:is_influential_in contemporary philosophy
gptkbp:is_linked_to the concept of God
the study of existence
the concept of necessary existence
gptkbp:is_noted_for its complexity
gptkbp:is_part_of gptkb:Gödel's_philosophical_work
philosophy of religion
the history of philosophy
gptkbp:is_reflected_in the works of other philosophers
modern arguments for God
the discourse on divine attributes
the study of divine existence
gptkbp:is_related_to existential quantification
the nature of existence
theism
gptkbp:is_subject_to gptkb:military_conflict
gptkbp:proposed_by gptkb:Kurt_Gödel
gptkbp:published_by gptkb:1987
gptkbp:related_to modal logic
gptkbp:uses first-order logic