A new small emendation of Gödel's ontological proof
From MaRDI portal
Publication:1612687
DOI10.1023/A:1016583920890zbMath1016.03020OpenAlexW1510921019MaRDI QIDQ1612687
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
Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05)
Related Items
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