Systems of modal logic for impossible worlds

The intuitive notion behind the usual semantics of most systems of modal logic is that of ?possible worlds?. Loosely speaking, an expression is necessary if and only if it holds in all possible worlds; it is possible if and only if it holds in some possible world. Of course, contradictory expressions turn out to hold in no possible worlds, and logically true expressions turn out to hold in every possible world. A method is presented for transforming standard modal systems into systems of modal logic for impossible worlds. To each possible world there corresponds an impossible world such that an expression holds in the impossible world if and only if it does not hold in the possible world. One can then talk about such worlds quite consistently, and there seems to be no logical reason for excluding them from consideration
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1080/00201747308601687
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: 37,988
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Sentential Calculus for Logical Falsehoods.Charles G. Morgan - 1973 - Notre Dame Journal of Formal Logic 14 (3):347-353.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

The Ersatz Pluriverse.Theodore Sider - 2002 - Journal of Philosophy 99 (6):279-315.
Weak Liberated Versions of T and S.Charles G. Morgan - 1975 - Journal of Symbolic Logic 40 (1):25-30.
Lycan on Lewis and Meinong.Peter J. King - 1992 - Proceedings of the Aristotelian Society 93:193 - 201.
Impossible Worlds.Francesco Berto - 2013 - Stanford Encyclopedia of Philosophy (2013).
A Classically-Based Theory of Impossible Worlds.Edward N. Zalta - 1997 - Notre Dame Journal of Formal Logic 38 (4):640-660.


Added to PP index

Total views
56 ( #121,137 of 2,312,291 )

Recent downloads (6 months)
1 ( #458,434 of 2,312,291 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature