PHIL 115 - Symbolic Logic

Advisory:PHIL 101 or PHIL 101H; PHIL 112 or PHIL 112H
Transfers to: UC, CSU

This course is intended for students interested in symbolic methods of deductive reasoning, including philosophy and mathematics majors. Students in the course develop an understanding of both sentential logic and predicate logic. Students also learn to translate ordinary language sentences and arguments into symbolic form, and evaluate symbolized arguments for validity using truth-tables and natural deduction techniques.