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

Instructor Class Description

Time Schedule:

Michael E. Townsend
PHIL 470
Seattle Campus

Intermediate Logic

An introduction to the concepts and methods of metatheory and their application to the sentential calculus.

Class description

Introduction to the meta-theory of propositional and first-order logic, including discussion of the Completeness, Compactness, and Lowenheim-Skolem Theorems and their relation to the Hilbert Program. TEXT: No Textbook Required.

Student learning goals

General method of instruction

Recommended preparation

PHIL 120 or equivalent.

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 Michael E. Townsend
Date: 02/21/2014