John B. Manchak
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.
In this course, we introduce sentential and predicate logics and examine their syntactic and semantic structures. Topics include validity, translations (between English and the logical formalisms), truth tables, refutation trees, proofs, and models. Course grades will be based on weekly homework assignments and quizzes. There is no prerequisite. TEXT (optional): "Schaumís Outline of Logic", Nolt, Rohatyn, and Varzi.
Student learning goals
General method of instruction
Class assignments and grading