A first course in symbolic logic, covering the semantics and syntax of sentential and predicate logic. Emphasis on translating into and from formal languages, determining the validity or invalidity of arguments, and constructing proofs within formal systems.

Prerequisites: None

Frequency: Philosophy 211 is usually offered either in the fall or in the spring semester.

Achievement-Centered Education (ACE): Philosophy 211 fulfills Student Learning Outcome 3.

Comprehensive Education Program: Philosophy 211 meets the Mathematics and Statistics ES requirement.