MATH 4820

MATH 4820

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)

View Enrollment Information

Syllabi: none
  •   Regular Academic Session.  Combined with: PHIL 4311

  • 4 Credits Stdnt Opt

  • 16837 MATH 4820   SEM 101

  • Instruction Mode: