The Hierarchy of Modal Impossibilities

The Gist

Different types of impossibility have different strengths, and metaphysical impossibility is the strongest because it's based on the fundamental nature of reality itself. Unlike physical impossibility (which could change if natural laws were different), metaphysical impossibility cannot be overcome by any changes within that same reality.

Conclusion

Metaphysical impossibility represents the strongest form of impossibility, indicating that something cannot exist or occur given the fundamental nature of reality in a particular context or world.

Premises

1. Modal logic distinguishes between different types of impossibility based on their scope and binding force across possible worlds and contexts.
2. Logical impossibility (contradictions like 'married bachelor') represents violations of formal logical principles that hold universally across all possible contexts.
3. Physical impossibility represents violations of natural laws within specific worlds but may be possible in worlds with different physical constants or laws.
4. Metaphysical impossibility encompasses violations of the essential nature and fundamental structure of reality itself within a given context or world.
5. What is metaphysically impossible in a context cannot be overridden by changes in physical laws, social conventions, or contingent circumstances within that same context.
6. The binding force of metaphysical impossibility within a context exceeds that of physical, practical, or epistemic impossibilities because it concerns the very foundations of what can exist or occur in that reality.

Assumptions

• Modal distinctions between types of impossibility reflect genuine metaphysical categories rather than mere linguistic conventions.
• Reality has fundamental structural features that constrain what can exist or occur within specific contexts or worlds.
• The concept of 'strongest form of impossibility' refers to the most comprehensive and inviolable constraints on existence within a given context.

Analysis

Overall strength: Weak. Argument type: Deductive.

Premise Strength

• Modal logic distinguishes between different types of impossibility based on their scope and binding force across possible worlds and contexts. (Moderate) — Well-established in philosophical literature, though the specific characterization of 'binding force' lacks clear definition
• Logical impossibility (contradictions like 'married bachelor') represents violations of formal logical principles that hold universally across all possible contexts. (Strong) — Clear, well-understood concept with concrete examples that most philosophers accept
• Physical impossibility represents violations of natural laws within specific worlds but may be possible in worlds with different physical constants or laws. (Strong) — Standard understanding in modal logic and philosophy of science
• Metaphysical impossibility encompasses violations of the essential nature and fundamental structure of reality itself within a given context or world. (Weak) — Vague definition that lacks clear criteria for identification and assumes contested metaphysical commitments
• What is metaphysically impossible in a context cannot be overridden by changes in physical laws, social conventions, or contingent circumstances within that same context. (Weak) — Circular definition that builds in the conclusion about metaphysical impossibility's supremacy
• The binding force of metaphysical impossibility within a context exceeds that of physical, practical, or epistemic impossibilities because it concerns the very foundations of what can exist or occur in that reality. (Weak) — Essentially restates the conclusion without providing independent justification

Potential Fallacies

• Begging the Question (Circular Reasoning) (Premise 6 and conclusion relationship) — The argument defines metaphysical impossibility as concerning 'fundamental' reality and having superior 'binding force,' then concludes it's the strongest form based on these very definitions. This assumes what it seeks to prove.
• Reification Fallacy (Assumptions 1 and 2) — The argument treats abstract modal categories as if they correspond to objective features of reality without adequate justification, conflating useful conceptual distinctions with ontological facts.

Counterarguments

• Conclusion (High impact) — Logical impossibility is actually stronger than metaphysical impossibility because it holds universally across all possible contexts, while metaphysical impossibility is explicitly context-relative and therefore represents a weaker constraint.
• Premise 4 (High impact) — The distinction between metaphysical and logical impossibility collapses under scrutiny - what appears to be metaphysical impossibility often reduces to logical contradiction or physical constraint.
• Assumption 1 (Medium impact) — Modal distinctions may be useful conceptual tools rather than reflections of objective metaphysical structure, making the entire hierarchy a matter of linguistic convention rather than discovered truth.

Suggested Improvements

• Definitional clarity — Provide operational criteria for distinguishing metaphysical impossibility from logical impossibility, with concrete examples that clearly fall into one category but not the other. This would address the circularity problem and make the argument testable
• Comparative framework — Establish independent criteria for measuring 'strength' or 'binding force' of impossibilities that don't presuppose the conclusion. This would provide a non-circular basis for the hierarchical ranking
• Context specification — Clarify what constitutes a 'context' or 'world' and explain how context-relativity is compatible with claims about strongest impossibility. This would resolve the tension between universal strength claims and contextual limitations

Scenario Tests

• Consider the statement 'It is impossible for something to be both entirely red and entirely green at the same time.' Is this logical or metaphysical impossibility? (Challenges) — The argument provides no clear way to classify this example, suggesting the categories may not be as distinct as claimed
• In a world with different logical principles (paraconsistent logic allowing some contradictions), would logical impossibility still be universal? (Challenges) — This suggests that even logical impossibility might be context-relative, undermining the proposed hierarchy
• If we discover that what we thought were fundamental metaphysical truths are actually just very stable physical patterns, how would this affect the hierarchy? (Challenges) — The distinction between metaphysical and physical impossibility may be epistemically unstable

Coherence & Relevance

The argument has internal logical structure but suffers from fundamental circularity that undermines its persuasive force. The context-relativity qualifier also creates tension with claims about absolute strength.

• Modal logic distinguishes between different types of impossibility based on their scope and binding force across possible worlds and contexts. (Moderate) — Establishes framework but doesn't determine which type should rank highest
• The binding force of metaphysical impossibility within a context exceeds that of physical, practical, or epistemic impossibilities because it concerns the very foundations of what can exist or occur in that reality. (Weak) — Circular - assumes what the argument seeks to prove about metaphysical impossibility's supremacy

View this argument on LogicFirst.ai