PHIL 471 A: Advanced Logic

Meeting Time: 
MWF 10:30am - 11:50am
Location: 
SAV 359
SLN: 
18284
Instructor:
Michael Townsend

Additional Details:

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.

TEXT: No Textbook Required.

Catalog Description: 
Study of the first-order predicate calculus with identity and function symbols. Consistency, soundness, completeness, compactness. Skolem-Lowenheim theorem. Formalized theories. Prerequisite: PHIL 470.
GE Requirements: 
Individuals and Societies (I&S)
Natural World (NW)
Credits: 
5
Status: 
Active
Last updated: 
October 5, 2016 - 9:07pm