Information for PHIL641 : Mathematical Logic I
Course Description
The metatheory of propositional and first-order logic: definitions of formal languages for these systems, their proof theory, model theory, and demonstrations of their soundness and completeness. The course begins with an overview of the basic elements of set theory, including functions and relations, infinite sets, infinite cardinal numbers, and Cantor's Theorem.
Curriculum Information
- Credit: 3
- Prerequisites: None
- Applicable to Philosophy MA requirement for: Logic (Required course)
- Applicable to Philosophy PhD requirement for: Logic