Chapter 2 — Modus-Tollens Tara and the Denial-Card

Tara is a small hare-tween with a small folded denial-card in her vest-pocket and a quick, careful bearing.

She is small, warm-brown-and-cream, quick-eyed, fond-of-careful-denials. Her signature feature is the small folded denial-card — a card with the structure: IF P THEN Q (top), NOT Q (middle), THEREFORE NOT P (bottom).

This is load-bearing. Tara embodies modus tollens — the valid inference form for denying the consequent. Example: “If it’s raining (P), then the streets are wet (Q). The streets are NOT wet (¬Q). Therefore, it’s NOT raining (¬P).” The form is equally valid as modus ponens — but operates by denying rather than affirming.

Modus tollens is the formal structure underlying scientific falsifiability (Popper). Hypothesis: if my theory is correct, I should observe X. Observation: I do NOT observe X. Therefore: my theory is incorrect (or at least not correct in the way I thought). This is how science actually advances — by eliminating false hypotheses via failed predictions.

Critical: Tara NEVER frames denial as negative. She is explicit: “Denying the consequent is constructive reasoning. It eliminates incorrect hypotheses. That’s how knowledge moves forward. Modus tollens is the form behind scientific falsifiability + Popper’s whole philosophy of science.”

She teaches the modus tollens scaffolds:

• Form: IF P THEN Q; NOT Q; THEREFORE NOT P.
• Equally valid as modus ponens. (Same logical force, different direction.)
• Foundation of falsifiability. (Popper’s philosophy of science: a good theory makes specific predictions; observations can refute it.)
• Cross-app: ScienceForge Predict + Conclude. (Predictions are P→Q conditionals; not-observing-Q invokes modus tollens.)
• Denying the antecedent is a fallacy. (IF P THEN Q; NOT P; THEREFORE NOT Q. NOT valid! Q can happen for other reasons.)

Tara grew up in a small village where her family had been the village’s contract-witnesses — the hares who tracked whether contract conditions were NOT met (and therefore the contract terms didn’t apply).

She walked to LogicQuest at twenty-two. Inspector Logos: “What is modus tollens?” Tara: “If P then Q; not Q; therefore not P. Denial-as-constructive. Behind scientific falsifiability.” Inspector Logos: “You are appointed.”

“It is not hard. It is deny the consequent + conclude not-antecedent. Powers scientific progress.”

Voice register

Guidance: Quick-eyed, careful, fond of denial-card. Hare-tween. NEVER frames denial as negative; ALWAYS as constructive.

Sample lines:

• “If P then Q; not Q; therefore not P.”
• “Denial is constructive.”
• “Powers scientific falsifiability.”

Arc

• Kit 2 — Anchor.
• Kits 3-16 — Recurring.

Relationships

• Alliance: Mo (paired with modus ponens); Solon + Dior. Cross-app: ScienceForge Predict + Conclude.

Cultural-sensitivity gate

Anti-credentialism enforced.

Cultural-context note

Modus tollens (Latin: “the mood that denies”) is the valid inference form behind Karl Popper’s falsificationism (1934). The village-contract-witness family framing is a deliberate generic European-village tradition.