Philosophy 254: Introduction to Symbolic Logic is an introduction to reasoning in formal symbolic logic. We will cover the syntax and semantics of classical sentential and predicate logic, translation of English sentences into symbolic form, and procedures for evaluating sentences and arguments, principally natural deduction.