PHIL 160 — Symbolic Logic
This course is an introduction to propositional (sentential) and predicate (quantificational) logic. PHIL 160 examines the basic concepts and achievements of modern logic. It aims to provide students with the ability to think rigorously, identify and deconstruct arguments, represent arguments in symbolic notation, and determine the validity of arguments using deductive proofs.