Gödel's ontological proof and its variants
From MaRDI portal
Publication:2856497
zbMATH Open1283.03019MaRDI QIDQ2856497FDOQ2856497
Authors: Petr Hájek
Publication date: 29 October 2013
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
- 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
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)
Cited In (15)
- All properties are divine or god exists -- the sacred thesis and its ontological argument
- A new small emendation of Gödel's ontological proof
- Variants of Gödel's ontological proof in a natural deduction calculus
- THE DEVELOPMENT OF GÖDEL’S ONTOLOGICAL PROOF
- Semantic analysis of some variants of Anderson-like ontological proofs
- Title not available (Why is that?)
- Title not available (Why is that?)
- Gödel's modal dogmatic logic and the Filioque a case study
- A patch to the possibility part of Gödel's ontological proof
- Computer-supported analysis of positive properties, ultrafilters and modal collapse in variants of Gödel's ontological argument
- 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
- Gödel's ontological argument: a reply to Oppy
- Title not available (Why is that?)
- Title not available (Why is that?)
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)