O projeto tem como objetivo teórico principal e mais geral examinar de forma sistemática e unificada aspectos lógico-filosóficos do conceito de negação e noções afins, tais como as noções de falsidade, diferença, predicação, exclusão e exaustividade.