Tjyylli

Na lógica tradicional, a contraposição é uma forma de inferência imediata, na qual a partir de uma dada proposição outra é inferida, tendo por sujeito o contraditório do predicado original, e em alguns casos, envolvendo uma mudança de qualidade (afirmação ou negação).^[1] Para a sua expressão simbólica na lógica moderna consulte a regra de transposição. Contraposição também tem aplicações distintas na sua aplicação filosófica diferente de outras inferências tradicionais o processos de conversão e obversão, onde a ambiguidade varia de acordo com diferentes tipos de proposição.

Lógica tradicional |

Na lógica tradicional, o processo de contraposição é um esquema composto de várias etapas de inferência envolvendo proposições categóricas e classes.^[2] Uma proposição categórica contém um sujeito e predicado, onde existencial impacto da cópula implica que a proposição está se referindo a uma classe, com pelo menos um membro, que em contraste com a condicional de forma hipotética ou sob forma de  implicação material, que são compostos de outras proposições, por exemplo, Se P, então Q, onde P e Q são ambas as proposições, e seu impacto existencial está dependendo de outras proposições, onde na quantificação existência é instanciado (instanciação existencial).

Conversão por contraposição se caracteriza na permutação simultânea e negação do sujeito e do predicado, sendo válido apenas para proposições da lógica Aristotélica do tipo "A" e tipo "S", com considerações sobre a validade de um "E" tipo de proposição com limitações e alterações na quantidade. Esta é considerada uma contraposição completa, uma vez que no processo de contraposição a inversa pode ser obtida em todos os quatro tipos tradicionais de proposições, gerando proposições com o contraditório do predicado original, a contraposição é obtido através da conversão do obvertido da proposição original. Assim, a contraposição parcial pode ser obtida condicionalmente em uma proposição do tipo "E" com uma alteração na quantidade. Porque nada é dito na definição de contraposição com relação ao predicado da proposição inferida, que pode ser o sujeito original, ou contraditório, resultando em duas contraposições que são obvertidas uma da outra nos tipos de proposições "A", "S", e "E".^[3]

Por exemplo: a partir de uma proposição categórica original, do tipo 'A',

Todos os residentes são eleitores,

pressupõe-se que todas as classes têm membros e existencial de importação presumido na forma de proposições categóricas, pode-se derivar primeiro por obversion 'E' tipo de proposição,

Não residentes não são eleitores.

A contraposição da proposição original é derivada da conversão para o outro tipo de proposição 'E',

Nenhum não eleitor é residente.

O processo é concluído resultando em uma proposição do tipo 'A' que é a contra positiva obvertida da proposição original,

Todos os não eleitores são não residentes.

O esquema de contraposição:^[4]

Observe que a contraposição é uma forma válida de obter uma inferência imediata somente quando aplicada a proposições do tipo "A" e "S". Não é válida para proposições do tipo "I", onde o obverso é uma proposição do tipo "O" que não tem recriproca. A contraposição de uma proposição do tipo "E" só é válida com limitações (per accidens). Isso é porque o obverso de uma proposição do tipo "E" proposição é uma proposição do tipo "A" que não pode ser convertida com total validade, exceto pela limitação, isto é, a contraposição além de uma alteração na quantidade da proposição do universal para o particular.

Além disso, observe que a contraposição é um método de inferência que pode exigir o uso de outras regras de inferência. Uma proposição contrapositiva é o produto do método de contraposição, com diferentes resultados, dependendo se a contraposição é total ou parcial. As sucessivas aplicações de conversão e obversão dentro do processo de contraposição pode ser dada por uma variedade de nomes.

O processo de equivalência lógica de um enunciado e seu contrapositivo, como definido na lógica clássica tradicional, não é um dos axiomas da lógica proposicional. Na lógica tradicional, há mais de um contrapositivo inferido de cada sentença original. Em relação à proposição "A" isso é contornado no simbolismo da lógica moderna pela regra da transposição, ou pela lei da contraposição. Em seu uso técnico no campo da lógica filosófica, o termo "contraposição" pode ser limitado por lógicos (por exemplo, Irving Copi, Susan Stebbing) à lógica tradicional e às proposições categóricas. Neste sentido, o uso do termo "contraposição" é geralmente referido por "transposição" quando aplicado a proposições hipotéticas ou implicações materiais.

Veja também |

Notas |

Referências |

• A Blumberg, Albert E. "Lógica Moderna". Enciclopédia de Filosofia, Vol.5, Macmillan, 1973.


• Brody, Bobuch A. "Glossário de Termos Lógicos". Enciclopédia de Filosofia. Vol. 5-6, p. 61. Macmillan, 1973.


• Copi, Irving. Introdução à Lógica. MacMillan, 1953.


• Copi, Irving. Lógica Simbólica. MacMillan, 1979, quinta edição.


• Antes, A. N. "A Lógica Tradicional". Enciclopédia de Filosofia, Vol.5, Macmillan, 1973.


• Stebbing, Susan. Moderna Introdução à Lógica. Cromwell Empresa, 1931.