scientific article; zbMATH DE number 922621
From MaRDI portal
Publication:4893141
Recommendations
- Gödel's ontological proof and its variants
- THE DEVELOPMENT OF GÖDEL’S ONTOLOGICAL PROOF
- scientific article; zbMATH DE number 937367
- A new small emendation of Gödel's ontological proof
- Gödel's ontological argument: a reply to Oppy
- A patch to the possibility part of Gödel's ontological proof
- On Gödel's philosophical assumptions
- An even more Leibnizian version of Gödel's ontological argument
- Gödel on deduction
- Variants of Gödel's ontological proof in a natural deduction calculus
Cited in
(30)- Addendum to ``Sloman's view of Gödel's sentence
- Some weakened Gödelian ontological systems
- A new small emendation of Gödel's ontological proof
- Positive qualities and the ontological argument
- Variants of Gödel's ontological proof in a natural deduction calculus
- Semantic analysis of some variants of Anderson-like ontological proofs
- Response to Gettings
- Gödel's ontological argument: a reply to Oppy
- Gödel's ontological proof and its variants
- On ``seeing the truth of the Gödel sentence
- scientific article; zbMATH DE number 6486267 (Why is no real title available?)
- Higher-order modal logics: automation and applications
- All properties are divine or god exists -- the sacred thesis and its ontological argument
- scientific article; zbMATH DE number 4150116 (Why is no real title available?)
- A formal theory of physical necessity
- GoedelGod
- scientific article; zbMATH DE number 1778926 (Why is no real title available?)
- scientific article; zbMATH DE number 937367 (Why is no real title available?)
- THE DEVELOPMENT OF GÖDEL’S ONTOLOGICAL PROOF
- 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
- Computer-assisted analysis of the Anderson-Hájek ontological controversy
- Russell's divine ancestors
- An object-logic explanation for the inconsistency in Gödel's ontological theory
- A brief critical introduction to the ontological argument and its formalization: Anselm, Gaunilo, Descartes, Leibniz and Kant
- An even more Leibnizian version of Gödel's ontological argument
- The correctness and relevance of the modal ontological argument
- Notes on Gödel's and Scott's variants of the ontological argument
- Types, Tableaus and Gödel’s God in Isabelle/HOL
- Exploring Simplified Variants of Gödel’s Ontological Argument in Isabelle/HOL
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4893141)
