HON 359 - Fundamentals of Deductive and Inductive Logic

Prerequisite, acceptance to the University Honors Program, or consent of instructor. A study of methods to distinguish good and bad reasoning. Students will learn how to “translate” natural language arguments into formal languages of sentential and predicate logic, to construct proofs in the language, and to understand the semantics (or model theory) for the language. (Offered as needed.) 3 credits