Impossible worldIn 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.
Extended modal realismExtended modal realism is a metaphysical theory developed by Takashi Yagisawa. It concerns the question of what it means that something is possible or necessary. Modal realism is the view that besides the actual world, there are many possible worlds. They exist as alternate versions of the actual world we live in. It contrasts with actualism, which holds that there is only one world: the actual world. Extended modal realism is a special form of modal realism.
Mathematical universe hypothesisIn physics and cosmology, the mathematical universe hypothesis (MUH), also known as the ultimate ensemble theory, is a speculative "theory of everything" (TOE) proposed by cosmologist Max Tegmark. Tegmark's MUH is the hypothesis that our external physical reality is a mathematical structure. That is, the physical universe is not merely described by mathematics, but is mathematics — specifically, a mathematical structure. Mathematical existence equals physical existence, and all structures that exist mathematically exist physically as well.
Possible worldA possible world is a complete and consistent way the world is or could have been. Possible worlds are widely used as a formal device in logic, philosophy, and linguistics in order to provide a semantics for intensional and modal logic. Their metaphysical status has been a subject of controversy in philosophy, with modal realists such as David Lewis arguing that they are literally existing alternate realities, and others such as Robert Stalnaker arguing that they are not.
