PHIL 215 - Advanced Studies in Formal Logic

Credits: 5
Continues to study the quantitative and symbolic techniques used in formal logic. Covers an advanced study of predicate logic and introduces non-classical logics. Students may also review some metalogic proofs and are introduced to topics in the philosophy of logic.

Prerequisite: PHIL& 120 with a grade of 2.0 or higher and eligible for MATH& 141.
Satisfies Requirement: Natural Science