|
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. |
