*Philosophy 254: Symbolic Logic*is a junior-level, three-credit course that provides an introduction to formal methods of evaluating reasoning. It will teach you how to translate English arguments into symbolic notation, and then how to evaluate these symbolic arguments to determine if they are logically valid.