Graduate studies at Western
Journal of Philosophical Logic 36 (1):1 - 32 (2007)
|Abstract||The logic of 'elsewhere,' i.e., of a sentence operator interpretable as attaching to a formula to yield a formula true at a point in a Kripke model just in case the first formula is true at all other points in the model, has been applied in settings in which the points in question represent spatial positions (explaining the use of the word 'elsewhere'), as well as in the case in which they represent moments of time. This logic is applied here to the alethic modal case, in which the points are thought of as possible worlds, with the suggestion that its deployment clarifies aspects of a position explored by John Divers under the name 'modal agnosticism.' In particular, it makes available a logic whose Halldén incompleteness explicitly registers the agnostic element of the position - its neutrality as between modal realism and modal anti-realism|
|Keywords||Halldén completeness modal logic possible worlds|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
John Divers & Joseph Melia (2006). Genuine Modal Realism: Still Limited. Mind 115 (459):731-740.
W. J. Blok (1979). An Axiomatization of the Modal Theory of the Veiled Recession Frame. Studia Logica 38 (1):37 - 47.
Jon Barwise & Lawrence S. Moss (1998). Modal Correspondence for Models. Journal of Philosophical Logic 27 (3):275-294.
I. L. Humberstone (1990). Expressive Power and Semantic Completeness: Boolean Connectives in Modal Logic. Studia Logica 49 (2):197 - 214.
Giovanna Corsi (2002). A Unified Completeness Theorem for Quantified Modal Logics. Journal of Symbolic Logic 67 (4):1483-1510.
Eric Rosen (1997). Modal Logic Over Finite Structures. Journal of Logic, Language and Information 6 (4):427-439.
Yannis Stephanou (2001). Indexed Actuality. Journal of Philosophical Logic 30 (4):355-393.
Tatsuya Shimura (2000). Kripke Incompleteness of Predicate Extensions of the Modal Logics Axiomatized by a Canonical Formula for a Frame with a Nontrivial Cluster. Studia Logica 65 (2):237-247.
M. J. Cresswell (1995). Incompleteness and the Barcan Formula. Journal of Philosophical Logic 24 (4):379 - 403.
Added to index2009-01-28
Total downloads16 ( #81,852 of 739,401 )
Recent downloads (6 months)1 ( #61,680 of 739,401 )
How can I increase my downloads?