- Introduction to Logic

Catalog description

An introduction to the basic concepts and methods of modern symbolic logic, with a focus on their application to proper reasoning. Students learn how to represent sentences in logical notation, to reconstruct arguments in that notation, to assess arguments for validity and soundness, and to prove conclusions from premises using a system of natural deduction. Students also learn to recognize common argument forms and common mistakes in reasoning (fallacies), are introduced to philosophical issues related to logic, and learn how symbolic logic is the basis for the digital computer.