Symbolic Logic

Symbolic Logic

Course Description

This course is an introduction to logic.  It requires no prior knowledge of philosophy or mathematics. The primary aim of the course is to impart a skill, namely: the ability to recognize arguments, to translate arguments from English into a formal language, and to construct proofs and correct derivations.


  • Introduction
  • Basic Propositional Logic
  • Propositional Proofs
  • Basic Quantificational Logic
  • Relations and Identity
  • Basic Modal Logic
  • Belief Logic

Required Materials