Abstract
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.
Similar content being viewed by others
References
ANDERSON, C.A., ‘Some Emendations of Gödel’s Ontological Proof’, Faith and Philosophy 7 (1990), 291–303.
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.
CARNAP, R., Meaning and necessity, a study in semantics and modal logic, University of Chicago Press, Chicago, 1947.
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.
Fitting, M.C., Types, Tableaus, and Gödel’s God, Kluwer Academic Publishers, Dordrecht/Boston/London, 2002.
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.
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.
HÁJEK, P., ‘A new small emandation of Gödel’s ontological proof’, Studia Logica 71 (2002), 149–164.
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.
HUGHES, G. E., and M. J. CRESSWELL, An Introduction to Modal Logic, London, 1968.
LAMBERT, K., ‘Free logic and the concept of existence’, Notre Dame Journal of Formal Logic 8 (1976), 133–144.
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.
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.
Author information
Authors and Affiliations
Corresponding author
Rights 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
Received:
Issue Date:
DOI: https://doi.org/10.1007/s11225-005-3610-y