PHIL 2210 Symbolic Logic
An introduction to deductive logic using contemporary logical notation. Students learn how to translate English claims into logical symbols and use them, along with valid rules of inference, to form a natural deductive system. Emphasis is placed on the construction of formal proofs of validity.