Os paradoxos semânticos são uma família de argumentos – onde se incluem o paradoxo do mentiroso, o paradoxo de Curry, o paradoxo da heterologicalidade (de Grelling), os paradoxos da definibilidade (de Richard e de Berry) e outros – que têm duas coisas em comum: primeiro, envolvem de maneira essencial conceitos semânticos como os de verdade, satisfação, referência, definição, etc.; e, segundo, parecem muito bons argumentos até observarmos que a sua conclusão é contraditória ou absurda. Estes argumentos levantam sérias suspeitas quanto à coerência dos conceitos envolvidos. Neste artigo, faremos uma apresentação introdutória de algumas das principais teorias que têm sido propostas para resolver os paradoxos e afastar essas suspeitas. Incluímos também uma breve história dos paradoxos semânticos de Eubúlides a Tarski e a Curry.

Palavras-chave: verdade, paradoxo do mentiroso, auto-referência, transparência, lógicas não-clássicas.