O objetivo deste texto é apresentar, de um modo tecnicamente acessível, a defi- niçã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 sa- ber, se a definição captura a noção de verdade como correspondência e a objeção de Kripke à hierarquia de linguagens.
