In philosophical logic, the concept of an impossible world is used to model certain phenomena that cannot be adequately handled using ordinary possible worlds. An impossible world, w, is the same sort of thing as a possible world, except that it is in some sense "impossible." Depending on the context, this may mean that some contradictions are true at w, that the normal laws of logic or of metaphysics fail to hold at w, or both.
Applications
Non-normal modal logics
Non-normal worlds were introduced by Saul Kripke in 1965 as a purely technical device to provide semantics for modal logics weaker than the systemK — in particular, modal logics that reject the rule of necessitation: Such logics are typically referred to as "non-normal." Under the standard interpretation of modal vocabulary in Kripke semantics, we have if and only if in each model, holds in all worlds. To construct a model in which holds in all worlds but does not, we need either to interpret in a non-standard manner, or we reinterpret the condition for being valid. This latter choice is what Kripke does. We single out a class of worlds as normal, and we take validity to be truth in every normal world in a model. in this way we may construct a model in which is true in every normal world, but in which is not. We need only ensure that this world have an accessible world which is not normal. Here, can fail, and hence, at our original world, fails to be necessary, despite being a truth of the logic. These non-normal worlds are impossible in the sense that they are not constrained by what is true according to the logic. From the fact that, it does not follow that holds in a non-normal world. For more discussion of the interpretation of the language of modal logic in models with worlds, see the entries on modal logic and on Kripke semantics.
is a serious problem for logicians who are interested in developing formal languages that are "semantically closed". The paradox relies on the seemingly obvious principle of contraction: There are ways of using non-normal worlds in a semantical system that invalidate contraction. Moreover, these methods can be given a reasonable philosophical justification by construing non-normal worlds as worlds at which "the laws of logic fail."
Counternecessary statements
A counternecessary statement is a counterfactual conditional whose antecedent is not merely false, but necessarily so. For the sake of argument, assume that either of the following are the case: Presumably each of these statements is such that if it is true, then it is necessarily true. Thus one of the following is being assumed: Now consider the following: This is intuitively false, as one of the fundamental tenets of intuitionism is precisely that the LEMdoes not hold. Suppose this statement is cashed out as: This holds vacuously, given either or. Now suppose impossible worlds are considered in addition to possible ones. It is compatible with that there are impossible worlds at which intuitionism is true, and with that there are impossible worlds at which the LEM is false. This yields the interpretation: This does not seem to be the case, for intuitively there are impossible worlds at which intuitionism is true and the law of excluded middle does not hold.
