Reductio Proof Template¶
Proof template — instantiates Contradiction-Closure Proof
A fill-in-the-blanks scaffold for indirect proof: state the claim, assume its exact negation, drive to absurdity, then discharge the assumption to close the claim.
Reductio Proof Template is the discipline-agnostic prose skeleton for an indirect proof. It is not a derivation and not a logic; it is a shape — four labelled slots ("Claim", "Suppose not", "Then…", "Therefore") that a writer fills in whatever field they work in, so that the two moves people habitually skip cannot be skipped. Its whole reason to exist is that a reductio fails in predictable places: the negation is stated loosely so it isn't the exact opposite of the claim, or the writer reaches something surprising and calls it a contradiction, or — most often — the absurdity is reached and the author never explicitly discharges the supposition, leaving a reader unsure whether the claim was proved or merely made to feel unlikely. The template forces the exact negation up front and the explicit closure at the end; what happens between the two slots is left to other mechanisms.
Example¶
A number theorist wants to establish that √2 is irrational. Direct construction is hopeless — there is no fraction to exhibit — so she reaches for the template. Claim: √2 is not equal to any ratio of integers. Suppose not: √2 = a/b for integers a, b in lowest terms, so a and b share no common factor. Then: a² = 2b², so a² is even, so a is even, so a = 2k, so 4k² = 2b², so b² = 2k², so b is even too. Therefore: a and b are both even — they share the factor 2 — contradicting "lowest terms." The supposition is discharged: no such ratio exists, and √2 is irrational.
What the template contributed is not the algebra — any student can do that — but the guarantee that the closing sentence names the contradiction (shared factor vs. lowest terms), ties it to the supposition, and converts it into the positive claim rather than trailing off at "…which is weird." The filled slots are what make it a proof and not an observation.
How it works¶
The template is four slots and two rules for filling them:
- Claim slot — the target stated sharply enough to have an exact negation, quantifiers and domain included ("for all…", "there is no…").
- Supposition slot — the precise contradictory of the claim, flagged as temporary and never mixed into the accepted facts.
- Derivation slot — deliberately left open; the template says "reach an impossibility here" but does not prescribe how (that is another mechanism's job).
- Closure slot — the discharge sentence: name the impossibility, state that it followed from the supposition, reject the supposition, assert the claim.
The two rules: the supposition must be the logical negation, not a weaker contrary; and the closure must point at the specific absurdity, not gesture at general strangeness.
Tuning parameters¶
- Negation form — contradictory ("not P") versus a narrower contrary. Contradictory negation is what licenses closing the exact claim; a contrary proves less than you think.
- Premise-citation granularity — how explicitly each accepted fact is named in the derivation slot. More citation exposes hidden premises but lengthens the proof.
- Closure phrasing — how emphatically the discharge is written. Terse suits an expert reader; a spelled-out "therefore the supposition is false" protects a novice one.
- Scope annotation — whether the template carries an explicit note of the logic and domain it assumes, or leaves that implicit for a reviewer to supply.
When it helps, and when it misleads¶
Its strength is that it makes a reductio ad absurdum[n1] auditable: the exact negation and the explicit discharge are both on the page, so a reader can check that the claim proved matches the claim stated. It is the cheapest guard against the most common indirect-proof failure — reaching an absurdity and never closing the loop.
Its failure mode is that a clean template can dress up a bad proof: the derivation slot will happily accept a contradiction that actually came from an inconsistent premise base or a quantifier that quietly shifted between the supposition and the closure, and the tidy four-part shape lends such a proof false authority — the classic "proof by intimidation." The template also proves that the claim holds without ever exhibiting why, which misleads readers who needed a construction. The guarding discipline is to insist the closure sentence show the impossibility depends on the supposition specifically, and to treat scope as a slot that must be filled, not assumed.
How it implements the components¶
Reductio Proof Template realizes the framing-and-closure spine of the archetype — the slots that bookend an indirect proof:
target_claim_statement— the Claim slot pins the target sharply enough to negate, with domain and quantifiers.negated_assumption_frame— the Supposition slot introduces the exact contradictory as an explicitly temporary assumption.discharge_and_closure_rule— the Closure slot performs the discharge: reject the supposition, assert the claim.
The template deliberately leaves the derivation open: it does not build the step-by-step inference chain or define what formally counts as the contradiction (derivation_path, contradiction_criterion) — that is Natural Deduction Proof Tree.
Related¶
- Instantiates: Contradiction-Closure Proof — the template supplies the claim-and-closure scaffold the whole archetype hangs on.
- Sibling mechanisms: Natural Deduction Proof Tree · Assumption Ledger · Contradiction Search Checklist · Minimal Unsat Core Analysis · Case-Split Elimination Table · Peer Proof Review · Proof Assistant Script · Unsatisfiability Certificate
Editorial Notes¶
Form Classification¶
Form family: Representation, Specification & Plan
Rationale: Reductio Proof Template operates by externalizes claim, negated supposition, derivation, contradiction, and discharge in a fixed proof template. That concrete deployed or enacted form is Representation, Specification & Plan under the frozen taxonomy.
Nearest alternative: Interface, Display & Cue — Although Interface, Display & Cue can support this mechanism, the frozen evidence makes its operative form the act that externalizes claim, negated supposition, derivation, contradiction, and discharge in a fixed proof template; the alternative is therefore secondary rather than defining.
Review outcome: Adjudicated after independent review; high confidence.
Origin Attribution¶
Primary origin: Philosophy
Origin pattern: Convergent development
Present-day reach: Universal
Rationale: Reductio was systematized in ancient logical and dialectical traditions and also used by Greek geometers; philosophy is the primary active catalog lineage and mathematics is a genuine convergent origin.
Related originating lineages:
- Mathematics — Mathematical proof traditions independently institutionalized contradiction as a rigorous proof form.
Review resolution: The blind reviewers disagreed on primary lineage. Light authoritative research resolves the defining form in favor of philosophy: Reductio was systematized in ancient logical and dialectical traditions and also used by Greek geometers; philosophy is the primary active catalog lineage and mathematics is a genuine convergent origin. The rejected primary is retained only when it materially shaped the mechanism, and present-day breadth is recorded separately as domain_reach=universal.
Review outcome: Researched adjudication after independent review; high confidence.
Sources consulted:
Notes¶
[n1] Reductio ad absurdum — "reduction to the absurd" — the classical inference that if assuming a proposition yields a contradiction, the proposition is false. The template is a writing aid for it, not the rule itself; the rule's validity is a scope question handled by Natural Deduction Proof Tree and Peer Proof Review. ↩