FERNANDA BIROLLI ABRAHÃO

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. Palavras-chave: verdade; paradoxo; lógica clássica; lógicas heterodoxas; subestruturas.