Quadrado das oposições

No Sistema da lógica aristotélica, o quadrado das oposições, também conhecido como quadrado lógico ou tábua das oposições, é um diagrama representando as diferentes formas que cada uma das quatro proposições do sistema está logicamente relacionado (isto é, do lado oposto) as outras três.

Formas lógicas

Toda proposição categórica (proposições da forma sujeito-predicado prefixada por um quantificador) pode ser reduzida a alguma das seguintes quatro formas lógicas. • Proposição 'A', a afirmação universal (“universalís affirmativa”), cuja forma em latim é "omme.S est P", normalmente traduzido como "todo S é P". • Proposição 'E', a negação universal (“universalís negativa”), cuja forma em latim é "nullum S est P", normalmente traduzido como "nenhum S é P". • Proposição 'I', a afirmação particular ("particularis affirmativa”), cuja forma em latim é "quoddam S est F", normalmente traduzido como "algum S é P". • Proposição 'O', a negação particular (“particularis negativa”), cuja forma em latim é "quoddam S não est P", normalmente traduzido como "algum S não é P".

Relações entre as proposições

Através das proposições e das setas do quadrado, podemos ver as varias relações que se podem estabelecer entre “A”, “E”, “I” e “O”.

Proposições contrárias. (A E): São proposições universais que diferem só pela qualidade (negação ou afirmação).
Exemplo: Todos os homens são brancos (A) e Nenhum homem é branco (E).

Proposições