🧩Learn Formal Logic Basics
Build the intuition to tell a valid argument from a true one, then translate any op-ed paragraph into symbolic logic and check whether its reasoning actually holds.
Phase 1Arguments, Truth, and the Shape of Reasoning
Tell valid reasoning apart from true conclusions
An argument is not a disagreement
6 minAn argument is not a disagreement
Valid doesn't mean true
7 minValid doesn't mean true
Two patterns that run the world
7 minTwo patterns that run the world
Deduction guarantees, induction bets
6 minDeduction guarantees, induction bets
Phase 2Connectives, Truth Tables, and Symbolic Fluency
Master one connective at a time with truth tables
A proposition is a truth-claimer
6 minA proposition is a truth-claimer
AND is a stricter gate than you think
6 minAND is a stricter gate than you think
OR is more generous than English lets on
6 minOR is more generous than English lets on
NOT is the hinge every proof swings on
7 minNOT is the hinge every proof swings on
The implication that's true when its premise is false
8 minThe implication that's true when its premise is false
Phase 3Logic in the Wild: Headlines, Politics, and Proofs
Evaluate real headlines, political claims, and proofs
The headline that's technically true
8 minThe headline that's technically true
The hidden premise in the stump speech
8 minThe hidden premise in the stump speech
The proof by contradiction hiding in plain sight
8 minThe proof by contradiction hiding in plain sight
The slip between correlation and conditional
8 minThe slip between correlation and conditional
Phase 4Symbolize an Op-Ed and Test Its Argument
Symbolize and test an op-ed's real argument
Translate an op-ed into logic and break it
25 minTranslate an op-ed into logic and break it
Frequently asked questions
- What's the difference between a valid argument and a true one?
- This is covered in the “Learn Formal Logic Basics” learning path. Start with daily 5-minute micro-lessons that build from fundamentals to hands-on application.
- Do I need to know math to study formal logic?
- This is covered in the “Learn Formal Logic Basics” learning path. Start with daily 5-minute micro-lessons that build from fundamentals to hands-on application.
- Why do logicians use symbols instead of plain English?
- This is covered in the “Learn Formal Logic Basics” learning path. Start with daily 5-minute micro-lessons that build from fundamentals to hands-on application.
- What's the difference between propositional and predicate logic?
- This is covered in the “Learn Formal Logic Basics” learning path. Start with daily 5-minute micro-lessons that build from fundamentals to hands-on application.
- How long does it really take to read a truth table fluently?
- This is covered in the “Learn Formal Logic Basics” learning path. Start with daily 5-minute micro-lessons that build from fundamentals to hands-on application.
Related paths
🏛️Learn Stoicism Basics
Meet classical Stoicism through Epictetus, Seneca, and Marcus Aurelius — the three disciplines, four virtues, and the logos — then write your own nightly meditation on a worry you actually carry.
🏛️Understand Plato's Allegory of the Cave
Unpack Plato's cave allegory layer by layer — from shadows and prisoners to the sun and the theory of Forms — then write your own allegory for a belief you had to unlearn.
🚢Understand the Ship of Theseus
Explore the oldest identity puzzle in philosophy. Learn why replacing every plank of a ship — or every cell in your body — forces you to rethink what 'same' actually means.
🏛️Learn Aristotle's Virtue Ethics
Turn Aristotle's ethics from a list of noble traits into a working life project. By the end, you'll audit your own character, pick one virtue to habituate, and design a two-week practice plan.