  How does all this relate to Heidegger's account of truth? Answering this question adds a new dimension to the pivotal phenomenon of revealing. Heidegger points out that the philosophical tradition standardly conceives of truth as attaching to propositions, and as involving some sort of correspondence between propositions and states of affairs. But whereas for the tradition (as Heidegger characterizes it), propositional truth as correspondence exhausts the phenomenon of truth, for Heidegger, it is merely the particular manifestation of truth that is operative in those domains, such as science, that concern themselves with the Real. According to Heidegger, propositional truth as correspondence is made possible by a more fundamental phenomenon that he dubs ‘original truth’. Heidegger's key thought here is that before (in a conceptual sense of ‘before’) there can be any question of correspondence between propositions and states of affairs, there needs to be in place a field of intelligibility (Reality, a world), a sense-making structure within which entities may be found. Unconcealing is the Dasein-involving process that establishes this prior field of intelligibility. This is the domain of original truth—what we might call truth as revealing or truth as unconcealing. Original truth cannot be reduced to propositional truth as correspondence, because the former is an a priori, transcendental condition for the latter. Of course, since Dasein is the source of intelligibility, truth as unconcealing is possible only because there is Dasein, which means that without Dasein there would be no truth—including propositional truth as correspondence. But it is reasonable to hear this seemingly relativistic consequence as a further modulation of the point (see above) that entities require Dasein in order to be intelligible at all, including, now, as entities that are capable of entering into states of affairs that may correspond to propositions.