Abstract
Tarski's definition of truth has rehabilitated the application of the word "true" to sentences of formalized languages. But a correspondence theory according to which a sentence is true if, And only if, It is related in the peculiar way of correspondence to the facts, Is incompatible with tarski's definition. Actually no theory of truth, Which claims to make proper assertions about sentences when calling them true, Is compatible with tarski's definition. Hence they all have to find their own solution to the problem of the semantical antinomies and have to explain what it means to say that sentences are true