Symbolic logic attempts to capture certain features of human language and reasoning in a precise, systematic way. Logic is used in some branches of philosophy, as well as in linguistics, computer science, mathematics and statistics, and other fields. In this course, we will develop techniques for working with a logical “language,” translating between that language and ordinary English, and constructing formal proofs within that language following specified rules from premises to conclusions. We will cover both propositional logic and first-order quantificational logic, as well as the basic concepts of set theory.
Distribution Area
Students entering prior to Fall 2024: Quantitative Analysis (QU DIST)