Explanation
In classical propositional logic, contraposition transforms p → q into ¬q → ¬p. It negates both components and reverses their order; the resulting material conditionals are equivalent. Not every ordinary-language conditional, particularly a counterfactual, permits the same transformation without a change in meaning. The movement examines an antecedent through the exclusion of its consequent. It is neither simple reversal nor inference from an observed effect to an alleged cause.
Movement of thought
1. Fix the logical framework and initial conditional. 2. Negate the consequent and place it first. 3. Negate the antecedent and place it second. 4. Check equivalence within that framework. 5. Test whether ordinary-language meanings change the result.
Scientific use case
Logic education can distinguish converse, negation and contraposition through countermodels; semantics can examine limits of transfer to ordinary speech.
Example
“If an item in this set is a square, it has four sides.” Its contrapositive is “If it does not have four sides, it is not a square.”
Counterexample
“If it has four sides, it is a square” is the converse and fails for some quadrilaterals. It is not contraposition.
Distinction
Distinguish converse reasoning, modus tollens and causal inference. Modus tollens adds the premise ¬q to form an argument; contraposition transforms a conditional.
Effect on thought and perception
A necessary consequence becomes a criterion for excluding the initial assumption.
Resonance
A missing consequence opens a regulated return path to the limits of what may be assumed.
Provenance
Parallel source review reconciled 2026-10-07; human specialist review not claimed.
Cite this entry
Reich, Michael (Hrsg./ed.): „Contraposition“. Atlas der Sprache, AT-NAV-G01-025. ATLAS 259, data model 1.6.0. https://atlasoflanguage.com/concept/AT-NAV-G01-025The address remains stable; editorial content may evolve. Editorial reading state: 2026-10-15. Include your access date for precise references.