Repercussões contemporâneas do paradoxo do mentiroso: Tarski e Kripke

O objetivo desta dissertação é discutir os problemas levantados pelo Paradoxo do Mentiroso de uma maneira geral. Vamos apresentar e comparar as principais vias de solução para este paradoxo: A Solução Ortodoxa e a Solução Alternativa. Ambas partem do diagnóstico de Tarski. Segundo este diagnóstico, o paradoxo é uma consequência de duas características essenciais: linguagens semanticamente fechadas e a preservação da lógica clássica. A Solução Ortodoxa mantém a lógica clássica, mas precisa abrir a semântica da linguagem. A Solução Alternativa mantém as linguagens semanticamente fechadas, mesmo que isto implique alguma espécie de restrição à lógica clássica. Tentaremos mostrar que, de ambos os lados, o que temos são resultados que podem ser pensados no máximo como parcialmente satisfatórios. Mostraremos um quadro geral das soluções, mas levando em conta principalmente as teorias de Tarski e Kripke.