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.
Scope of Application¶
These uses need a declared base logic and an explicit nonstandard world-evaluation rule.
- 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¶
Name the base possibility rule, the world-like point, and the exact constraint relaxed there. Inclusion: A non-normal point can falsify a theorem that remains valid at designated normal worlds. Exclusion: A merely false actual-world claim is not an impossible world, and a contradictory formula alone is not a world-indexed point. Nearest boundary: Local inconsistency need not make every statement true everywhere; the model must say how truth and access work. Semantic usefulness does not establish literal existence.
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.
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