Instructor Class Description

Time Schedule:

• Autumn Quarter 2009
• Winter Quarter 2010

Joseph T. Ricci
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 is an introduction to formal deductive systems and their applications. It will feature formalized deductions in sentential and quantified predicate systems; truth tables of the sentential system and finite models of the quantified system; translations from colloquial English to formal syntax. Suitable for nonmajors. Course requires weekly homeworks, quizzes, and a sense of humor.

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:November 5, 2009