Instructor Class Description

Time Schedule:

• Spring Quarter 2014
• Summer Quarter 2014

Brian Lars Enden
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

An introduction to an elementary formal system of deductive symbolic logic designed to facilitate study of certain processes of reasoning in an unambiguous way. The bulk of the course will involve constructing formal proofs within the system, but some time will be devoted to a consideration of the properties of the system itself. The main goal of the course is to increase our abilities to think abstractly and analytically, but along the way we will encounter questions about the applicability of deductive logic to such fields as mathematics, cognitive science, linguistics, natural science, social science, and of course philosophy.

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:April 17, 2014