A solução paraconsistente ao paradoxo do mentiroso
Rafael Ongaratto
ARTIGO
Português
Resumo: O artigo faz uma análise de uma solução paraconsistente ao paradoxo do mentiroso, a solução de Priest. Lógicas paraconsistentes são caracterizadas, em oposição à lógica clássica, por rejeitar o Princípio de Explosão, segundo o qual "de uma contradição, tudo se segue". Priest, por sua vez, é...
Ver mais
Resumo: O artigo faz uma análise de uma solução paraconsistente ao paradoxo do mentiroso, a solução de Priest. Lógicas paraconsistentes são caracterizadas, em oposição à lógica clássica, por rejeitar o Princípio de Explosão, segundo o qual "de uma contradição, tudo se segue". Priest, por sua vez, é um dialeteísta, uma interpretação da paraconsistência que admite a verdade de contradições. Sua resposta ao paradoxo do mentiroso, portanto, procura aceitar a frase do mentiroso como sendo uma sentença realmente paradoxal utilizando a LP, a "Lógica do Paradoxo". Em seguida, esboçamos algumas críticas à sua posição. Por fim, avaliamos a solução de Priest ao paradoxo em comparação com as soluções canônicas de Tarksi e Kripke
Ver menos
Abstract: The article makes an analysis of a paraconsistent solution to the liar paradox, namely, Priest’s solution. Paraconsistent logics are characterized, in opposition to classical logic, as rejecting the Principle of Explosion, which says that "from a contradiction everything follows". Priest,...
Ver mais
Abstract: The article makes an analysis of a paraconsistent solution to the liar paradox, namely, Priest’s solution. Paraconsistent logics are characterized, in opposition to classical logic, as rejecting the Principle of Explosion, which says that "from a contradiction everything follows". Priest, in turn, is a dialetheist, an interpretation of paraconsistency that admits the truth of contradictions. His answer to the liar paradox, therefore, accepts the liar sentence as being a truly paradoxical sentence using LP, the "Logic of Paradox. Then, we propose some critiques of his position. Finally, we evaluate Priest’s solution to the paradox in comparison with Tarski and Kripke canonical solutions
Ver menos
FUNDAÇÃO DE AMPARO À PESQUISA DO ESTADO DE SÃO PAULO - FAPESP
Aberto
A solução paraconsistente ao paradoxo do mentiroso
Rafael Ongaratto
A solução paraconsistente ao paradoxo do mentiroso
Rafael Ongaratto
Fontes
Alamedas (Fonte avulsa) |