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.

Topics

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

Required Materials