Petr Hajek: Gödel's ontological proof - its mathematical, historical and religious context
AbstractFirst classical ontological proofs of the existence of God will be remembered (Anselm, Descartes, Leibniz, Hartshorne). Main attention will be paid to mathematical properties of Gödel's proof and its variants: used logic(s), original axioms, collapse of modalities (Sobel), emendations of axioms and of logic (Anderson, Hajek), criticism (Oppy - many godlike beings? Cook - proving devil?). Then religious meaning of ontological proofs will be shortly discussed (Kung, Tillich, de Boer, Muck). Finally we shall ask what we have learned about Gödel.