PHIL& 120 - Symbolic Logic

1. Apply the basic vocabulary of logical theory: argument, deduction, induction, validity, soundness, consistency, etc.
2. Reduce information to symbolic form by translating statements and arguments from English into the formal logical languages of both truth-functional and predicate logic.
3. Apply truth tables to test single statements for logical status (tautology, self-contradiction, contingency), to test pairs of statements for the logical relations (equivalence, contradiction, consistency), and to test arguments for validity.
4. Apply natural deduction in propositional logic, with rules of implication and replacement rules, to prove arguments valid.
5. Apply natural deduction in predicate logic, with rules of inference and replacement rules, to prove arguments valid, including arguments containing relational predicates and multiple quantifiers.
6. Select appropriate proof strategies when completing natural deduction proofs (Direct Proof, Conditional Proof and Indirect Proof).