Great Courses: Logic
A curated directory of standout, full-length university video courses, OpenCourseWare recordings, and specialized audiovisual lecture series in Logic. These resources provide deep conceptual models, rigorous proofs, and advanced disciplinary perspectives beyond introductory survey curricula.
Mathematical Logic, Metatheory & Set Theory
- Mathematical Logic: Propositional, First-Order Logic & Incompleteness (NPTEL / IIT Madras / Prof. Arindama Singh)
- Mathematical Logic: From First-Order Logic to Model Theory (YouTube / UCLA / Prof. Artem Chernikov)
- The Power and Limits of Logic (YouTube / University of Melbourne / Prof. Greg Restall) - search "The Power and Limits of Logic Greg Restall" on YouTube
- Axiomatic Set Theory (YouTube / University of Bristol / Prof. Philip Welch) - search "Axiomatic Set Theory Philip Welch" on YouTube
Modal, Philosophical & Non-Classical Logics
- Hume's Central Principles: Logic, Relations, and Induction (University of Oxford Podcasts / Prof. Peter Millican)
- Modal Logic and Possible Worlds Semantics (YouTube / University of Nottingham & Attic Philosophy / Prof. Mark Jago) - search "How to do Modal Logic Attic Philosophy" on YouTube
- Non-Classical Logic: Many-Valued, Intuitionistic, and Paraconsistent Systems (YouTube / University of Nottingham & Attic Philosophy / Prof. Mark Jago) - search "Non-Classical Logic Attic Philosophy" on YouTube
Computational Logic, Type Theory & Formal Verification
- Theory of Computation: Automata, Computability & Complexity (MIT OpenCourseWare / Prof. Michael Sipser)
- Automated Reasoning: Satisfiability (Coursera / Eindhoven University of Technology / Prof. Hans Zantema)
- Automated Reasoning: Symbolic Model Checking (Coursera / Eindhoven University of Technology / Prof. Hans Zantema)
- Automated Reasoning and Knowledge Compilation (YouTube / UCLA / Prof. Adnan Darwiche) - search "UCLA Automated Reasoning Group Lecture 1A" on YouTube
- Computational Type Theory (YouTube / Oregon Programming Languages Summer School / Prof. Robert Harper) - search "Computational Type Theory Robert Harper OPLSS 2018" on YouTube
Foundations of Mathematics & Categorical Logic
- Category Theory for Programmers (YouTube / Prof. Bartosz Milewski)
- Category Theory Foundations (YouTube / Oregon Programming Languages Summer School / Prof. Steve Awodey)
- Univalent Foundations of Mathematics (YouTube / Institute for Advanced Study / Prof. Vladimir Voevodsky)
- Introduction to Homotopy Type Theory (YouTube / University of Ljubljana / Prof. Andrej Bauer) - search "2019-HoTT Introduction to homotopy type theory Andrej Bauer" on YouTube