Ontological proofs of existence and non-existence

DOI10.1007/s11225-008-9151-4zbMath1162.03305OpenAlexW2066631435MaRDI QIDQ1005959

Petr Hájek

Publication date: 17 March 2009

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

Full work available at URL: https://doi.org/10.1007/s11225-008-9151-4

zbMATH Keywords

existencenon-existenceGödelCaramuelontological proofs

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Cites Work

• Types, tableaus, and Gödel's God
• A new small emendation of Gödel's ontological proof

This page was built for publication: Ontological proofs of existence and non-existence