Semantic Analysis of some Variants of Anderson-like Ontological Proofs

Studia Logica 79 (3):317-355 (2005)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

DOI

10.1007/s11225-005-3610-y

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 104,706

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Partly Free Semantics for Some Anderson-Like Ontological Proofs.Mirosław Szatkowski - 2011 - Journal of Logic, Language and Information 20 (4):475-512.
Contingent modal semantics for some variants of Anderson-like ontological proofs.Miroslaw Szatkowski - 2007 - Journal of Applied Non-Classical Logics 17 (1):91-114.
Ground and free-variable tableaux for variants of quantified modal logics.Marta Cialdea Mayer & Serenella Cerrito - 2001 - Studia Logica 69 (1):97-131.
A First Order Nonmonotonic Extension of Constructive Logic.David Pearce & Agustín Valverde - 2005 - Studia Logica 80 (2):321-346.
Program constructions that are safe for bisimulation.Johan Van Benthem - 1998 - Studia Logica 60 (2):311-330.
Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic.Paolo Torrini, John G. Stell & Brandon Bennett - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):495-525.
First order classical modal logic.Horacio Arló-Costa & Eric Pacuit - 2006 - Studia Logica 84 (2):171-210.
First-Order Classical Modal Logic.Eric Pacuit & Horacio Arló-Costa - 2006 - Studia Logica 84 (2):171-210.
Ultrafilter Extensions of Bounded Graphs are Elementary.Zalán Molnár - forthcoming - Studia Logica:1-23.
Interpolation in Extensions of First-Order Logic.Guido Gherardi, Paolo Maffezioli & Eugenio Orlandelli - 2020 - Studia Logica 108 (3):619-648.

Analytics

Added to PP
2009-01-28

Downloads
56 (#421,826)

6 months
7 (#622,587)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Partly Free Semantics for Some Anderson-Like Ontological Proofs.Mirosław Szatkowski - 2011 - Journal of Logic, Language and Information 20 (4):475-512.
Two Types of Ontological Frame and Gödel’s Ontological Proof.Sergio Galvan - 2012 - European Journal for Philosophy of Religion 4 (2):147--168.

Add more citations

References found in this work

Meaning and Necessity: A Study in Semantics and Modal Logic.Rudolf Carnap - 1947 - Chicago, IL, USA: University of Chicago Press.
Some Emendations of Gödel's Ontological Proof.C. Anthony Anderson - 1990 - Faith and Philosophy 7 (3):291-303.
Free logic and the concept of existence.Karel Lambert - 1967 - Notre Dame Journal of Formal Logic 8 (1-2):133-144.

View all 8 references / Add more references