Gödel's ontological proof and its variants

zbMATH Open1283.03019MaRDI QIDQ2856497

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

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

Related Items (4)

Gödel's ontological argument: a reply to Oppy ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ THE DEVELOPMENT OF GÖDEL’S ONTOLOGICAL PROOF

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• A new small emendation of Gödel's ontological proof 👍 👎
• Variants of Gödel's ontological proof in a natural deduction calculus 👍 👎
• Gödel on deduction 👍 👎
• THE DEVELOPMENT OF GÖDEL’S ONTOLOGICAL PROOF 👍 👎
• A patch to the possibility part of Gödel’s Ontological Proof 👍 👎
• Gödel and Intuitionism 👍 👎

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)