Prerequisite: ENGL-1A. Advisory: Completion of PHIL-76. An introduction to symbolic methods of reasoning, covering sentential logic, natural deduction, and predicate logic. Students will translate ordinary language sentences and arguments into symbolic form and will evaluate symbolized arguments using truth tables, truth trees, and natural deduction. (C-ID PHIL 210) Transfer: CSU; UC