FERNANDA BIROLLI ABRAHÃO

Título da pesquisa
Verdade e Paradoxo: Consequências do Paradoxo do Mentiroso para Teorias Formais da Verdade
Resumo da pesquisa

Este projeto visa estudar o conceito de verdade em teorias formais. Como entender a noção de verdade formal de maneira consistente? Isso engendra uma série de problemas, sendo o paradoxo do Mentiroso um dos principais. Há algumas alternativas para resolvê-lo rumo a uma noção de verdade formal. A primeira delas dá como solução o abandono da lógica clássica e adota lógicas não-clássicas. A segunda é composta por diferentes estratégias, unidas pelo fato de que pretendem manter a lógica clássica e, para isso, restringir os princípios de captura e soltura (que serão expostos à frente). A terceira alternativa se volta a algumas abordagens subestruturais, que, diferentemente das outras, moldam estruturas profundas do raciocínio lógico para resolver o paradoxo.

Curso
Mestrado
Orientador
Prof. Dr. Edélcio Gonçalves de Souza
Fomento
Fapesp