Course One · The Complete Micro-Course

Logic, twenty seconds
at a time.

The entire introductory logic canon, rebuilt as 267 numbered videos — each one a single idea, each idea checked against the standard texts and its source published. Start at 001, or start anywhere and follow the numbers back.

001–267 · 226 atoms · 31 procedures · 10 capstones267 of 267 live

How the course works

Every idea has a number. Every number knows what comes before it.

Most students don’t fail logic — they fall behind it, one missed prerequisite at a time, until week nine makes no sense and there’s no visible way back. This course is built so the way back is always visible. When something doesn’t click, you don’t rewatch a lecture. You follow the number back.

Three kinds of video: atoms (one definition or rule, about twenty seconds), procedures (one technique, shown step by step), and capstones (one worked problem that combines what came before). Every claim is checked against scholarly references and standard university texts, and the full source list is published for anyone to inspect.

The whole map

All 267 videos, in order.

New videos post daily until the course is complete. Live ones link straight to the short; the rest are on their way.

Unit 3

Categorical Logic

066 Categorical Statements Atom ▶ Watch 067 Subject and Predicate Terms Atom ▶ Watch 068 The Four Standard Forms Atom ▶ Watch 069 A Statements Atom ▶ Watch 070 E Statements Atom ▶ Watch 071 I Statements Atom ▶ Watch 072 O Statements Atom ▶ Watch 073 Quantity Atom ▶ Watch 074 Quality Atom ▶ Watch 075 Distribution Atom ▶ Watch 076 Distribution Across the Four Forms Atom ▶ Watch 077 Venn Diagrams for Statements Atom ▶ Watch 078 Diagramming All Four Forms Procedure ▶ Watch 079 Contradictories Atom ▶ Watch 080 Contraries Atom ▶ Watch 081 Subcontraries Atom ▶ Watch 082 Subalternation Atom ▶ Watch 083 Existential Import Atom ▶ Watch 084 Conversion Atom ▶ Watch 085 Obversion Atom ▶ Watch 086 Contraposition Atom ▶ Watch 087 Applying Immediate Inferences Procedure ▶ Watch 088 Translating into Standard Form Atom ▶ Watch 089 "Only" and "The Only" Atom ▶ Watch 090 Singular Statements Atom ▶ Watch 091 Translation Walkthrough Procedure ▶ Watch 092 The Categorical Syllogism Atom ▶ Watch 093 Major, Minor, and Middle Terms Atom ▶ Watch 094 Mood and Figure Atom ▶ Watch 095 Identifying Mood and Figure Procedure ▶ Watch 096 The Venn Test for Validity Atom ▶ Watch 097 Venn Test: Valid Case Procedure ▶ Watch 098 Venn Test: Invalid Case Procedure ▶ Watch 099 Rules Method: Distribution Rules Atom ▶ Watch 100 Rules Method: Quality Rules Atom ▶ Watch 101 The Existential Fallacy Atom ▶ Watch 102 Undistributed Middle Atom ▶ Watch 103 Illicit Major and Illicit Minor Atom ▶ Watch 104 Sorites Atom ▶ Watch 105 Capstone: Full Syllogism Analysis Capstone ▶ Watch
Unit 4

Propositional Logic

116 Simple vs. Compound Statements Atom ▶ Watch 117 The Five Connectives Atom ▶ Watch 118 Negation Atom ▶ Watch 119 Conjunction Atom ▶ Watch 120 Disjunction Atom ▶ Watch 121 Exclusive "Or" Atom ▶ Watch 122 The Conditional Atom ▶ Watch 123 Antecedent and Consequent Atom ▶ Watch 124 The Biconditional Atom ▶ Watch 125 Translating "Unless" Atom ▶ Watch 126 Translating "Only If" Atom ▶ Watch 127 Necessary vs. Sufficient Conditions Atom ▶ Watch 128 "If" vs. "Only If" Atom ▶ Watch 129 Scope and the Main Connective Atom ▶ Watch 130 Symbolizing Compound Statements Procedure ▶ Watch 131 Truth Table: Negation Atom ▶ Watch 132 Truth Table: Conjunction Atom ▶ Watch 133 Truth Table: Disjunction Atom ▶ Watch 134 Truth Table: The Conditional Atom ▶ Watch 135 Why the Conditional's Table Looks Wrong Atom ▶ Watch 136 Truth Table: The Biconditional Atom ▶ Watch 137 Row Counts: 2ⁿ Atom ▶ Watch 138 Building a Full Truth Table Procedure ▶ Watch 139 Tautologies Atom ▶ Watch 140 Self-Contradictions Atom ▶ Watch 141 Contingent Statements Atom ▶ Watch 142 Logical Equivalence Atom ▶ Watch 143 Consistency Atom ▶ Watch 144 Testing Equivalence and Consistency Procedure ▶ Watch 145 The Truth-Table Test for Validity Atom ▶ Watch 146 Full Validity Test Walkthrough Procedure ▶ Watch 147 The Short Truth-Table Method Atom ▶ Watch 148 Short Method Walkthrough Procedure ▶ Watch 149 Modus Ponens Atom ▶ Watch 150 Affirming the Consequent Atom ▶ Watch 151 Modus Tollens Atom ▶ Watch 152 Denying the Antecedent Atom ▶ Watch 153 Hypothetical Syllogism Atom ▶ Watch 154 Disjunctive Syllogism Atom ▶ Watch 155 Affirming a Disjunct Atom ▶ Watch 156 Constructive Dilemma Atom ▶ Watch 157 Capstone: Form-Spotting Drill Capstone ▶ Watch

The receipts

Check my work.

Behind the course sits a reference document in which every formal claim is independently verified and every empirical claim traced to its source — scholarly references, standard texts, and, where it matters, the original papers. I’m a teacher and a builder, not a research specialist in any one field. The content is the standard canon of logic, and if I’ve gotten any of it wrong, the receipts are right there to catch me with. I’d rather be corrected than comfortable.

Spot an error? Tell me the video number and the claim — corrections get made in the open.

Follow along

New videos daily.

The course releases in order on YouTube — one idea at a time until all 267 are live. Subscribe to catch each one, or leave your email for an occasional note when a course finishes.