Impossible World¶
A world-like semantic point that violates stated possibility constraints, used to interpret contradictions, non-normal logics, or counterpossibles.
Core Idea¶
An impossible world is a world-like point at which specified possibility constraints may be lifted. In one use, a contradiction such as p and not-p can be true there; in another, a non-normal point need not satisfy every theorem of the logic. The relevant restriction must be named: 'impossible' is not a license to infer that every statement holds or that the point is an ordinary possible state.
The frozen account explains two reasons philosophers and logicians introduce such points. Non-normal modal semantics can distinguish truths at designated normal worlds from what holds at accessible abnormal points. Counternecessary conditionals can inspect impossible antecedent cases rather than becoming vacuously true over an empty set of possible antecedent worlds. Whether these points are mere model devices or ontology is disputed. The entry therefore distinguishes semantic work from claims that impossible worlds literally exist.
Structural Signature¶
Sig role-phrases:
- World-like point — Provides a semantic evaluation location resembling a possible world. It is constitutive. Counterfactual: An isolated inconsistent sentence is not yet a world-like model point.
- Violated constraint — States which logic, metaphysics, or mathematical possibility rule may fail there. It is constitutive. Counterfactual: If no constraint can fail, the point is an ordinary possible world for the stated system.
- Local truth assignment — Allows propositions to be evaluated at that point, possibly inconsistently or nonnormally. It is constitutive. Counterfactual: Without local evaluation the point cannot do semantic work.
- Normality or access frame — Specifies how impossible points relate to normal worlds and what counts as logical validity. It is boundary. Counterfactual: Treating an impossible point as valid everywhere can trivialize the intended distinction.
- Interpretive use — Explains why the extra points are invoked, such as non-normal necessity or counterpossible comparison. It is operating condition. Counterfactual: An ontological assertion alone does not identify the semantics in which the point matters.
What It Is Not¶
- A possible but false state. Falsehood in the actual world need not violate possibility constraints.
- One contradictory sentence. A formula alone is not yet a world-indexed semantic point.
- Unrestricted triviality. Permitting local inconsistency does not automatically make every proposition true everywhere.
- Established ontology. Useful world semantics does not prove independent existence of impossible ways.
- Closest near-miss. A world where a normally valid A fails can be a non-normal semantic point if the model marks it outside the validity base; the same formula's falsity in an ordinary possible world would need a different logic or show the alleged theorem was not valid.
Scope of Application¶
- Non-normal modal logic. Track validity at designated normal points despite abnormal accessible points.
- Counterpossible reasoning. Compare conditionals whose antecedents cannot hold in ordinary possible worlds.
- Paradox semantics. Test what happens when contraction or other logical laws fail locally.
- Metaphysics debate. Separate ontological commitment from formal semantic utility.
Clarity¶
Specify the base logic, the world-like point, and the exact constraint relaxed there. A non-normal model may make A valid at every normal point while an accessible abnormal point falsifies it. Do not mistake this for ordinary possible-world falsity or conclude that a useful semantic device is a demonstrated existent.
Manages Complexity¶
Adding impossible points lets a semantic model retain distinctions that ordinary possible-world ranges collapse. The gain comes at a cost: normality, access, and local inference rules must be explicit or contradiction can spread farther than intended and obscure what the model actually explains.
Abstract Reasoning¶
- Name the logical or metaphysical possibility standard at issue.
- Identify the point treated as world-like and what propositions it evaluates.
- State which normal constraints are suspended at that point.
- Specify accessibility and where validity is calculated.
- Ask whether the application needs only a formal device or makes an additional existence claim.
Knowledge Transfer¶
The world-indexed-constraint method transfers among modal, paraconsistent, and counterpossible semantics only when each system supplies its own truth and access rules. A contradiction-tolerant point in one logic does not license unrestricted inference in another, and no formal transfer settles the ontological debate.
Examples¶
Canonical¶
A semantic point is allowed to make both p and not-p true under a specified nonclassical interpretation. It illustrates a contradiction-bearing impossible world without claiming that an ordinary classical possibility contains one.
Mapped back: World-like point → hypothetical semantic world i; Violated constraint → classical noncontradiction; Local truth assignment → p and not-p hold there; Normality or access frame → i distinguished from normal worlds; Interpretive use → reason about contradictory scenarios.
Applied / In Practice¶
In a non-normal modal model, A can be valid at every designated normal world while failing at an accessible non-normal point; therefore the normal world's □A need not follow by unrestricted necessitation.
Mapped back: World-like point → accessible non-normal point; Violated constraint → logical theorem not required there; Local truth assignment → A false at that point; Normality or access frame → validity tested only at normal points; Interpretive use → model weaker modal logic.
Structural Tensions¶
T1 — Greater Expressive Range versus Semantic Control. Admitting worlds that break ordinary rules makes counterpossible distinctions available but requires limits on what follows from local contradiction.
Diagnostic: Which inferences remain valid at normal versus impossible points?
T2 — Model Device versus Ontological Commitment. World-indexed semantics can work technically without settling whether impossible worlds exist as independent objects.
Diagnostic: Is the claim about useful semantics or the existence of ways things cannot be?
Structural–Framed Character¶
A provisional portable skeleton is adding nonstandard evaluation states to a model. An impossible world is a world-like point violating a specified possibility constraint for counterpossible or non-normal reasoning; its ontological status is contested. Counterfactual claims are uses, not world-like-point parents.
Evaluative weight: Low as a semantic device; metaphysical commitments require separate argument. Human-practice-bound: Moderate, because logic systems choose truth and access rules. Institutional origin: Modal and paraconsistent semantics develop variants without one universal interpretation. Vocabulary travels: World-indexed methods compare systems only after rules are restated. Import versus recognize: Recognize an impossible world by its specified local violation and semantics; treating it as unrestricted global contradiction imports an invalid inference.
Its character: A formal semantic point with a portable model-extension move and logic-specific constraints.
Structural Core vs. Domain Accent¶
Skeletal core. A model is extended with states outside an ordinary admissibility class.
Domain-bound accent. The states are world-like semantic points, and their departures concern logical, metaphysical, or mathematical possibility.
Why not prime. Nonstandard states are broad; without world-indexed truth and access rules this is not an impossible world.
Instantiates / Related Primes¶
-
Related — counterfactuals. Counternecessary conditionals can motivate impossible points, but the conditional is a proposition type while the world is an evaluation point.
-
Related — representation. Many semantic treatments represent impossible scenarios, yet the frozen source also discusses disputed ontological accounts, so representational-artifact status is not necessary to every use.
Neighborhood in Abstraction Space¶
Impossible World sits in a moderately populated region (44th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.
Family — Critical & Continental Social Theory (18 abstractions)
Nearest neighbors
- Heterotopia (space) — 0.87
- Meaning Postulate — 0.87
- Logic Puzzle — 0.87
- SATPlan — 0.87
- Complex Affine Space — 0.87
Computed from structural-signature embeddings · 2026-10-08
Not to Be Confused With¶
- Ordinary possible world. Tell: Which constraint is permitted to fail at this point?
- Contradictory formula. Tell: Is there a world-like assignment and access frame, or only a sentence?
- Counterfactual. Tell: Is the object a conditional proposition or the point evaluating it?
- Modal realism. Tell: Is semantic usefulness being inflated into existence proof?
References¶
- Frozen Wikipedia discovery revision: https://en.wikipedia.org/wiki/Impossible_world (revision 1281582499).
- Preserved source candidate: https://philpapers.org/rec/LEWC-2
- Preserved source candidate: https://philpapers.org/rec/VANTOO
- Preserved source candidate: https://plato.stanford.edu/entries/impossible-worlds/
- Preserved source candidate: https://plato.stanford.edu/entries/possible-worlds/
- Preserved source candidate: https://philpapers.org/rec/QUIOWT-11
- Preserved source candidate: https://philpapers.org/rec/THOOME
- Preserved source candidate: http://projecteuclid.org/Dienst/UI/1.0/Journal?authority=euclid.ndjfl&issue=1039540763
- Preserved source candidate: http://mally.stanford.edu/impossible.pdf
The frozen Wikipedia revision is discovery provenance. The retained source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; a thin authority surface is recorded as a nonblocking source-strengthening repair rather than concealed.