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 an introductory system of formal logic, which uses an artificial symbolic language and formal reasoning techniques to model deductive reasoning in natural language. Topics covered: validity, truth-functionality, semantic entailment, syntactic entailment, propositional calculus, predicate calculus, models, and identity. TEXT: "Modern Logic", Graeme Forbes.
Student learning goals
Translate between English and LSL/LFOL.
Master methods of deduction and formal reasoning.
General method of instruction
Class assignments and grading
Weekly homework. Exams.