scientific article; zbMATH DE number 937367

zbMath0859.03010MaRDI QIDQ4896507

Petr Hájek

Publication date: 7 April 1997

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

completenesscomprehension axiomGödel's proof of the existence of God

Mathematics Subject Classification ID

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

Related Items (8)

Variants of Gödel's ontological proof in a natural deduction calculus ⋮ 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 ⋮ All Properties are Divine or God Exists - The Sacred Thesis and its Ontological Argument ⋮ Semantic analysis of some variants of Anderson-like ontological proofs ⋮ THE DEVELOPMENT OF GÖDEL’S ONTOLOGICAL PROOF

This page was built for publication: