 The neo-classical theories we surveyed in section 1 made the theory of truth an application of their background metaphysics (and in some cases epistemology). In section 2 and especially in section 3, we returned to the issue of what sorts of ontological commitments might go with the theory of truth. There we saw a range of options, from relatively ontologically non-committal theories, to theories requiring highly specific ontologies.