Gödel's ontological proof and its variants

MaRDI QIDQ2856497zbMATHFDO

Authors Petr Hájek

Publication date 29 October 2013

zbMATH Keywords

second-order modal logicS5 modal logicfirst-order two-sorted modal logicGödel's ontological proof

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45) History of mathematical logic and foundations (03-03)

Recommendations

• scientific article; zbMATH DE number 922621
• Variants of Gödel's ontological proof in a natural deduction calculus
• THE DEVELOPMENT OF GÖDEL’S ONTOLOGICAL PROOF
• Publication:4896507
• scientific article; zbMATH DE number 4150116
• A patch to the possibility part of Gödel's ontological proof
• A new small emendation of Gödel's ontological proof
• Gödel and intuitionism
• Gödel on deduction
• scientific article; zbMATH DE number 517064

Cited in

(15)

• Semantic analysis of some variants of Anderson-like ontological proofs
• scientific article; zbMATH DE number 4150116 (Why is no real title available?)
• Variants of Gödel's ontological proof in a natural deduction calculus
• scientific article; zbMATH DE number 922621 (Why is no real title available?)
• scientific article; zbMATH DE number 937367 (Why is no real title available?)
• Gödel's ontological argument: a reply to Oppy
• Computer-supported analysis of positive properties, ultrafilters and modal collapse in variants of Gödel's ontological argument
• All properties are divine or god exists -- the sacred thesis and its ontological argument
• A new small emendation of Gödel's ontological proof
• THE DEVELOPMENT OF GÖDEL’S ONTOLOGICAL PROOF
• Gödel's modal dogmatic logic and the Filioque a case study
• scientific article; zbMATH DE number 7677643 (Why is no real title available?)
• A patch to the possibility part of Gödel's ontological proof
• The proofs of the existence of God by Thomas Aquinas: a full logical survey
• Contingent modal semantics for some variants of Anderson-like ontological proofs

This page was built for publication: Gödel's ontological proof and its variants

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2856497)