PHIL 120 – Symbolic Logic

Designer:   Paul Herrick, Mark Storey Attribution: CC BY

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:

Phil120-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.

PHIL120scnsht

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

PHIL120scnsht3

 

 

Creative Commons License
Unless otherwise specified, this PHIL 120 – Symbolic Logic course is licensed under a Creative Commons Attribution 3.0 Unported License.