Filosofia da Lógica006
Negações e as Relações de Oposição
O lógico Jean-Yves Béziau defendeu, em 2003, uma tese ousada: as três relações do quadrado aristotélico — contradição, contrariedade, subcontrariedade — são, no fundo, três tipos de negação. Partindo dessa sugestão, mostramos como uma fórmula e suas negações clássica, paracompleta e paraconsistente se organizam numa figura que o quadrado, sozinho, não tem como desenhar: um tetraedro.