Skip to main content
SpringerLink
Log in

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

  • Published:
Studia Logica Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. Anderson, C. A., 'Some emendations of Gödel's ontological proof', Faith and Philosophy 7 (1990), 291-303.

    Google Scholar 

  2. Anderson, C. A., M. Gettings, 'Gödel's ontological proof revisited', in Hájek (ed.), Gödel'96, Springer 1996, pp. 167-172.

  3. Cocchiarella, N. B., 'A completeness theorem in second order modal logic', Theoria 35 (1969), 81-103.

    Google Scholar 

  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.

  5. Fitting, M., Types, Tableaux and Gödel's God. Draft of a book, August 2000, see http://comet.lehman.cuny.edu/fitting

  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.

  7. GÖdel, K., Collected Works III, ed. by S. Feferman et al., Oxford Univ. Press 1995.

  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).

  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.

  10. Hughes, G. E., and M. J. Cresswell, An Introduction to Modal Logic. Methuen London 1968/1972.

  11. KÜng, J., Existiert Gott?, Piper Verlag, Stuttgart 1978.

    Google Scholar 

  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.

Download references

Author information

Authors and Affiliations

  1. Institute of Computer Science, Academy of Sciences of the Czech Republic, Pod vodárenskou věží 2, 182 07, Prague, Czech Republic

    Petr Hájek

Authors
  1. Petr Hájek
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Hájek, P. A New Small Emendation of Gödel's Ontological Proof. Studia Logica 71, 149–164 (2002). https://doi.org/10.1023/A:1016583920890

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1016583920890

Search

Navigation