SOURCE-LINKED INTELLIGENCE

Modus Tollens and Counterfactuals and Counterfactual Reasoning Based on Three Types of Negation

arXiv · AI, language, vision and robotics · article · Sep 7, 2026 · UTC

Modus Tollens (MT) is a classical logical inference rule, while counterfactuals are hypothetical statements that are contrary to facts, and counterfactual reasoning is a process of reasoning based on counterfactuals. Negation is an indispensable core concept in them. In this paper, based on the logical systems LCOI&PLCOI with contradictory negation, opposite negation and intermediary negation, we propose three variants of Modus Tollens corresponding to distinct negation types, namely MTC: Modus Tollens based on contradictory negation, MTO: Modus Tollens based on opposite negation, and MTI: Mod

Read original source ↗ Open in workspace

recordType

paper

region

Global