Course Detail
Units:
4.0
Course Components:
Laboratory
Lecture
Enrollment Information
Enrollment Requirement:
Prerequisite: PHIL 2200 or instructor's consent.
Requirement Designation:
Quan Reason (Stat/Logic) & Quant Intensive BS
Description
Metatheory of modern logic. Includes model theory and proof theory. Proofs of consistency and completeness for first-order logic, undecidability of logic, and incompleteness of formal arithmetic. May include applications of logic. For juniors and seniors.