TR S VEZES N O: UM ESTUDO SOBRE AS NEGA

"O que é negar? Ou melhor: o que é isso que chamamos de "negação"? Rios de tinta já rolaram na busca de uma resposta a essas perguntas".

Com essas palavras o autor, logo no início de seu trabalho, marca o que veremos a frente: um trabalho dedicado a entender o conceito lógico de negação - ou melhor, negações. Inicialmente, o leitor irá se enveredar por quatro sistemas lógicos diferentes: a lógica clássica, a lógica paraconsistente, a lógica paracompleta e a lógica não-alética. Nesse passeio por entre formalismos, destaca-se o importante papel que o conceito de negação tem em cada um desses sistemas e como cada conectivo de negação, em cada sistema, se comporta de modo diferente. Exatamente por conta desse comportamento diverso, três conceitos de negações são caracterizados, levando o nome de seus sistemas: a negação clássica, a negação paraconsistente e a negação paracompleta. Estabelecido essas noções, o leitor é então convidado a entrar mais fundo na toca do coelho, sendo apresentado a uma família de sistemas lógicos inéditos, capazes de compreender essas três diferentes negações em uma única lógica, visivelmente mais simples e fácil de trabalhar. Deste modo, para além de um estudo exegético-formal sobre a negação, o autor apresenta ao leitor sua pesquisa, seus desenvolvimentos e o convoca a ajuda-lo nessa empreitada.