Course Map
Pick your stopping point. What each level unlocks.
The logic curriculum has natural stopping points. Each module builds a layer of understanding — but you don't have to finish the whole thing to walk away with real skill. Here's a map of what each level gives you, so you can pick where to stop based on what you want to be able to do.
Modules don't have prerequisites beyond the ones before them. Module 8 (Predicate Logic) does lean on Module 1–2; Module 9 (Modal Logic) leans on Module 8. Otherwise, each level is self-contained.
Level 1 — Basic Logic Literacy
After Modules 1–2
The Four Words + Stacking the Four
You can:
- Read AND, OR, NOT, IF with their actual truth conditions
- Untangle compound sentences with parens and nested operators
- Apply De Morgan's Law (NOT distributes)
- Spot ambiguous English (inclusive vs exclusive OR, hidden IFF)
Stop here if: you want to read everyday claims with precision — instructions, rules, contracts, anything where the structure matters.
★Level 2 — Argument Literacy (highest practical payoff)
After Modules 4–5
Arguments + Fallacies
You can:
- Identify premises and conclusions
- Tell modus ponens from modus tollens
- Distinguish valid arguments from sound ones
- Spot the four common fallacies: affirming the consequent, denying the antecedent, slippery OR, IF-vs-IFF confusion
Stop here if: you want the biggest day-to-day payoff. This is where logic stops being abstract and starts being useful — for evaluating advertising, news, debates, and persuasion of every kind.
Level 3 — Formal Logic
After Modules 6–7
Symbols + Proofs
You can:
- Read symbolic logic notation (∧ ∨ ¬ → ↔ ∴ and the rest)
- Translate between English and symbols both ways
- Walk through a proof step-by-step and verify each line earns its place
- Use direct proof, proof by contradiction, and proof by cases
Stop here if: you're heading into math, computer science, or philosophy — anywhere you'll encounter formal arguments written in symbols.
Level 4 — Predicate Logic
After Module 8
Objects, Properties, ALL, SOME
You can:
- Split a claim into object + property (the predicate move)
- Evaluate universal (ALL / ∀) and existential (SOME / ∃) claims
- Hunt counterexamples efficiently to disprove universals
- Apply the NOT flip-and-swap rule (not-all = some-not)
Stop here if: you want a complete first-order logic foundation. This is the level used in serious mathematics, scientific reasoning, and analytic philosophy.
Level 5 — Modal Logic
After Module 9
Necessity and Possibility
You can:
- Identify modal claims (must, might, has to, could)
- Evaluate necessity (□) and possibility (◇) across possible situations
- Apply the modal flip-and-swap rule (not-must = possibly-not)
- Recognize that disproving a "must" is easy (one alternative) while disproving a "could" is hard (rule out every option)
Stop here if: you want full coverage of standard logic. Modal reasoning is at the heart of philosophy, ethics, law, counterfactual thinking, and arguments about evidence, hypotheticals, and AI safety.
Beyond the map
The curriculum is open-ended. Future tracks could go deeper into:
- Multiple quantifiers (∀x ∃y vs ∃y ∀x — order matters)
- Modal logic systems (S4, S5, doxastic, deontic)
- Informal reasoning — common bad arguments in the wild beyond the four basic fallacies
- Probability and Bayesian reasoning
- Inductive reasoning, defeasible reasoning
For now, Modules 1 through 9 cover what's traditionally called standard logic. The five levels above are real, useful milestones — each one a place you can stop and have something durable.