Carneades.org: Great YouTube series on philosophical topics that is worth checking out for anyone interested in learning more about formal logic. They have been running a fantastic "100 Days of Logic" series covering categorical logic, predicate calculus, various modal logics, ect.