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

Instructor Class Description

Time Schedule:

Michael E. Townsend
PHIL 471
Seattle Campus

Advanced Logic

Study of the first-order predicate calculus with identity and function symbols. Consistency, soundness, completeness, compactness. Skolem-Lowenheim theorem. Formalized theories. Prerequisite: PHIL 470.

Class description

Introduction to some of the fundamental limitative results of twentieth-century mathematical logic, including the non-computability results of Church, Tarski, and Turing, as well as Gödel’s First and Second Incompleteness Theorems. Prerequisites: PHIL 470 or equivalent (that is, a basic understanding of proof by induction, definition by recursion, and first-order logic). Some familiarity with axiomatic set theory would be helpful, but is not considered a requirement. TEXTS: No Textbook Required.

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: 01/31/2013