O trabalho estuda o papel da negação na logica, abordando os fragmentos positivos da logica proposicional, de forma a atender a dois problemas: a obtenção de teoremas de completude independentes da negação e o problema de paradoxos positivos, como o Paradoxo de Curry. Para o fragmentoclassico, estuda-se o metodo construtivo de completude proposto por Leon Henkin. Investigam-se as razoes pelas quais este metodo nao pode ser estendido para fragmentos nao-classicos que conseguem evitar a ocorrencia da objeção de Haskel Curry como, por exemplo, os das logicas n-valentes de Jan Lukasiewicz e os (por nos denominados) intuicionistas de Wilhelm Ackermann, quer pelas caracter?sticas da implicação, quer pela presença deum tipo de argumento infinito. O estudo conjunto do metodo de Henkin e do fenomeno da trivialidade positiva permite estabelecer um processo de decidibilidade da logica positiva classica atraves de um sistema de tablos que utiliza somente recursos metalingu?sticos positivos, e propor uma rediscussão a respeito do papel da negação em logica atraves do conceito deparatrivialidade. Nesse contexto discutimos, do ponto de vista conceitual, a relação da logica positiva com o infinito, as possibilidades de se obter uma logica de primeira ordem completa sem negação e o v?nculo filosofico entreverdade e significado