PHIL 114 - Introduction to Symbolic Logic

1. Recognize formal structures of arguments and reasoning.
2. Understand fundamental concepts of formal reasoning, e.g., validity, interpretation, translation, deduction, etc.
3. Understand and evaluate reasoning using methods common within symbolic/formal logic, e.g., truth tables, truth trees, formal proofs, etc.
4. Apply the basic techniques of symbolic logic notably propositional calculus and simple quantification.
5. Recognize and use formal rules of interference.
6. Understand and evaluate the formal structure of categorical propositions and categorical syllogisms.
7. Construct formal derivations in propositional and predicate logic.
8. Appreciate basic principles of simple quantification theory.