Philosophy

from Peter Smith.

A blog dedicated to mathematical philosophy

David Velleman, NYU professor.

Anopen course in logic developed by Johan van Benthem, Hans van Ditmarsch, Jan van Eijck, Jan Jaspars. The material was written for elementary and intermediate courses in logic, to assist teachers and also intrepid readers engaging in self-study. All material is freely available.

From Purdue OWL.

Definitions, Argument examples, Deduction and Induction, other resources.

For fun, and learning.

By Peter Smith, University of Cambridge.

Created by Stanford University. Free, or for certificate, can enroll for a fee.

A list of logic classes offered through MIT OpenCourseWare.

Professors Paul Herrick, Mark Storey, 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.