2009-2010 University Catalog 
  
2009-2010 University Catalog

PHIL 376 - Symbolic Logic

Credits: 3
Study of predicate calculi by means of a step-by-step construction of artificial languages. Topics include procedures for constructing a calculus, proof techniques, significant properties of predicate calculi, and procedures for recognizing phrases.

Prerequisites
PHIL 173 or MATH 110, or permission of instructor.

Hours of Lecture or Seminar per week
3
Hours of Lab or Studio per week
0