This course is an introduction to the use of a formal system to represent and evaluate deductive arguments, designed to spur the development of the student’s analytic and systematic problem solving skills. The course will cover the syntax (grammar) and semantics (meaning) of both first order propositional and predicate logic, through formal proof construction and modeling techniques. Topics covered in this course will be: Translation of propositions from the natural language into the formal language, proof theory, truth tables for propositional logic, models for predicate logic, soundness, completeness, and identity." No prerequisites, suitable for non-majors.
TEXT: Modern Logic: A Text in Elementary Symbolic Logic, Graeme Forbes.