Some recent philosophical debate examines the extent to which Tarski's theory of truth for formalized languages can be seen as a correspondence theory of truth.
Κάποια πρόσφατη φιλοσοφική συζήτηση εξετάζει τον βαθμό στον οποίο η θεωρία του Τάρσκι, της αληθείας για την τυποποιημένη γλώσσα μπορεί να θεωρηθεί ως μια ανταπόκριση της θεωρίας της αληθείας.