===== OPOSIÇÃO DAS PROPOSIÇÕES =====
[[lexico:e:esse:start|esse]] [[lexico:t:tipo:start|tipo]] de [[lexico:o:oposicao:start|oposição]], que se pode chamar de [[lexico:l:logica:start|lógica]], em comparação com a oposição dos [[lexico:c:conceitos:start|conceitos]] que, resultando imediatamente da [[lexico:n:natureza:start|natureza]] das [[lexico:c:coisas:start|coisas]], pode [[lexico:s:ser:start|ser]] [[lexico:c:chamado:start|chamado]] de [[lexico:f:fisico:start|físico]], apresenta um [[lexico:i:interesse:start|interesse]] muito [[lexico:p:pratico:start|prático]] na [[lexico:a:arte:start|arte]] do [[lexico:r:raciocinio:start|raciocínio]]. Com [[lexico:e:efeito:start|efeito]], já que as proposições se excluem com [[lexico:r:relacao:start|relação]] à [[lexico:v:verdade:start|verdade]] ou à [[lexico:f:falsidade:start|falsidade]], pode-se concluir sobre a verdade ou a falsidade de uma desde que se conheça o seu oposto.

Quando é que duas proposições podem ser chamadas de opostas? Quando, pode-se responder, se afirma ou se nega o mesmo [[lexico:p:predicado:start|predicado]] de um mesmo [[lexico:s:sujeito:start|sujeito]]. A [[lexico:o:oposicao-das-proposicoes:start|oposição das proposições]] assim se define: “affirmatio et negatio eiusdem de eodem”.

Evidentemente, essa [[lexico:d:definicao:start|definição]] [[lexico:n:nao:start|não]] se aplica às oposições das [[lexico:u:universais:start|universais]] afirmativas - particulares afirmativas, nem das universais negativas -particulares negativas, que diferem somente por sua [[lexico:q:quantidade:start|quantidade]]. Observemos, por [[lexico:o:outro:start|outro]] lado, que se o sujeito e o predicado devem [[lexico:t:ter:start|ter]] a mesma [[lexico:s:significacao:start|significação]], nos dois opostos, podem entretanto ter quantidades diferentes.

A oposição das proposições terá graus, na [[lexico:m:medida:start|medida]] em que a [[lexico:a:afirmacao:start|afirmação]] e a [[lexico:n:negacao:start|negação]] se destruam mais ou menos completamente, deixando ou não soluções intermediárias.

Na oposição de [[lexico:c:contradicao:start|contradição]] há pura e [[lexico:s:simples:start|simples]] [[lexico:d:destruicao:start|destruição]] da [[lexico:a:alternativa:start|alternativa]] oposta. Duas contraditórias não podem, portanto, ser ao mesmo [[lexico:t:tempo:start|tempo]] falsas ou verdadeiras: uma sendo verdadeira, a outra será necessariamente falsa e reciprocamente. Forma-se a contraditória mudando-se a [[lexico:q:qualidade:start|qualidade]] e a quantidade da [[lexico:p:proposicao:start|proposição]] em [[lexico:q:questao:start|questão]]: "[[lexico:t:todo:start|todo]] [[lexico:h:homem:start|homem]] é justo" - "algum homem não é justo".

Na oposição de [[lexico:c:contrariedade:start|contrariedade]], modifica-sé apenas a qualidade, permanecendo imutável a quantidade dos sujeitos, quer dizer, [[lexico:u:universal:start|universal]]. Devido a este [[lexico:f:fato:start|fato]] subsistirá entre as duas proposições uma certa [[lexico:c:comunidade:start|comunidade]], e a destruição não será tão absoluta. Duas contrárias não poderão ser verdadeiras ao mesmo tempo, mas poderão ser todas duas falsas, porque a [[lexico:p:possibilidade:start|possibilidade]] de proposições intermediárias permanece. Ex.: "todo homem é justo" - "nenhum homem é justo". Estas duas proposições são igualmente falsas se é verdade que "algum homem é justo".

Na oposição de sub-contrariedade, a quantidade não muda, porém as duas proposições são particulares: elas não poderão ser falsas ao mesmo tempo, mas poderão ser todas duas verdadeiras: "algum homem é justo" -"algum homem não é justo".

[[lexico:n:nota:start|nota]]. - Duas proposições singulares, "Pedro é justo" - "Pedro não é justo", se opõem de maneira contraditória e não contrária, sendo que a quantidade do sujeito não mudou; com efeito, não há nenhuma possibilidade de soluções intermediárias, como era o caso das proposições com sujeito universal ou [[lexico:p:particular:start|particular]].

{{indexmenu>.#1|skipns=/^playground|^wiki/ nsonly}}