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

Instructor Class Description

Time Schedule:

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 homework, quizzes, and a sense of humor. Text (required): "Logic: Techniques of Formal Reasoning" (2nd Edition), Kalish, Montague and Mar.

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