Naïve set theory, relations and functions, recursion and induction; Propositional and predicate logic; Symbolizations, semantics, and formal proof theory; Metatheory for propositional logic. Recommended for students interested in pursuing upper-level courses in logic or formal philosophy. Credit will be granted for only one of PHIL 220 and PHIL 222.
Naïve set theory, relations and functions, recursion and induction; Propositional and predicate logic; Symbolizations, semantics, and formal proof theory; Metatheory for propositional logic. Recommended for students interested in pursuing upper-level courses in logic or formal philosophy. Credit will be granted for only one of PHIL 220 and PHIL 222.
