Students will (1) be familiar with the basic theories and concepts of symbolic logic, (2) develop the tools to assess propositional and predicate logic and their proofs as well as (3) interpret and apply probabilistic and statistical reasoning. During the learning process, students will (4) take individual responsibility for and work collaboratively with fellow students towards the completion of group assignments.
Course Content:
This course covers propositional logic and an introduction to first-order predicate logic. Students will learn to translate arguments in ordinary language into symbolic notation, use rules of inference and truth tables to assess the validity of the arguments, and prove theorems within propositional logic. Moreover, students will detect statistical and probabilistic fallacies and apply correct reasoning in these fields.