Springer Nature is making SARS-CoV-2 and COVID-19 research free. View research | View latest news | Sign up for updates

Semantic Analysis of some Variants of Anderson-like Ontological Proofs

  • 57 Accesses

  • 2 Citations


The aim of this paper is to prove strong completeness theorems for several Anderson-like variants of Gödel’s theory wrt. classes of modal structures, in which: (i). 1st order terms order receive only rigid extensions in the constant objectual 1st order domain; (ii). 2nd order terms receive non-rigid extensions in preselected world-relative objectual domains of 2nd order and rigid intensions in the constant conceptual 2nd order domain.

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


  1. [1]

    ANDERSON, C.A., ‘Some Emendations of Gödel’s Ontological Proof’, Faith and Philosophy 7 (1990), 291–303.

  2. [2]

    ANDERSON, C.A., AND M. GETTINGS, ‘Gödel’s Ontological Proof Revisited’, in P. Hájek, (ed.), Gödel’96, Springer, Berlin, 1996, pp. 167–172.

  3. [3]

    CARNAP, R., Meaning and necessity, a study in semantics and modal logic, University of Chicago Press, Chicago, 1947.

  4. [4]

    CARNAP, R., ‘Replies and Systematic Expositions’, in P.A. Schilpp, (ed.), The Philosophy of Rudolf Carnap, vol. 11 of Library of Living Philosophers, Cambridge University Press, London, 1986, pp. 859–999.

  5. [5]

    Fitting, M.C., Types, Tableaus, and Gödel’s God, Kluwer Academic Publishers, Dordrecht/Boston/London, 2002.

  6. [6]

    GODEL, K., ‘Ontological proof’, in S. Feferman, J. W. Dawson Jr., W. Goldfarb, C. Parsons, and R.M. Solovay, (eds.), Kurt Godel Collected Works, vol. III, Oxford University Press, New York and Oxford, 1995, pp. 403–404.

  7. [7]

    HÁJEK, P., ‘Magari and others on Gödel’s ontological proof’, in A. Ursini and P. Agliano, (eds.), Logic and Algebra, Marcel Dekker, Inc., 1996, pp. 125–135.

  8. [8]

    HÁJEK, P., ‘A new small emandation of Gödel’s ontological proof’, Studia Logica 71 (2002), 149–164.

  9. [9]

    HÁJEK, P., ‘Der Mathematiker und die Frage der Existenz Gottes’, in B. Buld et al., (eds.), Kurt Godel – Wahrheit und Beweisbarkeit II, ÖBV et HPT, Wien, 2002, pp. 325–335.

  10. [10]

    HUGHES, G. E., and M. J. CRESSWELL, An Introduction to Modal Logic, London, 1968.

  11. [11]

    LAMBERT, K., ‘Free logic and the concept of existence’, Notre Dame Journal of Formal Logic 8 (1976), 133–144.

  12. [12]

    PERZANOWSKI, J., ‘Ontological Arguments II: Cartesian and Leibnizian’, in H. Burkhardt and B. Smith, (eds.), Handbook of Metaphysics and Ontology, vol. II, Philosophia, Munich/Philadelphia/Vienna, 1991, pp. 625–633.

  13. [13]

    SOBEL, J.H., ‘Gödel’s Ontological Argument’, in J. J. Thomson, (ed.), On Being and Saying: essays for Richard Cartwright, MIT Press, Cambridge MA, 1987, pp. 241–261.

Download references

Author information

Correspondence to Miroslaw Szatkowski.

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Szatkowski, M. Semantic Analysis of some Variants of Anderson-like Ontological Proofs. Stud Logica 79, 317–355 (2005). https://doi.org/10.1007/s11225-005-3610-y

Download citation


  • Ontological proof
  • 2nd order modal logic
  • positive properties
  • completeness