 The goal of this section is to characterize the ideas of the correspondence, coherence and pragmatist theories which animate the contemporary debate. In some cases, the received forms of these theories depart from the views that were actually defended in the early 20th century. We thus dub them the ‘neo-classical theories’. Where appropriate, we pause to indicate how the neo-classical theories emerge from their ‘classical’ roots in the early 20th century.