PHIL 3580 - Intermediate Logic

3 GE:MA

P: PHIL 1500 or MATH major or consent of instructor.

Review of propositional logic. Logical notions of validity, consistency, and proof are extended to predicate logic. Emphasis on derivations in this system. Other topics may be included.