Time Schedule:
Tyler W. Hildebrand
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
The goal of this course is for students to become proficient in some basic formal techniques for evaluating deductive arguments. We'll focus on three (progressively more powerful) formal languages, culminating in classical first-order logic with identity. Topics include: syntax, semantics, and natural deduction for each formal language; translation between formal and natural languages; and, time permitting, an informal introduction to metatheory (soundness and completeness). TEXT: "Modern Logic", Graeme Forbes.
Student learning goals
General method of instruction
Recommended preparation
Class assignments and grading
