Semantic analysis of some variants of Anderson-like ontological proofs
Studia Logica 79 (3):317 - 355 (2005)
| Abstract | The aim of this paper is to prove strong completeness theorems for several Anderson-like variants of Gödels 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. | |||||||||
| 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,711 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesAnna Mahtani (2008). Can Vagueness Cut Out at Any Order? Australasian Journal of Philosophy 86 (3):499 – 508.
Nikolaj Jang Lee Linding Pedersen & Marcus Rossberg (2010). Open-Endedness, Schemas and Ontological Commitment. Noûs 44 (2):329-339.
David Pearce & Agustín Valverde (2005). A First Order Nonmonotonic Extension of Constructive Logic. Studia Logica 80 (2-3):321 - 346.
Horacio Arló-Costa & Eric Pacuit (2006). First-Order Classical Modal Logic. Studia Logica 84 (2):171 - 210.
Philip Hugly & Charles Sayward (1982). Indenumerability and Substitutional Quantification. Notre Dame Journal of Formal Logic 23 (4):358-366.
Johan Van Benthem (1998). Program Constructions That Are Safe for Bisimulation. Studia Logica 60 (2):311 - 330.
Johan Van Benthem (1998). Program Constructions That Are Safe for Bisimulation. Studia Logica 60 (2):311-330.
Marta Cialdea Mayer & Serenella Cerrito (2001). Ground and Free-Variable Tableaux for Variants of Quantified Modal Logics. Studia Logica 69 (1):97-131.
Mirosław Szatkowski (2011). Partly Free Semantics for Some Anderson-Like Ontological Proofs. Journal of Logic, Language and Information 20 (4):475-512.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads7 ( #133,668 of 551,105 )Recent downloads (6 months)1 ( #63,341 of 551,105 )How can I increase my downloads? |
My notes
Discussion
