PHIL-362 * /0.5 Further Studies in Logic 3L/S

From first-order monadic predicate calculus to polyadic predicate calculus with identity. Symbolization, rules of inference, derivation and refutation of arguments. Introduction to modal logics. PREREQUISITE