A topic in the Open Knowledge Graph — a free, open map of 15,290 topics and the order to learn them in.
A counterexample is a specific case that satisfies the premises of a general claim but violates its conclusion, thereby refuting the claim. In deductive logic, a single valid counterexample defeats a universal generalization: 'All swans are white' is falsified by one black swan. In philosophy, counterexamples to conceptual analyses are the primary method of progress — Gettier's counterexamples to the justified-true-belief analysis of knowledge sparked decades of epistemological refinement. Constructing effective counterexamples requires understanding exactly what the original claim asserts and finding a case that genuinely falls within its scope.
Take a proposed universal definition (e.g., 'Knowledge is justified true belief') and systematically probe its boundaries: can you construct a case where the definition is satisfied but the defined concept clearly doesn't apply? That is a counterexample.
You already understand validity and soundness: a valid argument is one where the conclusion must be true if the premises are true, and a sound argument is valid with true premises. The counterexample method is the principal tool for demonstrating that a general claim — whether a logical argument form, a conceptual analysis, or a universal generalization — is false. A counterexample is a specific case that satisfies all the relevant conditions the claim requires, yet fails to produce the conclusion the claim predicts. One genuine counterexample is logically decisive: it proves the claim is not universally true.
For logical argument forms, a counterexample works by finding a concrete substitution where the premises are true and the conclusion is false. This proves the form is invalid. For example, to show that "All A are B; all C are B; therefore all A are C" is invalid, just substitute: "All dogs are mammals; all cats are mammals; therefore all dogs are cats." The premises are true, the conclusion is false — the form is invalid, no matter how the letters are filled in. This parallels your understanding of validity: a valid argument has no possible world where premises are true and conclusion false; a counterexample constructs exactly such a world.
In philosophy, the method extends to conceptual analysis: attempts to define a concept by giving conditions that are necessary and sufficient for it. The analysis "Knowledge is justified true belief" was widely accepted until Edmund Gettier published a 1963 paper constructing cases where someone has a justified true belief that intuitively doesn't count as knowledge. Imagine you believe it is 3:00 based on a clock on the wall, the clock stopped exactly 12 hours ago, and it happens to be 3:00. Your belief is true, and you had reasonable justification — but this doesn't feel like knowledge; you got lucky. This is a counterexample to the analysis. Notice it doesn't just express doubt; it is a specific case that satisfies the definition while clearly failing the concept.
The power of the counterexample method comes from its precision. To construct a good counterexample, you must understand the claim's exact scope — what it asserts about every member of its domain. Then you must find a case that genuinely falls within that scope rather than a case that subtly differs from it. This is why unusual or exotic counterexamples are as forceful as mundane ones: logical force depends on logical structure, not on how often the case arises. A single black swan falsifies "All swans are white" just as definitively as a thousand would. The method teaches you to treat general claims as hypotheses to be tested, not intuitions to be accepted on feel.
Topics in reflective domains aren't scored by quiz answers. Read, reflect, and mark when you've thought it through.