Contraposición lógica

Contraposición lógica es una de las operaciones que la lógica clásica tradicional admitía como operación lógica.

Consiste en la modificación del juicio aristotélico convirtiendo el juicio previamente obvertido, u obvirtiendo el juicio previamente convertido.

De esta forma la aplicación a las distintas clases de juicios sigue el proceso siguiente:

Contraposición lógica

Clase	Forma	Conversión	Obversión $\rightarrow$ contraposición
A	Todo S es P	Algún P es S	Algún P no es no-S
E	Ningún S es P	Ningún P es S	Todo P es no-S
I	Algún S es P	Algún P es S	Algún P no es no-S
O	Algún S es no-P	No hay conversión	No hay obversión$^1$

1 Teniendo en cuenta que no es posible la conversión en O

La lógica moderna al tratar los juicios aristotélicos como funciones proposicionales cambia notablemente el sentido lógico de estas operaciones, por lo que hoy día estas propiedades no tienen en realidad apenas importancia lógica, aunque sí pueden ayudar para la comprensión e interpretación de algunas expresiones o usos lingüísticos.

Véase también

• Cuadro de oposición de los juicios
• Conversión lógica
• Obversión lógica
• Inversión lógica
• Silogismo

Bibliografía

• MITCHELL, D (1968). Introducción a la lógica. Editorial Labor, Barcelona. 

• FERRATER MORA, J. (1979). DICCIONARIO DE FILOSOFÍA. ISBN 84-206-5299-7.