Si può definire teoria corrispondentista della verità una teoria gnoseologica nella quale si sostiene che la mente rifletta, senza sostanziali modificazioni, ciò che esiste in sé fuori di noi. Aristotele si può considerare il filosofo più importante di quest'orientamento di pensiero, perché la mente umana, secondo il filosofo greco, deve, al termine di un processo di astrazione, pervenire alla comprensione della sostanza come forma, cioè di ciò che una determinata realtà deve necessariamente essere.
Tommaso d'Aquino, che nel Medioevo riprese la gnoseologia dello stagirita, parlava di adaequatio rei et intellectus (corrispondenza tra realtà e intelletto), pur attenuando il corrispondentismo con l'osservazione che «cognitum est in cognoscente per modum cognoscentis» («il conosciuto si presenta in chi conosce attraverso modalità particolari di chi conosce»).
«La concezione della verità come corrispondenza (adaequatio) oltre che da Tommaso d'Aquino è condivisa da tutti coloro che hanno una concezione realistica della conoscenza, sia nella versione platonica (Platone, Agostino, Popper), sia in quella aristotelica (Aristotele, Tommaso d'Aquino, Tarski), oppure una concezione fenomenistica (Kant).»
La teoria della verità come «corrispondenza ai fatti» ha assunto fondamentale rilevanza all'interno del razionalismo critico di Karl Popper, che riconosce ad Alfred Tarski il merito di averla riabilitata.
«Chiamiamo "vera" un'asserzione se essa coincide con i fatti o corrisponde ai fatti o se le cose sono tali quali l’asserzione le presenta; e il concetto cosiddetto assoluto o oggettivo della verità, che ognuno di noi continuamente usa. Uno dei più importanti risultati della logica moderna consiste nell'aver riabilitato con pieno successo questo concetto assoluto di verità. [...] Vorrei indicare nella riabilitazione del concetto di verità da parte del logico e matematico Alfred Tarski il risultato filosoficamente più importante della logica matematica moderna.»