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

Instructor Class Description

Time Schedule:

John B. Manchak
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

In this course, we introduce sentential and predicate logics and examine their syntactic and semantic structures. Topics include validity, translations (between English and the logical formalisms), truth tables, refutation trees, proofs, and models. Course grades will be based on weekly homework assignments and quizzes. There is no prerequisite. TEXT (optional): "Schaumís Outline of Logic", Nolt, Rohatyn, and Varzi.

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: 06/05/2013