Verdade e paradoxo: consequências do paradoxo do mentiroso para teorias formais da verdade

• Processo: 21/08273-2
• Modalidade de apoio: Bolsas no Exterior - Estágio de Pesquisa - Mestrado
• Data de Início da vigência: 28 de dezembro de 2021
• Data de Término da vigência: 27 de junho de 2022
• Área de conhecimento: Ciências Humanas - Filosofia - Lógica
• Pesquisador responsável: Edelcio Gonçalves de Souza
• Beneficiário: Fernanda Birolli Abrahão
• Supervisor: Graham George Priest
• Instituição Sede: Faculdade de Filosofia, Letras e Ciências Humanas (FFLCH). Universidade de São Paulo (USP). São Paulo , SP, Brasil
• Instituição Anfitriã: City University of New York (CUNY), Estados Unidos
• Vinculado à bolsa: 20/02402-2 - Verdade e paradoxo: consequências do paradoxo do mentiroso para teorias formais da verdade, BP.MS
• Assunto(s): Lógicas não clássicas Semântica Verdade Mentira
• Palavra(s)-Chave do Pesquisador: Lógica Clássica | Lógicas não-clássicas | paradoxo | semântica | subestruturas | Verdade | Teorias da verdade; paradoxos semânticos

Resumo

Um dos principais problemas que surgem ao construir teorias formais da verdade é, sem dúvida, o Paradoxo do Mentiroso. Uma sentença que parece ser verdadeira e falsa ao mesmo tempo ameaça, ao menos à primeira vista, um conceito coerente de verdade. Como podemos resolver esse problema em direção a uma teoria formal coerente da verdade? Existem três alternativas possíveis: as soluções clássicas, as heterodoxas e as subestruturais. O primeiro campo é composto por diferentes estratégias, unidas pelo fato de que pretendem manter a lógica clássica e, para tanto, restringir os princípios de Captura - Soltura de Tarski. O segundo dá como solução o abandono de certos princípios clássicos, como a Lei do Terceiro Excluído ou o Ex Contradictione Quolibet e, assim, se coloca em um cenário não clássico. A terceira alternativa passa pelas abordagens subestruturais, que, ao contrário das outras, moldam estruturas profundas do raciocínio lógico para resolver o paradoxo. Assim, o objetivo deste projeto de estágio é investigar o panorama dos três campos de soluções possíveis para o Paradoxo do Mentiroso, tendo como orientador no exterior o Prof. Dr. Graham Priest da City University of New York (CUNY). Aproveitando as discussões frutíferas que acontecem no grupo de pesquisa do Prof. Priest, pretendo focar o estudo em soluções não-clássicas para o paradoxo, investigando minuciosamente as lógicas paraconsistentes, paracompletas e dialeteístas, meditando sobre como cada uma delas compreende o conceito de verdade e visa resolver o paradoxo. (AU)