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

Instructor Class Description

Time Schedule:

Mitchell 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 teaches students an introductory system of formal logic, which uses an artificial symbolic language and formal reasoning techniques to model deductive reasoning in natural language. Topics covered: validity, truth-functionality, semantic entailment, syntactic entailment, propositional calculus, predicate calculus, models, and identity. TEXT: "Modern Logic", Graeme Forbes.

Student learning goals

Translate between English and LSL/LFOL.

Master methods of deduction and formal reasoning.

General method of instruction

Recommended preparation

No Prerequisites.

Class assignments and grading

Weekly homework. Exams.


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 Mitchell T. Kaufman
Date: 03/17/2014