Advanced Logic

Catalog description

This course explores the important results of mathematical logic for computability, first order predicate logic, and arithmetic. Students will learn to distinguish computable and non-computable functions, learn why there is no algorithm for evaluating arguments of first order logic, and explore the construction and implications of Gödel’s famous theorems. Along the way, we consider the apparent philosophical and theological implications of these results for the nature of human reason. Prerequisites: (PHIL 211 or 2110 ).