PHIL 243

A continuation of the logic covered in PHIL 241. A brief review of semantics and proof theory for propositional logic, followed by its metatheory; introduction to modal logics and their philosophical significance; polyadic predicate logic with identity; definite descriptions; elementary set theory; time permitting, topics on non-standard elementary logic.