- Schedule of Classes - January 14, 2015 6:16PM EST
- Course Catalog - January 14, 2015 6:21PM EST
Course information provided by the Courses of Study 2014-2015.
This course will focus on formal theories of truth, including these things: Tarski's theorem on the undefinability of truth for first-order arithmetic in first-order arithmetic; the Tarski (levels-of-truth) hierarchy; truth and higher-order languages; various proposals for approximating a "type-free" theory of truth.
When Offered Fall.
Distribution Category (MQR)
Disabled for this roster.