Mitchell T. Kaufman
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.
This course teaches students a formal logic system, which uses a symbolic language and inference rules to model the logical implications of arguments in natural language. Topics covered: Validity and semantic entailment, translation between English and the symbolic language LSL, truth-functional concepts (semantics of propositional logic), a natural deduction system, translation between English and predicate logic, models (semantics of predicate logic), derivations in predicate logic, and identity. TEXT: "Modern Logic", Graeme Forbes.
Student learning goals
General method of instruction
Class assignments and grading