PHIL 376: Symbolic Logic

PHIL 376-001: Intro to Symbolic Logic
(Fall 2017)

03:00 PM to 04:15 PM MW

Nguyen Engineering Building 1107

Section Information for Fall 2017

  • Fulfills a requirement for the Philosophy major and minor;
  • Please note: PHIL 173 or MATH 110 are pre-requisites for this course. 


Course Information from the University Catalog

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. May not be repeated for credit.
Recommended Prerequisite: PHIL 173 or MATH 110 or permission of instructor.
Schedule Type: Lecture
This course is graded on the Undergraduate Regular scale.

The University Catalog is the authoritative source for information on courses. The Schedule of Classes is the authoritative source for information on classes scheduled for this semester. See the Schedule for the most up-to-date information and see Patriot web to register for classes.

Print Friendly and PDF