PHILÂ 210. Symbolic Logic. 3 hours.
Representation of English sentences using quantifiers and identity; quantificational natural deduction; interpretations. Optional topics include naive set theory; axiomatic systems; theory of descriptions; metatheory. Course Information: Prerequisite(s): Grade of B or better in PHIL 102. Class Schedule Information: To be properly registered, students must enroll in one Discussion/Recitation and one Lecture.