| title | Hocbigg - Logic |
|---|---|
| description | Path to a free self-taught education in Logic! |
The Logic curriculum is a complete education in Logic using online materials.
This repository is organized into three main components:
- Core Curriculum (this page): the foundational knowledge of the field;
- Advanced Topics: focused study in specific areas;
- Projects: support learning through practical application throughout the curriculum.
Process: Learners may work through the curriculum independently or collaboratively, and either sequentially or selectively.
- For simplicity, courses in the Core Curriculum are ordered according to their prerequisites.
- The Core Curriculum provides a shared foundation and is intended to be completed in full.
- Advanced Topics are optional; learners are encouraged to select one area of focus and complete all courses within that topic.
Practical work is integrated through the Projects section and may be undertaken alongside coursework.
Note: When there are courses or books that don't fit into the curriculum but are otherwise of high quality, they belong in extras/courses, extras/readings.
-
Forums:
-
Subreddits: r/logic
-
You can also interact through GitHub issues. If there is a problem with a course, or a change needs to be made to the curriculum, this is the place to start the conversation. Read more here.
-
Join our Discord server (for discussions around this and other curricula):
- Orientation & Mathematical Literacy
- Informal Logic & Argumentation
- Formal Logic Core Undergraduate Level
- Metatheory of Logic
Study them in this exact order:
- I. Orientation & Mathematical Literacy
- II. Informal Logic & Argumentation
- III. Formal Logic Core (Undergraduate Level) – complete all three subsections (A, B, and C)
- IV. Metatheory of Logic
| Subject | Book | Online Course |
|---|---|---|
| Mathematical Thinking & Proofs | How to Prove It (Velleman, Archive.org) | Mathematics for Computer Science (MIT OCW) |
| Set Theory (Naïve) | Naive Set Theory (Halmos, Archive.org) | Mathematics for Computer Science (MIT OCW, via MCS) |
| What Is Logic? (Philosophical Orientation) | Stanford Encyclopedia of Philosophy: Logic, Philosophy of Logic | Introduction to Logic (Stanford Online) |
| Subject | Book | Online Course |
|---|---|---|
| Informal Logic | Open Logic Project – Informal Logic | Logic I (MIT OCW Logic I) |
| Argument Analysis & Fallacies | Open Logic Project – Critical Reasoning | Introduction to Logic (Stanford Introduction to Logic) |
| Subject | Book | Online Course |
|---|---|---|
| Syntax & Semantics | forall x: Calgary Remix (Open Logic Project) / Open Logic Project – Propositional Logic | Introduction to Logic (Stanford Introduction to Logic) |
| Truth, Validity, Entailment | forall x: Calgary Remix / Open Logic Project | Logic I (MIT OCW Logic I) |
| Subject | Book | Online Course |
|---|---|---|
| Quantifiers & Structures | forall x: Calgary Remix / Open Logic Project – First-Order Logic | Introduction to Logic (Stanford Introduction to Logic) |
| Models & Interpretation | forall x: Calgary Remix / Open Logic Project | Logic I (MIT OCW Logic I) |
| Subject | Book | Online Course |
|---|---|---|
| Natural Deduction | forall x: Calgary Remix (Open Logic Project) | Logic I (MIT OCW Logic I) |
| Sequent Calculus (Intro – optional) | Open Logic Project | — |
| Subject | Book | Online Course |
|---|---|---|
| Soundness & Completeness | Open Logic Project – Metatheory | Introduction to Logic (Stanford Introduction to Logic) |
| Computability (Intro) & Gödel’s Theorems (overview) | Computability and Logic (Boolos et al., Archive.org) / Gödel’s Proof (Nagel & Newman, Archive.org) | Theory of Computation (MIT OCW) |
After completing the requirements of the curriculum above, you will have completed the equivalent of a full bachelor's degree in Logic. Congratulations!