PHIL 350: Symbolic Logic
Course Description
This course will examine the central themes in modern symbolic logic including consistency, truth-functionality, sentential first-order predicate logic, and the logic of identity and possibility. These themes and their relation to the wider philosophical context will be discussed. (F).