PHIL 9 Introductory Symbolic Logic

A first course in symbolic deductive logic. Major topics include (but are not limited to) the study of systems of sentential logic and predicate logic, including formal deduction, semantics, and translation from natural to symbolic languages. Formerly Introduction to Logic. Students may not receive credit for this course and PHIL 7.