PHIL 376: Symbolic Logic
PHIL 376-001: Symbolic Logic
03:00 PM to 04:15 PM MW
View in the schedule of classes
View 1 Other Section of this Course in this Semester »
Course Information from the University Catalog
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. Limited to three attempts.
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.