Studia Logica

, Volume 71, Issue 2, pp 149–164 | Cite as

A New Small Emendation of Gödel's Ontological Proof

  • Petr Hájek
Ontological proof Gödel modal logic comprehension positive properties 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Anderson, C. A., 'Some emendations of Gödel's ontological proof', Faith and Philosophy 7 (1990), 291-303.Google Scholar
  2. [2]
    Anderson, C. A., M. Gettings, 'Gödel's ontological proof revisited', in Hájek (ed.), Gödel'96, Springer 1996, pp. 167-172.Google Scholar
  3. [3]
    Cocchiarella, N. B., 'A completeness theorem in second order modal logic', Theoria 35 (1969), 81-103.Google Scholar
  4. [4]
    Essler, W. K., 'Gödels Beweis', in F. Ricken (ed.) Klassische Gottesbeweise in der Sicht der gegenwärtigen Logik und Wissenschaftstheorie, Verlag W. Kohlhammer 1991.Google Scholar
  5. [5]
    Fitting, M., Types, Tableaux and Gödel's God. Draft of a book, August 2000, see Scholar
  6. [6]
    Fuhrmann, A., '“G” für Gödel: Kurt Gödels axiomatische Theologie', in: P. Schroeder-Heister et al. (ed.) Logik in der Philosophie. Book in preparation.Google Scholar
  7. [7]
    GÖdel, K., Collected Works III, ed. by S. Feferman et al., Oxford Univ. Press 1995.Google Scholar
  8. [8]
    HÁjek, P., Der Mathematiker und die Frage der Existenz Gottes, should appear in Buldt and Schimanovich, ed.: Wahrkeit und Beweisbarkeit (the book was planned to appear in 1995(!) expected to appear in 2001).Google Scholar
  9. [9]
    HÁjek, P., 'Magari and others on Gödel's ontological proof', in Ursini et al. (ed.), Logic and Algebra, Marcel Dekker 1996, pp. 125-136.Google Scholar
  10. [10]
    Hughes, G. E., and M. J. Cresswell, An Introduction to Modal Logic. Methuen London 1968/1972.Google Scholar
  11. [11]
    KÜng, J., Existiert Gott?, Piper Verlag, Stuttgart 1978.Google Scholar
  12. [12]
    Sobel, J. H., 'Gödel's ontological proof', in J. V. Thomson, (ed.), On Being and Saying. Essays for Richard Cartwright, The MIT Press 1987.Google Scholar

Copyright information

© Kluwer Academic Publishers 2002

Authors and Affiliations

  • Petr Hájek
    • 1
  1. 1.Institute of Computer ScienceAcademy of Sciences of the Czech RepublicPragueCzech Republic

Personalised recommendations