Três Vezes Não

"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.