Bolsa 21/08273-2 - Lógicas não clássicas, Semântica - BV FAPESP
Processo: 21/08273-2
Supervisor no Exterior: Graham George Priest
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
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)