|
|
|
Petr Hajek: Gödel's ontological proof - its mathematical,
historical and religious context
Abstract
First 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. |
|
|
|