Formal Logic & Argumentation
Scholar (Ages 13-18)
Valid vs Sound Arguments
A valid argument has correct structure. A sound argument is valid AND has true premises. Both matter for good reasoning.
20 min
+20 XP
Logical Fallacies (Formal)
Formal fallacies have flawed structure. "Affirming the consequent" and "denying the antecedent" are classic ones.
20 min
+20 XP
Logic and Computer Science
Discover Logic and Computer Science as a core part of Formal Logic & Argumentation. This lesson explains what it means, walks through a real example, introduces key terms, and includes three hands-on activities to help you understand and apply the idea.
20 min
+20 XP
Automated Theorem Proving
Discover Automated Theorem Proving as a core part of Formal Logic & Argumentation. This lesson explains what it means, walks through a real example, introduces key terms, and includes three hands-on activities to help you understand and apply the idea.
20 min
+21 XP
Natural Deduction
Discover Natural Deduction as a core part of Formal Logic & Argumentation. This lesson explains what it means, walks through a real example, introduces key terms, and includes three hands-on activities to help you understand and apply the idea.
20 min
+21 XP
Temporal Logic
Discover Temporal Logic as a core part of Formal Logic & Argumentation. This lesson explains what it means, walks through a real example, introduces key terms, and includes three hands-on activities to help you understand and apply the idea.
20 min
+21 XP