What is this list?
A list of videos related to logic. There is no one theme besides being somewhat related to logic and appearing to be of decent quality. Each section heading is a channel name or author name. I have not watched them all.
Carneades.org:
Lots of videos aimed mainly at logic and philosophy.
PBS Common Fallacies Playlist:
A series on common fallacies.
William Spaniel:
He has a Logic 101 series.
PatrickJMT:
Mainly math but some logic too.
Greg Restall:
A philosophy professor with quite a few logic videos on vimeo
TrevTutor:
Tons of math and logic videos.
JelloLogic:
Videos on proofs and logic.
LinguisticsMarburg:
Linguistic videos mainly.
NJWildberger:
Lots of math videos. He’s a bit controversial but some of his videos are very good.
MathDoctorBob:
Lots of high quality basic mathematics videos. Very useful for brushing up on some skills you may have forgotten or never really learned.
Socratica:
Various topics, some math.
Ben Garside:
Various topics, some math, some logic.
Mathoma:
He has an interesting Set Theory series.
formalmethods:
Some videos on proof theory, logic, type theory, coq and more.
nesoacademy:
A series on the theory of computation.
Quite a few other EE/CS related topics on the main channel.
Taylor Dupuy’s Math Vlog:
A series on model theory.
Lots of math videos on his main channel:
RUComputerScience:
A series on lambda calc.
Yoav Artzi:
A series on semantic parsing with combinatory categorial grammars.
rlindeque:
Some videos about set theory type theory and lambda calculus.
LegumPhilosophy:
A series on predicate logic.
Lots of philosophy and logic videos.
drjasoncampbell:
A series on predicate logic.
Various philosophy and logic videos.
David Agler:
Predicate logic.
Propositional logic.
Mark Thorsby:
Videos on philosophy and logic.
PhilHelper:
A few logic videos mixed in with philosophy.
Pablo Cobreros:
A series on logic and paradoxes through The University of Navarra I could not find a playlist of this on the official youtube page.
Dr. A.V. Ravishankar Sarma via nptelhrd:
A lengthy series on logic.
A series for a discrete math course.
NativLang:
A channel about linguistics, it has a couple playlists on linguistics and logic specifically.
GVSUMath:
A series on writing mathematical proofs, seems like an intro to proofs class.
MIT OCW:
Lots of math and CS stuff.
Math for CS.
Another series covering essentially the same thing. (I could not find a decent playlist of this one on youtube)
Elizabeth Stepp:
Some videos for an intro to proof class.
Gate Lectures by Ravindrababu Ravula:
Boolean Algebra.
Simple Snippets:
More Boolean Algebra.
Fuzzy Logic.
Robot Brigade:
Digital Logic.
PhilosophyFreak:
Some basic logic and phil videos.
Kane B:
Videos on logic and philosophy.
myweps2012:
Quite a few logic videos, including some fairly interesting logic videos covering various topics. Notably he discusses tableaux proofs, Gentzen styled deduction proofs, Axiomatic proof and more. Many videos are not sorted into playlists yet but courses are titled by ordering as in LO1 is the first video LO2 is the next video and so on. The video upload dates are fairly linear which helps with sorting.
The Virtual Linguistics Campus:
Has a series on semantics which discusses predicate logic briefly.
Adam Rosenfield:
A philosophy professor from the University of North Carolina, his channel has a course on critical thinking which covers a lot of fundamental logical topics. His channel also has videos on other philosophical topics.
Taylor Dupuy’s Math Vlog:
A math professor from the University of Vermont, he has a course playlist on topics like model theory, category theory, analysis and tons more.
HIW - KU Leuven
The Institute of Philosophy at KU Leuven, has a collection of videos for an intor to logic course and others on philosophy.
Basic Concepts of Modal Logic
Through the Indian Institute of Technology Kanpur a bunch of logic videos from propositional logic onward to modal logic.
Eric Pacuit:
Some modal logic videos.
Trefor Bazett:
Tons of mathematics videos including some discrete math.