Obversión lógica

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda

Una obversió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 de forma que cambiando la cualidad del juicio, afirmativo-negativo, y negando el término predicado, obtenemos un juicio equivalente.

De este modo:

Todo S es P \rightarrow se obvierte en \rightarrow Ningún S es no-P

Todos los españoles son europeos \rightarrow Ningún español es no-europeo


Ningún S es P \rightarrow se obvierte en \rightarrow Todo S es no-p

Ningún español es americano \rightarrow Todo español es no-americano


Algún S es P \rightarrow se obvierte en \rightarrow Algún S no es no-p

Algún español es rubio \rightarrow Algún español no es no-rubio


Algún S no es P \rightarrow se obvierte en \rightarrow Algún S es no-P

Algún español no es americano \rightarrow Algún español es no-americano


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,[1] aunque sí pueden ayudar al dominio lógico del lenguaje.

Notas y referencias[editar]

  1. Puede consultarse el tema en problemática de la lógica silogística

Véase también[editar]

Bibliografía[editar]

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