A definição de verdade de Tarski

O objetivo deste texto é apresentar, de um modo tecnicamente acessível, a definição de verdade de Tarski, o teorema da indefinibilidade da verdade, e discutir duas críticas a aspectos conceituais do trabalho de Tarski sobre a verdade, a saber, se a definição captura a noção de verdade como correspondência e a objeção de Kripke à hierarquia de linguagens.