What is this:

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.

This is an edit of the list maintained here.

Carneades.org:

Lots of logic videos.

https://www.youtube.com/user/carneadesofcyrene

https://carneades.org/

PBS Common Fallacies Playlist:

A series on common fallacies.

https://www.youtube.com/playlist?list=PLtHP6qx8VF7dPql3ll1To4i6vEIPt0kV5

William Spaniel:

He has a Logic 101 series.

https://www.youtube.com/user/JimBobJenkins/videos

PatrickJMT:

Mainly math but some logic too.

https://www.youtube.com/user/patrickJMT/featured

Greg Restall:

A philosophy professor with quite a few logic videos on vimeo.

https://vimeo.com/consequently

https://vimeo.com/consequently/albums

http://consequently.org/

TrevTutor:

Tons of math and logic videos.

https://www.youtube.com/user/thetrevtutor/videos

JelloLogic:

Videos on proofs and logic.

https://www.youtube.com/user/jellologic/playlists

LinguisticsMarburg:

Linguistic videos mainly.

https://www.youtube.com/user/LinguisticsMarburg/playlists

NJWildberger:

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

https://www.youtube.com/channel/UCXl0Zbk8_rvjyLwAR-Xh9pQ

MathDoctorBob:

More math videos.

https://www.youtube.com/user/MathDoctorBob/playlists

Socratica:

Various topics, some math and logic.

https://www.youtube.com/user/SocraticaStudios/playlists

Ben Garside:

Various topics, some math and logic.

https://www.youtube.com/channel/UCu5cg_Jd9XSJL_CHUskgkGw/playlists

Mathoma:

He has an interesting Set Theory series.

https://www.youtube.com/channel/UCL_lVXCyzqBb2Xc8CrvPENg/playlists

formalmethods:

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

https://www.youtube.com/channel/UC5GDHIsHpMuyAKpB56IOZ8g/playlists

nesoacademy:

A series on the theory of computation.

https://www.youtube.com/watch?v=58N2N7zJGrQ&list=PLBlnK6fEyqRgp46KUv4ZY69yXmpwKOIev

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

https://www.youtube.com/user/nesoacademy/playlists

Taylor Dupuy’s Math Vlog:

A series on model theory.

https://www.youtube.com/watch?v=-JwQmwkrtoA&list=PLJmfLfPx1Oef_nObIEOUfZDeCnX46ok78

Lots of math videos on his main channel:

https://www.youtube.com/channel/UCHWnZ1NtJ4WvE5AHmNVXziw/playlists

RUComputerScience:

A series on lambda calc.

https://www.youtube.com/watch?v=v1IlyzxP6Sg&list=PLsLwRkhws_0zAKp01a6ubEWivek79IoW_

Yoav Artzi:

A series on semantic parsing with combinatory categorial grammars.

https://www.youtube.com/watch?v=dOqe-ATkmeA&list=PLun-LUE1uLNvWi-qV-tRHohfHR90Y_cAk

rlindeque:

Some videos about set theory type theory and lambda calculus.

https://www.youtube.com/user/rlindeque/videos

LegumPhilosophy

A series on predicate logic.

https://www.youtube.com/watch?v=nUDghGri6TQ&list=PLEHmI0Qx0uPlVgI7xMmB_S1iuHOe9EX0f

lots of philosophy and logic videos

https://www.youtube.com/user/LegumPhilosophy/playlists

drjasoncampbell

A series on predicate logic.

https://www.youtube.com/watch?v=mLgp1pcMLDk&list=PL7B0D7E19C7AA85BD

Various philosophy and logic videos.

https://www.youtube.com/user/drjasonjcampbell/playlists

David Agler:

Predicate logic.

https://www.youtube.com/watch?v=6EX21728AlE&list=PLqEJ_rxb3Xf36sHcC95ZJgyGlyiIz2o9u

Propositional logic.

https://www.youtube.com/watch?v=5XCBQGg5ZB8&list=PLqEJ_rxb3Xf0dTy_-dSqINnAD5tbmpUx8

Mark Thorsby:

Videos on philosophy and logic.

https://www.youtube.com/user/PhilosophicalTechne/playlists

PhilHelper:

A few logic videos mixed in with philosophy.

https://www.youtube.com/user/PhilHelper/videos

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.

https://www.youtube.com/watch?v=kiY04nJhtm4&list=PLs2FFVcZ4wGIJO7vdxxfxXkkg0p8hga6Q

Dr. A.V. Ravishankar Sarma via nptelhrd:

A lengthy series on logic.

https://www.youtube.com/watch?v=gfYwQ7oxDok&list=PLbMVogVj5nJS1F-yeDwn16nsuYrpSYzaO&index=1

A series for a discrete math course.

https://www.youtube.com/watch?v=xlUFkMKSB3Y&list=PL0862D1A947252D20

NativLang:

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

https://www.youtube.com/user/NativLang/playlists

GVSUMath:

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

https://www.youtube.com/watch?v=UuETUEJo0rk&list=PL2419488168AE7001

MIT OCW:

Lots of math and CS stuff.

https://www.youtube.com/user/MIT/videos

Math for CS.

https://www.youtube.com/watch?v=L3LMbpZIKhQ&list=PLB7540DEDD482705B

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

https://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-042j-mathematics-for-computer-science-spring-2015/index.htm

Elizabeth Stepp:

Some videos for an intro to proof class.

https://www.youtube.com/watch?v=_y6itCZ1Afg&list=PL4SMNZiBV21RwR5JKFd0j3lSu2WavPU0p

Gate Lectures by Ravindrababu Ravula:

Boolean Algebra videos.

https://www.youtube.com/watch?v=j4fDYX5VZF0&list=PLEbnTDJUr_Ica5kK6UypsWpf95Ut2sK3o

Simple Snippets:

More Boolean Algebra videos.

https://www.youtube.com/watch?v=NqPhPiSer30&list=PLIY8eNdw5tW-yJHsxApeilNjX2Dkll-Ox

Fuzzy Logic videos

https://www.youtube.com/watch?v=a2i-lHS-c_I&list=PLIY8eNdw5tW9ZqgI9nfXxr6r-FHnLS90k

Robot Brigade:

Digital Logic videos.

https://www.youtube.com/watch?v=ve1S1x9fADE&list=PLyG2VxFPjWqDDbo1FKEvzMvj33fI22weJ

PhilosophyFreak:

Some basic logic and philosophy videos.

https://www.youtube.com/user/PhilosophyFreak/playlists

Kane B:

Videos on logic and philosophy.

https://www.youtube.com/user/kanebaker91/about

go back