PHIL:213 Symbolic Logic.

Examines basic procedures for determining the validity or invalidity of deductive arguments. Emphasizes standard notations, principles and methods used in modern symbolic logic. Also covers aspects of set theory. Prerequisite: Completion of at least two philosophy courses. 4 SH. CC: Analytical Thought.