A new small emendation of Gödel's ontological proof

DOI10.1023/A:1016583920890zbMath1016.03020OpenAlexW1510921019MaRDI QIDQ1612687

Petr Hájek

Publication date: 26 August 2002

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1016583920890

zbMATH Keywords

modal logicGödelGod's existence

Mathematics Subject Classification ID

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

Related Items (8)

Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument ⋮ Some weakened Gödelian ontological systems ⋮ Computer-assisted analysis of the Anderson-Hájek ontological controversy ⋮ Partly free semantics for some Anderson-like ontological proofs ⋮ Ontological proofs of existence and non-existence ⋮ Contingent modal semantics for some variants of Anderson-like ontological proofs ⋮ Semantic analysis of some variants of Anderson-like ontological proofs ⋮ THE DEVELOPMENT OF GÖDEL’S ONTOLOGICAL PROOF

This page was built for publication: A new small emendation of Gödel's ontological proof