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)|
References found in this work BETA
First-Order Modal Logic.Melvin Fitting, R. Mendelsohn & Roderic A. Girle - 2002 - Bulletin of Symbolic Logic 8 (3):429-430.
First-Order Intensional Logic.Melvin Fitting - 2004 - Annals of Pure and Applied Logic 127 (1-3):171-193.
Citations of this work BETA
No citations found.
Similar books and articles
Can Vagueness Cut Out at Any Order?Anna Mahtani - 2008 - Australasian Journal of Philosophy 86 (3):499 – 508.
Indenumerability and Substitutional Quantification.Philip Hugly & Charles Sayward - 1982 - Notre Dame Journal of Formal Logic 23 (4):358-366.
COMMENTARY: “Second-Order Predication and the Metaphysics of Properties” by Andrew Egan.Peter Alward - unknown
"Beyond Frontiers of Traditional Project Management": The Concept of "Project Management Second Order (PM-2)" as an Approach of Evolutionary Management.Manfred Saynisch - 2005 - World Futures 61 (8):555 – 590.
First-Order Classical Modal Logic.Horacio Arló-Costa & Eric Pacuit - 2006 - Studia Logica 84 (2):171 - 210.
Ground and Free-Variable Tableaux for Variants of Quantified Modal Logics.Marta Cialdea Mayer & Serenella Cerrito - 2001 - Studia Logica 69 (1):97-131.
First- and Second-Order Logic of Mass Terms.Peter Roeper - 2004 - Journal of Philosophical Logic 33 (3):261-297.
Added to index2011-09-09
Total downloads27 ( #188,144 of 2,163,629 )
Recent downloads (6 months)1 ( #348,037 of 2,163,629 )
How can I increase my downloads?