Abstract
Anderson-like ontological proofs, studied in this paper, employ contingent identity, free principles of quantification of the 1st order variables and classical principles of quantification of the 2nd order variables. All these theories are strongly complete wrt. classes of modal structures containing families of world-varying objectual domains of the 1st order and constant conceptual domains of the 2nd order. In such structures, terms of the 1st order receive only rigid extensions, which are elements of the union of all 1st order domains. Terms of the 2nd order receive extensions and intensions. Given a family of preselected world-varying objectual domains of the 2nd order, non-rigid extensions of the 2nd order terms belong always to a preselected domain connected with a given world. Rigid intensions of the 2nd order terms are chosen from among members of a conceptual domain of the 2nd order, which is the set of all functions from the set of worlds to the union of all 2nd order preselected domains such that values of these functions at a given world belong to a preselected domain connected with this world.
Article PDF
Similar content being viewed by others
References
Adams R. M. (1995) Introductory note to *1970. In: Feferman S., Dawson J. W., Goldfarb W., Parsons C., Solovay R. M. (eds) Kurt Gödel collected works. Oxford University Press, New York and Oxford, pp 388–402
Anderson R. A. (1990) Some emendations of Gödel’s ontological proof. Faith and Philosophy 7: 291–303
Cresswell M. J. (1995) Incompleteness and the Barcan formula. Journal of Philosophical Logic 24: 379–403
Fitting M. C. (2002) Types, tableaus, and Gödel’s god. Kluwer Academic Publishers, Dordrecht/Boston/London
Fitting M. C. (2004) First-order intensional logic. Annals of Pure and Applied logic 127: 171–193
Fitting M. C., Mendelson R. (1998) First-order modal logic. Kluwer Academic Publishers, Dordrecht/Boston/London
Garson, J. W. (1984). Quantification in modal logic. In D. Gabbay & F. Guenthner (Eds.), Handbook of philosophical logic (Vol. II, pp. 249–307). Dordrecht, Boston and Lancaster: D. Reidel Publishing Company.
Garson J. W. (1991) Applications of free logic to quantified intensional logic. In: Lambert K. (eds) Philosophical applications of free logic. Oxford University Press, New York and Oxford, pp 111–142
Griffin N. (1977) Relative identity. Clarendon Press, Oxford
Gödel K. (1995) Ontological proof. In: Feferman S., Dawson J. W., Goldfarb W., Parsons C., Solovay R. M. (eds) Kurt Gödel collected works. Oxford University Press, New York and Oxford, pp 403–404
Hájek P. (1996) Magari and others on Gödel’s ontological proof. In: Ursini A., Agliano P. (eds) Logic and algebra. Marcel Dekker Inc, New York, pp 125–135
Hájek P. (2002a) A new small emendation of Gödel’s ontological proof. Studia Logica 71: 149–164
Hájek, P. (2002b). Der Mathematiker und die Frage der Existenz Gottes. In B. Buld et al. (Eds.), Kurt Gödel—Wahrheit und Beweisbarkeit II (pp. 325–335). Wien: bv et hpt.
Hughes, G. E., Cresswell, M. J. (1968). An introduction to modal logic. London: Methuen and Co LTD.
Lambert K. (1981) On the philosophical foundations of free logic. Inquiry 24: 147–203
Lambert K. (1997) Free logics: Their fundations, character, and some applications thereof. Academia Verlag, Sankt Augustin
Lambert K. (2003) Free logic. Cambridge University Press, Cambridge
Noonan H. W. (1980) Objects and identity: An examination of the relative identity thesis and its consequences. Martinus Nijhoff Publishers, The Hauge
Szatkowski M. (2005) Semantic analysis of some variants of Anderson-like ontological proofs. Studia Logica 79: 317–355
Szatkowski M. (2007) Contingent modal semantics for some variants of Anderson-like ontological proofs. Journal of Applied Non-Classical Logics 17: 91–114
Thomason R. H. (1970) Some completeness results for modal predicate calculi. In: Lambert K. (eds) Philosophical problems in logic. D. Reidel Publishing Company, Dordrecht, pp 56–76
Open Access
This article is distributed under the terms of the Creative Commons Attribution Noncommercial License which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This is an open access article distributed under the terms of the Creative Commons Attribution Noncommercial License (https://creativecommons.org/licenses/by-nc/2.0), which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited.
About this article
Cite this article
Szatkowski, M. Partly Free Semantics for Some Anderson-Like Ontological Proofs. J of Log Lang and Inf 20, 475–512 (2011). https://doi.org/10.1007/s10849-011-9146-9
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10849-011-9146-9