UW Home > UWIN > Student Guide > Course Catalog

Instructor Class Description

Time Schedule:

Mitch T. Kaufman
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

This course will cover the following:

Validity and semantic entailment, translation between English and the symbolic language LSL, truth-functional concepts, a natural deduction system, translation between English and predicate logic, models, and derivations in predicate logic.

Student learning goals

General method of instruction

Recommended preparation

No prerequisites. Students must acquire the textbook.

Class assignments and grading

Grades will be assigned according to the student's mastery of the concepts taught, as demonstrated by his or her work on weekly quizzes.

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 Mitch T. Kaufman
Date: 02/21/2009