Full Idea
It is an ancient and honourable view that truth is correspondence to fact; Tarski showed us how to do without facts here.
Gist of Idea
Tarski showed how we could have a correspondence theory of truth, without using 'facts'
Source
William D. Hart (The Evolution of Logic [2010], 2)
Book Reference
Hart,W.D.: 'The Evolution of Logic' [CUP 2010], p.36
A Reaction
This is a very interesting spin on Tarski, who certainly seems to endorse the correspondence theory, even while apparently inventing a new 'semantic' theory of truth. It is controversial how far Tarski's theory really is a 'correspondence' theory.