Logic Video List



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.

youtube

website

PBS Common Fallacies Playlist:

A series on common fallacies.

youtube playlist

William Spaniel:

He has a Logic 101 series.

youtube

PatrickJMT:

Mainly math but some logic too.

youtube

Greg Restall:

A philosophy professor with quite a few logic videos on vimeo

vimeo

vimeo album

website

TrevTutor:

Tons of math and logic videos.

youtube

JelloLogic:

Videos on proofs and logic.

youtube playlist

LinguisticsMarburg:

Linguistic videos mainly.

youtube playlist

NJWildberger:

Lots of math videos. He’s a bit controversial but some of his videos are very good.

youtube

MathDoctorBob:

Lots of high quality basic mathematics videos. Very useful for brushing up on some skills you may have forgotten or never really learned.

youtube

Socratica:

Various topics, some math.

youtube playlist

Ben Garside:

Various topics, some math, some logic.

youtube

Mathoma:

He has an interesting Set Theory series.

youtube

formalmethods:

Some videos on proof theory, logic, type theory, coq and more.

youtube

nesoacademy:

A series on the theory of computation.

youtube

Quite a few other EE/CS related topics on the main channel.

youtube

Taylor Dupuy’s Math Vlog:

A series on model theory.

youtube

Lots of math videos on his main channel:

youtube

RUComputerScience:

A series on lambda calc.

youtube

Yoav Artzi:

A series on semantic parsing with combinatory categorial grammars.

youtube

rlindeque:

Some videos about set theory type theory and lambda calculus.

youtube

LegumPhilosophy:

A series on predicate logic.

youtube

Lots of philosophy and logic videos.

youtube

drjasoncampbell:

A series on predicate logic.

youtube

Various philosophy and logic videos.

youtube

David Agler:

Predicate logic.

youtube

Propositional logic.

youtube

Mark Thorsby:

Videos on philosophy and logic.

youtube

PhilHelper:

A few logic videos mixed in with philosophy.

youtube

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.

youtube

Dr. A.V. Ravishankar Sarma via nptelhrd:

A lengthy series on logic.

youtube

A series for a discrete math course.

youtube

NativLang:

A channel about linguistics, it has a couple playlists on linguistics and logic specifically.

youtube

GVSUMath:

A series on writing mathematical proofs, seems like an intro to proofs class.

youtube

MIT OCW:

Lots of math and CS stuff.

youtube

Math for CS.

youtube

Another series covering essentially the same thing. (I could not find a decent playlist of this one on youtube)

website

Elizabeth Stepp:

Some videos for an intro to proof class.

youtube

Gate Lectures by Ravindrababu Ravula:

Boolean Algebra.

youtube

Simple Snippets:

More Boolean Algebra.

youtube

Fuzzy Logic.

youtube

Robot Brigade:

Digital Logic.

youtube

PhilosophyFreak:

Some basic logic and phil videos.

youtube

Kane B:

Videos on logic and philosophy.

youtube

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.

youtube

youtube

The Virtual Linguistics Campus:

Has a series on semantics which discusses predicate logic briefly.

youtube

youtube

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.

youtube

youtube

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.

youtube

youtube

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.

vimeo

vimeo

Basic Concepts of Modal Logic

Through the Indian Institute of Technology Kanpur a bunch of logic videos from propositional logic onward to modal logic.

youtube

youtube

Eric Pacuit:

Some modal logic videos.

youtube

youtube

Trefor Bazett:

Tons of mathematics videos including some discrete math.

youtube