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. Weekly hours: 3 Lecture hoursPrerequisite(s): PHIL 241 or CMPT 260.Note: Students with credit for PHIL 242 may not take this course for credit.
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. Weekly hours: 3 Lecture hoursPrerequisite(s): PHIL 241 or CMPT 260.Note: Students with credit for PHIL 242 may not take this course for credit.
