Joseph T. Ricci
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 is an introduction to formal deductive systems and their applications. It will feature formalized deductions in sentential and quantified predicate systems; truth tables of the sentential system and finite models of the quantified system; translations from colloquial English to formal syntax. Suitable for nonmajors. Course requires weekly homework, quizzes, and a sense of humor. Text (required): "Logic: Techniques of Formal Reasoning" (2nd Edition), Kalish, Montague and Mar.
Student learning goals
General method of instruction
Class assignments and grading