Number of the records: 1
A New Small Emendation of Gödel's Ontological Proof
- 1.0404348 - UIVT-O 20020016 RIV NL eng J - Journal Article
Hájek, Petr
A New Small Emendation of Gödel's Ontological Proof.
Studia Logica. Roč. 71, č. 2 (2002), s. 149-164. ISSN 0039-3215. E-ISSN 1572-8730
R&D Projects: GA MŠMT LN00A056
Keywords : ontological proof * Gödel proof * modal logic * comprehension * positive properties
Subject RIV: BA - General Mathematics
Gödel's ontological proof of the existence of a "godlike being" is subjected to further simplification and analysis.
Permanent Link: http://hdl.handle.net/11104/0124606
Number of the records: 1