Concept
In philosophical logic, the concept of an impossible world (sometimes called a non-normal world) is used to model certain phenomena that cannot be adequately handled using ordinary possible worlds. An impossible world, , is the same sort of thing as a possible world (whatever that may be), except that it is in some sense "impossible." Depending on the context, this may mean that some contradictions, statements of the form are true at , or that the normal laws of logic, metaphysics, and mathematics, fail to hold at , or both. Impossible worlds are controversial objects in philosophy, logic, and semantics. They have been around since the advent of possible world semantics for modal logic, as well as world based semantics for non-classical logics, but have yet to find the ubiquitous acceptance, that their possible counterparts have found in all walks of philosophy. Possible worlds are often regarded with suspicion, which is why their proponents have struggled to find arguments in their favor. An often-cited argument is called the argument from ways. It defines possible worlds as "ways how things could have been" and relies for its premises and inferences on assumptions from natural language, for example: (1) Hillary Clinton could have won the 2016 US election. (2) So there are other ways how things could have been. (3) Possible worlds are ways how things could have been. (4) So there are other possible worlds. The central step of this argument happens at (2) where the plausible (1) is interpreted in a way that involves quantification over "ways". Many philosophers, following Willard Van Orman Quine, hold that quantification entails ontological commitments, in this case, a commitment to the existence of possible worlds. Quine himself restricted his method to scientific theories, but others have applied it also to natural language, for example, Amie L. Thomasson in her paper entitled Ontology Made Easy. The strength of the argument from ways depends on these assumptions and may be challenged by casting doubt on the quantifier-method of ontology or on the reliability of natural language as a guide to ontology.