Instructor Class Description

Time Schedule:

• Spring Quarter 2012
• Summer Quarter 2012
• Autumn Quarter 2012

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.

Student learning goals

General method of instruction

Recommended preparation

Class assignments and grading

Office of the Registrar
For problems and questions about this web page contact icd@u.washington.edu,
otherwise contact the instructor or department directly.
Modified:May 9, 2012