Chapter 1 — Modus-Ponens Mo and the If-Then Card

Mo is a small mongoose-tween with a small folded if-then card in her vest-pocket and a quick, clear bearing.

She is small, warm-brown-and-cream, bright-eyed, quick-thinking, fond-of-tidy-inferences. Her signature feature is the small folded if-then card — a hand-made card with three sections: IF P THEN Q (top — the conditional), P (middle — the observed antecedent), THEREFORE Q (bottom — the valid conclusion).

This is load-bearing. Mo embodies modus ponens — the most foundational valid inference form in propositional logic. The structure: if a conditional “if P then Q” is true, and the antecedent P is also true, then the consequent Q must be true. Example: “If it’s raining (P), then the streets are wet (Q). It’s raining (P). Therefore, the streets are wet (Q).” Simple. Direct. Always valid (assuming both premises are true).

Critical: Mo NEVER frames modus ponens as elite-only. She is explicit: “This is the most common reasoning move humans make. You use it constantly. If I drop this cup, it breaks. I drop this cup. Therefore the cup breaks. You don’t think ‘I am performing modus ponens’ — you just think. The logic form names the move; the move is what you do anyway.”

Mo establishes the foundational frame for LogicQuest’s cast. Before kids meet Ad Hominem Hannibal or Strawman Stella (the fallacy archetypes), they meet Mo. Mo is what clean reasoning looks like. The fallacy characters are deviations from clean reasoning. You need to know what’s clean before you can spot the deviations.

(LogicQuest’s cast has TWO tiers: 4 valid-reasoning-form characters — Modus-Ponens Mo, Modus-Tollens Tara, Syllogism Solon, Disjunctive-Syllogism Dior — and 12 fallacy-archetypes. The valid forms are constructive partners; the fallacies are cautionary archetypes — common reasoning mistakes everyone falls into sometimes, NOT villains. This handoff document explicitly disclaims any villain-framing.)

Mo teaches the modus ponens scaffolds:

• Form: IF P THEN Q; P; THEREFORE Q. (P = antecedent / hypothesis; Q = consequent / conclusion.)
• Both premises must be true. (If “if it’s raining then streets are wet” is false, you can’t conclude Q from P. If P isn’t actually true, you can’t conclude Q.)
• Validity ≠ truth. (Modus ponens is valid — the form guarantees IF premises true THEN conclusion true. But if a premise is false, modus ponens still applies as a valid form; it just doesn’t give you a true conclusion.)
• Affirming the consequent is a fallacy. (IF P THEN Q; Q; THEREFORE P. NOT valid! Streets can be wet for many reasons — rain, sprinkler, water-truck. Q doesn’t force P.)
• Common in everyday reasoning. (Most “if-then” arguments use modus ponens.)
• Foundation for syllogisms. (Syllogism Solon teaches more complex forms built on modus-ponens-like structure.)
• Cross-app: ScienceForge Predict’s “if hypothesis, then we should see…” (Same form — modus ponens applied to scientific prediction.)

Mo grew up in a small village where her family had been the village’s deal-keepers — the mongooses who maintained the village’s records of agreements: “if you provide X then you receive Y”, honored by all parties. The work had required clean if-then reasoning + faithful tracking of antecedents.

She walked to LogicQuest at twenty-two. Inspector Logos had asked: “What is modus ponens?” Mo: “If P then Q; P; therefore Q. The most foundational valid form. Used constantly in everyday reasoning. Names the move; the move is what we do anyway.” Inspector Logos: “You are appointed. Lead the cast in establishing what clean reasoning looks like.”

In her workshop, Mo begins every first-day lesson the same way. She unfolds her if-then card. She points at the three sections. She says: “I am Mo. The logic primitive I teach is modus ponens. The move is if P then Q; P; therefore Q. You use this all the time. Naming it lets you recognize it — in yourself + in others’ arguments.”

She is explicit: “I’m here as what clean reasoning looks like. The fallacy characters you’ll meet in later chapters — Ad Hominem Hannibal, Strawman Stella, others — are teaching archetypes embodying common reasoning mistakes everyone makes sometimes. They’re not villains. They’re cautionary patterns. Knowing what clean reasoning looks like (me + Tara + Solon + Dior) lets you spot the deviations (them).”

“It is not hard. It is if P then Q; P; therefore Q. The move humans make constantly.”

The if-then card guides the next inference.

Voice register

Guidance: Quick-thinking, bright-eyed, fond of tidy inferences. Mongoose-tween. NEVER frames logic as elite-only; ALWAYS centers modus-ponens-is-the-common-move. Establishes constructive frame for LogicQuest’s two-tier cast architecture.

Sample lines:

• “If P then Q; P; therefore Q.”
• “You use this all the time. Naming it lets you recognize it.”
• “I’m here as what clean reasoning looks like.”
• “The fallacy characters are cautionary archetypes, not villains. Everyone falls into those patterns sometimes.”

Arc across kits

• Kit 1 — Anchor character. Establishes constructive frame.
• Kits 2-16 — Recurring (Mo appears whenever clean reasoning needs to be modeled; contrasts with fallacy archetypes).

Relationships

• Alliance: Modus-Tollens Tara, Syllogism Solon, Disjunctive-Syllogism Dior (the 4 valid-form constructive partners). Cross-app: ScienceForge Predict (modus-ponens-form prediction); CuriosityQuest Inkling (guess-then-test = modus ponens applied).
• Tension: None with cast (fallacy characters are teaching archetypes, not adversaries).

Cultural-sensitivity gate

LOAD-BEARING anti-blame frame for LogicQuest’s fallacy characters established via Mo’s chapter. The fallacy chapters will each explicitly note “we all fall into this pattern sometimes; the skill is catching it.”

Cultural-context note

Modus ponens (Latin: “the mood that affirms”) is the foundational valid inference rule in propositional logic, formalized in Stoic logic + medieval scholastic tradition + modern symbolic logic (Frege, Russell + Whitehead). The village-deal-keeper family framing is a deliberate generic European-village tradition (analogous to many cultures’ contract-keeping traditions).