NEGAÇÃO DE PROPOSIÇÕES E QUADRADO DA OPOSIÇÃO

A negação inverte o valor de verdade de uma proposição, ou

seja, quando uma proposição é verdadeira, a sua negação é
falsa, e vice-versa. Isto significa que qualquer proposição é
inconsistente com a sua respetiva negação e, por conseguinte,
se conseguirmos mostrar que a negação de uma proposição é
verdadeira, conseguimos mostrar que essa proposição é falsa.
Assim sendo, se o nosso argumento for persuasivo, o defensor
da teoria que estamos a atacar terá razões para duvidar da
verdade da sua tese.
Negar proposições pode ser mais complicado do que parece à
primeira vista. Por exemplo, qual é a correta negação de
“Alguns animais não-humanos sentem dor”? Ou de “Se Deus
existe, então a vida faz sentido”. A tabela que se segue
representa a forma adequada de negar diferentes tipos de
proposições.
Com recurso ao quadro da oposição, as proposições
categóricas negam-se pelas linhas diagonais, ou seja, pela
relação de contraditoriedade. Ora, duas proposições
contraditórias não podem ter o mesmo valor de verdade, de tal
forma que a verdade de uma implica a falsidade da outra, e
vice-versa.