Time Schedule:
Mitchell T. Kaufman
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
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.
Student learning goals
General method of instruction
Recommended preparation
No prerequisites. The textbook is required.
Class assignments and grading
Weekly homework assignments.
Grades will be assigned according to the student's mastery of the concepts taught, as demonstrated by his or her work on weekly exams.
