Trs Vezes No

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

Com essas palavras o autor, logo no incio de seu trabalho, marca o que veremos a frente: um trabalho dedicado a entender o conceito lgico de negao - ou melhor, negaes. Inicialmente, o leitor ir se enveredar por quatro sistemas lgicos diferentes: a lgica clssica, a lgica paraconsistente, a lgica paracompleta e a lgica no-altica. Nesse passeio por entre formalismos, destaca-se o importante papel que o conceito de negao tem em cada um desses sistemas e como cada conectivo de negao, em cada sistema, se comporta de modo diferente. Exatamente por conta desse comportamento diverso, trs conceitos de negaes so caracterizados, levando o nome de seus sistemas: a negao clssica, a negao paraconsistente e a negao paracompleta. Estabelecido essas noes, o leitor ento convidado a entrar mais fundo na toca do coelho, sendo apresentado a uma famlia de sistemas lgicos inditos, capazes de compreender essas trs diferentes negaes em uma nica lgica, visivelmente mais simples e fcil de trabalhar. Deste modo, para alm de um estudo exegtico-formal sobre a negao, o autor apresenta ao leitor sua pesquisa, seus desenvolvimentos e o convoca a ajuda-lo nessa empreitada.