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
|