🧪 This platform is in early beta. Features may change and you might encounter bugs. We appreciate your patience!
modal_fallacy
The modal fallacy confuses different types of possibility and necessity. It typically involves conflating logical necessity (what must be true in all possible worlds), physical necessity (what the laws of nature require), and epistemic necessity (what must be true given what we know). An argument may also incorrectly derive necessity from contingent facts or confuse 'necessarily, if P then Q' with 'if P then necessarily Q.'
"If God knows the future, then what will happen must happen. Therefore, we have no free will." (This confuses 'necessarily, if God foreknows X, then X occurs' with 'if God foreknows X, then X occurs necessarily,' which are logically different claims.)
'It's necessarily true that if you drop a glass, it will break' is misread as 'If you drop a glass, it will necessarily break.' The first is a conditional necessity; the second wrongly implies breaking is unavoidable in every possible circumstance, ignoring rubber floors or unbreakable glass.
A politician argues: 'Science says climate change will certainly cause sea-level rise, so coastal cities will necessarily be destroyed.' This conflates the high probability of a physical process with the logical necessity of a specific catastrophic outcome, ignoring adaptation and mitigation.
Necessarily(P -> Q) confused with (P -> Necessarily(Q))
Binary (yes/no) questions an LLM must answer to identify this aspect:
Does the argument involve claims of necessity or possibility?
Type: binaryIs necessity being confused with sufficiency or vice versa?
Type: binaryIs the scope of the modal operator (necessarily, possibly) correctly applied?
Type: binaryThe modal fallacy confuses different types of possibility and necessity. It typically involves conflating logical necessity (what must be true in all possible worlds), physical necessity (what the laws of nature require), and epistemic necessity (what must be true given what we know). An argument may also incorrectly derive necessity from contingent facts or confuse 'necessarily, if P then Q' with 'if P then necessarily Q.'
Modal logic is unintuitive for most people. The distinction between 'the conditional is necessary' and 'the consequent is necessary' is subtle and easily collapsed in natural language.
Carefully distinguish between the necessity of the conditional relationship and the necessity of the conclusion itself. Ask: 'Is it the connection that is necessary, or the outcome itself?'
Prominent in philosophical debates about free will, determinism, and divine foreknowledge. Also appears in legal reasoning about intent and in probability theory discussions.
Use these tools to detect, analyze, or train this aspect.