Search | Directories | Reference Tools
UW Home > Discover UW > Student Guide > Course Catalog 

Instructor Class Description

Time Schedule:

Tyler W. Hildebrand
PHIL 120
Seattle Campus

Introduction to Logic

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


The information above is intended to be helpful in choosing courses. Because the instructor may further develop his/her plans for this course, its characteristics are subject to change without notice. In most cases, the official course syllabus will be distributed on the first day of class.
Last Update by Annette R. Bernier
Date: 02/19/2014