2011-2012 University Catalog 
  
2011-2012 University Catalog

PHIL 376 - Symbolic Logic

Credits: 3 (NR)
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.

Prerequisite(s): 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