0310571 - ÚI 2009 RIV NL eng J - Journal Article
Hájek, Petr
Ontological Proofs of Existence and Non-Existence.
[Ontologický důkaz existence a neexistence.]
Studia Logica. Roč. 90, č. 2 (2008), s. 257-262. ISSN 0039-3215. E-ISSN 1572-8730
R&D Projects: GA AV ČR IAA100300503
Institutional research plan: CEZ:AV0Z10300504
Keywords : ontological proofs * existence * non-existence * Gödel * Caramuel
Subject RIV: BA - General Mathematics

Caramuels’ proof of non-existence of God is compared with Gödel’s proof.

Caramuelův důkaz neexistence boha je srovnán s Gödelovým důkazem jeho existence.
Permanent Link: http://hdl.handle.net/11104/0162397