Philosophy 112

The following interactive supplements are designed to be used along with David Kaplan’s Logic 2010 and Terry Parsons’ An Exposition to Symbolic Logic (i.e., the “Logic Text” that is included with the Logic 2010 software).

This is a work in progress. Please let me know about any typos, mistakes, or bugs.

Chapter 0: Introduction

Chapter 1: Sentential Logic with ‘If’ and ‘Not’

Chapter 2: Sentential Logic with ‘and’, ‘or’, and ‘if and only if’

Chapter 3: Monadic Predicate Logic