A Antinomia do Mentiroso e a Teoria Semântica de Tarski

Abstract

O objetivo deste trabalho consiste em apresentar a antinomia do mentiroso e a sua relação com a teoria semântica da verdade de Tarski. Desta forma, a antinomia do mentiroso, e aquelas antinomias e paradoxos da assim chamada família do mentiroso, são apresentados, de modo que, esta antinomia desafia as intuições relacionadas as noções de verdade, bem como a noção clássica aristotélica. Em seguida, é apresentada a concepção semântica da verdade de Tarski que busca preservar a noção aristotélica em uma concepção de verdade para as linguagens formalizadas e, ao mesmo tempo, encontrar o problema com o mentiroso e assim evitá-lo.