David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Logic, Language and Information 20 (4):475-512 (2011)
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
|Keywords||Ontological proof God Essence Necessary existence Positive properties Absolute and relative identity Strong completeness|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
C. Anthony Anderson (1990). Some Emendations of Gödel's Ontological Proof. Faith and Philosophy 7 (3):291-303.
M. J. Cresswell (1995). Incompleteness and the Barcan Formula. Journal of Philosophical Logic 24 (4):379 - 403.
Melvin Fitting (2004). First-Order Intensional Logic. Annals of Pure and Applied Logic 127 (1-3):171-193.
Nicholas Griffin (1977). Relative Identity. Clarendon Press.
Petr Hájek (2002). A New Small Emendation of Gödel's Ontological Proof. Studia Logica 71 (2):149 - 164.
Citations of this work BETA
No citations found.
Similar books and articles
Miroslaw Szatkowski (2005). Semantic Analysis of Some Variants of Anderson-Like Ontological Proofs. Studia Logica 79 (3):317 - 355.
Timothy Williamson (1999). On the Structure of Higher-Order Vagueness. Mind 108 (429):127-143.
Anna Mahtani (2008). Can Vagueness Cut Out at Any Order? Australasian Journal of Philosophy 86 (3):499 – 508.
Philip Hugly & Charles Sayward (1982). Indenumerability and Substitutional Quantification. Notre Dame Journal of Formal Logic 23 (4):358-366.
Peter Alward, COMMENTARY: “Second-Order Predication and the Metaphysics of Properties” by Andrew Egan.
Karl-Georg Niebergall (2009). On 2nd Order Calculi of Individuals. Theoria 24 (2):169-202.
Manfred Saynisch (2005). "Beyond Frontiers of Traditional Project Management": The Concept of "Project Management Second Order (PM-2)" as an Approach of Evolutionary Management. World Futures 61 (8):555 – 590.
Horacio Arló-Costa & Eric Pacuit (2006). First-Order Classical Modal Logic. Studia Logica 84 (2):171 - 210.
Marta Cialdea Mayer & Serenella Cerrito (2001). Ground and Free-Variable Tableaux for Variants of Quantified Modal Logics. Studia Logica 69 (1):97-131.
David Pearce & Agustín Valverde (2005). A First Order Nonmonotonic Extension of Constructive Logic. Studia Logica 80 (2-3):321 - 346.
Peter Roeper (2004). First- and Second-Order Logic of Mass Terms. Journal of Philosophical Logic 33 (3):261-297.
Added to index2011-09-09
Total downloads19 ( #94,211 of 1,102,030 )
Recent downloads (6 months)2 ( #192,049 of 1,102,030 )
How can I increase my downloads?