Jun 04, 2020  
Undergraduate Catalog 2017-2018 
Undergraduate Catalog 2017-2018 [ARCHIVED CATALOG]

PHILO 37500 - Advanced Symbolic Logic


A survey of the central results and techniques of meta-logic, principally mathematical induction, the soundness and completeness of theorems for first-order logic, the Skolem theorem and Church’s theorem on undecidability.
prereq: PHIL 27500 or equiv.
3 hrs
3 cr.