Time Schedule:
Lynn Hankinson Nelson
PHIL 120
Seattle Campus
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.
Class description
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. PHIL 120 introduces students to formal (symbolic) logic, in which the logical notions of arguments, validity, consistency, logical truths and logical falsehoods are studied and methods for establishing them are learned. Course material includes the study of these concepts as they apply to Sentential Logic, and Predicate Logic including quantification. TEXT: "The Logic Book", Bergmann, Moor, and Nelson.
Student learning goals
General method of instruction
Recommended preparation
Class assignments and grading