PHILO 37500

Download as PDF

PHILO 37500 - Advanced Symbolic Logic (3 cr)

PhilosophyARTSC - School of Arts and Sciences
GeneralCourse Schedule

Course Title

Advanced Symbolic Logic

Catalog Description

A survey of the central results and techniques of metalogic, principally mathematical induction, the soundness and completeness of theorems for first-order logic, the Skolem theorem, and Church's theorem on undecidability.

Course Attributes

  • COPT - COPT (College Option)

Minimum

3

Max

3

Contact Hours

3

Academic Progress Units

3

Repeat For Credit

No

Requirement Designation

Regular Liberal Arts

Prerequisites & Corequisites

015879

Lecture