Cass J Weller
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.
The aim of this course is that you become acquainted with, and learn to manipulate, a formal system of deduction and acquire some proficiency in the techniques of formally symbolizing and evaluating deductive arguments. The course covers both propositional and quantificational logic. TEXT: "Beginning Logic", E.J. Lemmon. Lecture notes will be available through E-reserve.
Student learning goals
General method of instruction
Suitable for nonmajors. No prerequisites.
Class assignments and grading