Três Vezes Não : College Publications : 9781848903920 : 1848903928 : 11 Feb 2022 : "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,