Modus Tollens is if P then Q. Not Q. Therefore not P. The logic behind every falsification test. It sits in the Cognition dimension (COG) of the Human Behavior Taxonomy™ as element HBT-COG-0484, within the Logic family. The core principle: if P then Q. Not Q. Therefore not P. The logic behind every falsification test. In incentive terms, it matters because it changes the payoff people perceive before they choose — which means it can be designed for, or exploited.
Scientific Definition
If P then Q. Not Q. Therefore not P. The logic behind every falsification test.
Plain-English Definition
If P then Q. Not Q. Therefore not P. The logic behind every falsification test.
Feynman Explanation
Science doesn't prove. It refuses to be refuted yet.
Core Principle
If P then Q. Not Q. Therefore not P. The logic behind every falsification test.
Mechanisms
Pending editorial review.
If P then Q. Not Q. Therefore not P. The logic behind every falsification test.
Pending editorial review.
Pending editorial review.
Pending editorial review.
Pending editorial review.
How you should structure every product hypothesis test.
Inputs (Triggers)
Pending editorial review.
Outputs (Behaviors)
Pending editorial review.
Behavioral Signature
Science doesn't prove. It refuses to be refuted yet.
Examples
- Foundational in Popperian falsificationism; standard in The Philosopher's Toolkit.
- How you should structure every product hypothesis test.
Pending editorial review.
Original analysis from The Incentives Lab — how this element behaves inside real payoff structures.
Why this element matters to incentive design
This element is common enough to feel like human nature and specific enough to be engineered around. The mechanism underneath it is straightforward: if P then Q. Not Q. Therefore not P. The logic behind every falsification test. You can recognize it in the field by its signature: science doesn't prove. It refuses to be refuted yet. Every element in the Cognition dimension changes the perceived payoff of an action before the action happens, which is exactly where incentive design has leverage.
How it gets exploited
Left undesigned, how you should structure every product hypothesis test. It is amplified whenever how you should structure every product hypothesis test. Inside organizations that shows up as how you should structure every product hypothesis test. The pattern is the same one Goodhart's Law describes: the measurable proxy attracts the effort, and the purpose behind it quietly loses funding.
How the Lab designs around it
The redesign move is to specify what observation would force you to abandon the claim, in advance. Design against it the way you would design against a known failure mode — assume it will appear, and price the exploit before someone finds it.
Famous Experiments
Pending editorial review.
Design Principles
- Specify what observation would force you to abandon the claim, in advance.
Measurement Approaches
Pending editorial review.
Evidence
Pending editorial review.
Pending editorial review.
The Perverse Incentive Lens™
How this behavior is exploited — and how to redesign around it.
- Specify what observation would force you to abandon the claim, in advance.
Pending editorial review.
Pending editorial review.
Interactive Mini Network
Click any neighbor to re-center the graph and follow the threads of connection.
Knowledge Graph Neighbors
Auto-linked to the rest of the Human Behavior Taxonomy by family, domain, dimension, and shared keywords.
If P then Q. P. Therefore Q. The most basic valid inference move in formal logic.
Whoever makes the positive claim carries the obligation to support it. Absence of disproof isn't proof.
Treating one kind of thing as if it belonged to a different ontological category.
Justified true belief isn't always knowledge — luck can produce true beliefs from defective reasoning.
You can't derive an 'ought' (value claim) from an 'is' (factual claim) without a smuggled premise.
Necessary = required for X. Sufficient = enough on its own for X. Conflating them is a common error.
Assume the opposite of what you want to prove. Derive a contradiction. The opposite must be false.
How will I feel about this in 10 minutes / 10 months / 10 years?
Basics first (health/finances), then depth (mastery/impact), then altruism (widening circle).
A group decides on a course of action that nobody actually wants, because everyone assumes others prefer it.
Inattention or forgetfulness caused by low attention, hyperfocus, or distraction.
Deriving general rules from specific examples; the leap from instance to concept.
Where Modus Tollens is cited in the corpus
Essays, field guides, and diagnostics from The Incentives Lab that apply this element.
- EssayGoodhart's Law in the Real World
How measurable proxies capture judgment.
- EssayThe Perverse Incentives Hiding in Your KPIs
Cognitive shortcuts turned into scorecards.
- EssayAI Agents Inherit Your Incentives
How this element propagates into automated systems.
- CourseIncentives 101
The free ten-part primer on reading a payoff structure.
- ReferenceThe incentive glossary
Definitions for every mental model, bias, and fallacy in the corpus.
- ReferenceThe Periodic Table of Human Behavior
The full 1,267-element map this page belongs to.
Questions about Modus Tollens
- What is Modus Tollens?
- Modus Tollens is if P then Q. Not Q. Therefore not P. The logic behind every falsification test. It sits in the Cognition dimension (COG) of the Human Behavior Taxonomy™ as element HBT-COG-0484, within the Logic family. The core principle: if P then Q. Not Q. Therefore not P. The logic behind every falsification test. In incentive terms, it matters because it changes the payoff people perceive before they choose — which means it can be designed for, or exploited.
- What is an example of Modus Tollens?
- How you should structure every product hypothesis test. The Incentives Lab catalogs everyday, organizational, and historical instances of this element on its Human Behavior Taxonomy™ page (HBT-COG-0484).
- How is Modus Tollens exploited?
- How you should structure every product hypothesis test.
- How do you design around Modus Tollens?
- Specify what observation would force you to abandon the claim, in advance.
- Which behavioral dimension does Modus Tollens belong to?
- Modus Tollens is classified in the Cognition dimension (COG) of the Human Behavior Taxonomy™, family "Logic", class "Mental Model". Its permanent identifier is HBT-COG-0484 and its evidence grade is B.