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

Instructor Class Description

Time Schedule:

William F. Harms
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

Deductive inference is analyzed with several mathematical systems. This course is an introduction to two of them, propositional logic and predicate logic, with strong emphasis on the former. The successful student will understand the derivation of rules of inference from first principles, achieve considerable facility with propositional logic, and understand the basics of predicate logic. TEXT: "A Concise Introduction to Logic", 11th edition, Patrick J. Hurley. We will be primarily using chapters 6, 7, and 8, which can be purchased individually in PDF form at

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 William F. Harms
Date: 02/26/2013