Modal Logic for Other-World Agnostics: Neutrality and Halldén Incompleteness

Journal of Philosophical Logic 36 (1):1-32 (2006)
Lloyd Humberstone
Monash University
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, 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 Philosophy
Categories (categorize this paper)
Reprint years 2007
DOI 10.1007/s10992-005-9020-9
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 35,537
Through your library

References found in this work BETA

Past, Present and Future.Arthur Prior - 1967 - Clarendon Press.
Possible Worlds.John Divers - 2002 - Routledge.

View all 28 references / Add more references

Citations of this work BETA

Temporal Reference in Linear Tense Logic.M. J. Cresswell - 2010 - Journal of Philosophical Logic 39 (2):173-200.
Variation on a Trivialist Argument of Paul Kabay.Lloyd Humberstone - 2011 - Journal of Logic, Language and Information 20 (1):115-132.

Add more citations

Similar books and articles

Halldén Completeness for Relevant Modal Logics.Takahiro Seki - 2015 - Notre Dame Journal of Formal Logic 56 (2):333-350.
Halldén-Completeness by Gluing of Kripke Frames.J. F. A. K. van Benthem & I. L. Humberstone - 1983 - Notre Dame Journal of Formal Logic 24 (4):426-430.
A Logical Choice.Tracy Lupher - 2012 - Southwest Philosophy Review 28 (1):237-246.
A Note on Halldén-Incompleteness.E. J. Lemmon - 1966 - Notre Dame Journal of Formal Logic 7 (4):296-300.
On the Degree of Incompleteness of Modal Logics.W. Blok - 1978 - Bulletin of the Section of Logic 7 (4):167-172.


Added to PP index

Total downloads
49 ( #130,363 of 2,287,744 )

Recent downloads (6 months)
1 ( #393,085 of 2,287,744 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature