PHIL 280 - Intermediate Logic

Semester Offered: Spring
1 unit(s)

What are the limits of logical proof? How do we formally define the notion of truth? What can(not) be described using formal languages? This course provides an introduction to meta-theory, understood as the study of formal languages. Instead of proving things within a given formal system, meta-theory proves things about formal systems. This allows us to better understand their applications, limits, dependencies, and interrelationships. While our focus is on classical propositional and first-order logic, we also consider related formal systems such as intuitionistic logic, modal logic, and second-order logic. Paul Tran-Hoang.

Two 75-minute periods.

Course Format: CLS