Partly Free Semantics for Some Anderson-Like Ontological Proofs
Journal of Logic, Language and Information 20 (4):475-512 (2011)
| 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 | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesMiroslaw 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.
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.
Analytics
Monthly downloads |
Added to index2011-09-09Total downloads17 ( #71,062 of 549,068 )Recent downloads (6 months)1 ( #63,185 of 549,068 )How can I increase my downloads? |
My notes
Discussion
