William F. Harms
Elementary symbolic logic. The development, application, and theoretical properties of an artificial symbolic language designed to provide a clear representation of the logical structure of deductive arguments.
Deductive inference is analyzed with several mathematical systems. This course is an introduction to two of them, propositional logic and predicate logic, with strong emphasis on the former. The successful student will understand the derivation of rules of inference from first principles, achieve considerable facility with propositional logic, and understand the basics of predicate logic. TEXT: "A Concise Introduction to Logic", 11th edition, Patrick J. Hurley. We will be primarily using chapters 6, 7, and 8, which can be purchased individually in PDF form at cengagebrain.com.
Student learning goals
General method of instruction
Class assignments and grading