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

Instructor Class Description

Time Schedule:

Brian Lars Enden
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

An introduction to an elementary formal system of deductive symbolic logic designed to facilitate study of certain processes of reasoning in an unambiguous way. The bulk of the course will involve constructing formal proofs within the system, but some time will be devoted to a consideration of the properties of the system itself. The main goal of the course is to increase our abilities to think abstractly and analytically, but along the way we will encounter questions about the applicability of deductive logic to such fields as mathematics, cognitive science, linguistics, natural science, social science, and of course philosophy.

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 Sara L. Caka
Date: 02/19/2009