Formal Logic

(2.5-5 Credit Hours) · Undergraduate

This course will provide an introduction to first-order formal logic. We'll begin by introducing a symbolic language and then learn how to "translate" between this language and ordinary English. Next, we'll study the notions of deduction and entailment as they are defined for this language. Finally, we'll discuss the degree to which these formally defined notions manage to capture ordinary language notions like "logical consequence" or "argumentative validity.