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

• Autor(a) principal: Guilherme Araujo Cardoso
• Data de Publicação: 2010
• Tipo de documento: Dissertação
• Idioma: por
• Título da fonte: Repositório Institucional da UFMG
• Texto Completo: http://hdl.handle.net/1843/BUOS-8G2UAC
• topic: Linguagens semanticamente fechadas; Princípio do terceiro excluído; Princípio de bivalência; Paradoxo do mentiroso; kripke, Saul A, 1940-; Semantica (Filosofia); Verdade; Filosofia; Tarski, Alfred, 1902-

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.