PHIL 120 – Symbolic Logic

An introduction to symbolic logic with an emphasis on formal logical languages and natural deduction systems of logical proof. Students learn how to translate reasoning into a symbolic logical language and how to prove arguments valid with the precision of mathematics using formal systems of proof.

Excerpts from the Syllabus:

This course provides 115 Original Video Lectures on Youtube.

Paul Herrick and Mark Storey, the authors of this course, created a series of 115 short videos demonstrating virtually all the basic ideas and techniques covered in the standard Introduction to Logic class, Philosophy 120. These videos are available online, for free, and may be viewed by students anywhere.

Lots of original Powerpoint slides

They explain the key concepts of logic. You can download, modify, and use them for your own course.