HARM GORIS A REINTERPRETATION OF AQUINAS’ CORRESPONDENCE DEFINITION OF TRUTH I. INTRODUCTION Thomas Aquinas is considered to be the leading exponent of the classical definition of truth: truth is the adaequatio of intellect and reality. The usual interpretation of this so-called ‘correspondence’ formula is, roughly speaking, that a proposition (judgment, thought, statement, sentence) is true if it corresponds to the external reality (state of affairs, fact). That is to say, the two relata of the correspondence-relation are, on the one hand, the proposition as a whole, and, on the other, extramental reality. In this paper I want to propose a different reading of Aquinas’ definition. I shall argue that intellect and reality are related within the proposition itself. The two relata, intellect and reality, are represented by the two elements of the proposition, the subject and the predicate. The proposition, therefore, is not one of the two relata, but expresses the relation of correspondence itself. I shall try to substantiate the proposed reinterpretation by drawing upon two other topics Aquinas discusses. The first one is the logical analysis of the structure of a proposition and the related theory of predication. The other topic belongs to Aquinas’ philosophy of mind. It concerns the question if and how the human intellect may know the singular. Next, I shall examine three major texts in which Aquinas reflects on the notion of truth. I shall argue that he gradually succeeded in integrating the intramental character of truth with the correspondence definition. Finally, I shall indicate how my reading can meet some of the criticisms raised against the correspondence theory of truth. in: M.C. Pacheco — J.F. Meirinhos (eds.), Intellect et imagination dans la Philosophie Médiévale / Intellect and Imagination in Medieval Philosophy / Intelecto e imaginação na Filosofia Medieval. Actes du XI e Congrès International de Philosophie Médiévale de la Société Internationale pour l’Étude de la Philosophie Médiévale (S.I.E.P.M.), Porto, du 26 au 31 août 2002, (Rencontres de philosophie médiévale, 11) Brepols Publishers, Turnhout 2004; vol. I, pp. ...-...