Tarski’s Definition of Truth and Frege’s Critique

Abstract

The languages in Tarski’s hierarchy avoid the liar, and so the liar no longer poses a threat to Tarski’s relative truth predicates ‘x is true in language S_{n(n = 0, 1,…)}’. But how can Frege manage to avoid the liar if he sticks to his absolute concept of truth? Doesn’t Frege also have to relativize the concept of truth in order to avoid the liar? Building on considerations actually present in Frege’s texts, I want to show in the following that and how this apparent necessity of relativizing absolute truth can be escaped.