PHIL2119 - 01 - Symbolic Logic

(QR) Quantitative Reasoning (QA) Quantitative Analysis

The study of logic can make a deep and lasting contribution to the intellectual life of every student. Knowledge of the principles of clear and accurate thinking are required to evaluate information and judge between competing cognitive claims. The study of symbolic logic is an especially effective way to develop the higher order reasoning skills which such abilities require. Both categorical logic and propositional logic are examined in this course, which will focus on how to symbolize arguments and construct proofs of their validity. Topics discussed include syllogisms, sentential connectives, truth tables, quantification, rules of inference, formal and informal proofs, and criteria for proper definitions.