Tyler W. Hildebrand
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.
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
Class assignments and grading