Modus Ponens is if P then Q. P. Therefore Q. The most basic valid inference move in formal logic. It sits in the Cognition dimension (COG) of the Human Behavior Taxonomy™ as element HBT-COG-0483, within the Logic family. The core principle: if P then Q. P. Therefore Q. The most basic valid inference move in formal logic. 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. P. Therefore Q. The most basic valid inference move in formal logic.
Plain-English Definition
If P then Q. P. Therefore Q. The most basic valid inference move in formal logic.
Feynman Explanation
Most business arguments fail at 'P,' not at the inference.
Core Principle
If P then Q. P. Therefore Q. The most basic valid inference move in formal logic.
Mechanisms
Pending editorial review.
If P then Q. P. Therefore Q. The most basic valid inference move in formal logic.
Pending editorial review.
Pending editorial review.
Pending editorial review.
Pending editorial review.
Strategy memos should make the conditional explicit. Hidden premises = hidden risk.
Inputs (Triggers)
Pending editorial review.
Outputs (Behaviors)
Pending editorial review.
Behavioral Signature
Most business arguments fail at 'P,' not at the inference.
Examples
- Baggini & Fosl, 'The Philosopher's Toolkit,' Chapter 1.
- Strategy memos should make the conditional explicit. Hidden premises = hidden risk.
Pending editorial review.
Original analysis from The Incentives Lab — how this element behaves inside real payoff structures.
Why this element matters to incentive design
Executives usually notice this element only after it has cost something. By then it looks like a one-off. It is not. The mechanism underneath it is straightforward: if P then Q. P. Therefore Q. The most basic valid inference move in formal logic. You can recognize it in the field by its signature: most business arguments fail at 'P,' not at the inference. 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, strategy memos should make the conditional explicit. Hidden premises = hidden risk. It is amplified whenever strategy memos should make the conditional explicit. Hidden premises = hidden risk. Inside organizations that shows up as strategy memos should make the conditional explicit. Hidden premises = hidden risk. 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 force the form: 'If X, then Y. X holds because… Therefore Y.' Now the assumption is visible. Watch for it at the boundaries: handoffs, promotions, incident reviews, and budget cycles are where this element gets its power.
Famous Experiments
Pending editorial review.
Design Principles
- Force the form: 'If X, then Y. X holds because… Therefore Y.' Now the assumption is visible.
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.
- Force the form: 'If X, then Y. X holds because… Therefore Y.' Now the assumption is visible.
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. Not Q. Therefore not P. The logic behind every falsification test.
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 Ponens 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 Periodic Table of Human Behavior
The full 1,267-element map this page belongs to.
Questions about Modus Ponens
- What is Modus Ponens?
- Modus Ponens is if P then Q. P. Therefore Q. The most basic valid inference move in formal logic. It sits in the Cognition dimension (COG) of the Human Behavior Taxonomy™ as element HBT-COG-0483, within the Logic family. The core principle: if P then Q. P. Therefore Q. The most basic valid inference move in formal logic. 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 Ponens?
- Strategy memos should make the conditional explicit. Hidden premises = hidden risk. The Incentives Lab catalogs everyday, organizational, and historical instances of this element on its Human Behavior Taxonomy™ page (HBT-COG-0483).
- How is Modus Ponens exploited?
- Strategy memos should make the conditional explicit. Hidden premises = hidden risk.
- How do you design around Modus Ponens?
- Force the form: 'If X, then Y. X holds because… Therefore Y.' Now the assumption is visible.
- Which behavioral dimension does Modus Ponens belong to?
- Modus Ponens is classified in the Cognition dimension (COG) of the Human Behavior Taxonomy™, family "Logic", class "Mental Model". Its permanent identifier is HBT-COG-0483 and its evidence grade is B.