Counterexample Search
Updated 2026-08-11
INTRODUCTION
English translation pending.
CORE DEFINITION
The method actively seeks a case that falsifies the hypothesis under test, on the logic that a universal claim is disproved by a single counterexample while no amount of confirmation proves it. That asymmetry is what makes the method efficient: one hundred confirming cases cannot establish that all swans are white, and one black swan ends the claim, so the search for disconfirming evidence carries more information per unit of effort than the accumulation of supporting evidence.
SCAFFOLDING EFFECT
Reduce cognitive load
- State the universal: write the claim so a single counterexample can kill it. - Hunt the boundary: look where the claim is most likely to break. - Use the hit: let a found counterexample revise the claim, not merely annoy it.
Anchor fast decisions
Universal claims have a logical form that makes them maximally vulnerable: their truth requires every instance to conform, so one exception is decisive, while confirmation only raises confidence within the sample actually inspected. That asymmetry in the logic is what makes falsification search a higher-yield strategy than the accumulation of agreeing cases.
MINIMUM ACTION
In progress 0/1Practice this model in one real situation:
account_treeGenealogyexpand_more
menu_bookReferencesexpand_more
Source support: Explicit
- doi.orghttps://doi.org/10.1145/1029894.1029922verified
PRIVATE NOTES · Only visible to you
SAVED Q&A
ENTRY Q&A · Private saving available
Ask with a clear boundary
thinkingmodels answers from published entry context only.
Your question is sent to thinkingmodels. The answer uses public entry context only.
RELATED MODELS