Derecho

| |A |E |I |O |
|A es verdadero |V |F |V |F |
|A es falso |F |Ind. |Ind. |V |
|E es verdadero |F |V |F |V |
|E es falso |Ind. |F |V |Ind. |
|I es verdadero |Ind. |F |V |Ind. |
|Ies Falso |Ind. |V |F |V |
|O es Verdadero |Ind. |V |Ind. |V |
|O es Falso |V |V |V |F |

Conversión lógica

De Wikipedia, la enciclopedia libre

Saltar a navegación, búsqueda

Se dice convertir una proposición, en referencia a lo que tradicionalmente han sido los juicios aristotélicos,a la sustitución de los términos entre sí. O dicho más claramente cambiar el sujeto por el predicado.

S es P queda convertida en P es S.

Aristóteles estudió la conversión, aplicándola incluso a los juicios modales, pero en la lógica actual no se acepta la doctrina tradicional al ser considerada la proposición desde otro punto de vista completamente diferente, como funciónproposicional.[1]

Dado que hay cuatro clases de juicios aristotélicos, A, E, I, O, en cada caso la conversión produce diferentes efectos en cada una.

Formas de conversión [editar]Se distinguen 3 formas de conversión:

Simple (simpliciter): cambia el sujeto por el predicado manteniendo la extensión de los términos.

Algunos S son P Algunos P son S

Algunos andaluces son morenos Algunos morenos sonandaluces

La conversión simple en los juicios E e I es legítima, es decir produce un juicio equivalente, con el mismo valor de verdad.

De esta manera la conversión de una proposición I o E implica que la conversa es verdadera si y solo si la convertida asimismo lo es, por lo que los lógicos modernos consideran que tal operación no es tal, sino una inferencia inmediata.

Per accidens: En laque cambia la extensión.

Es posible en los juicios A

Todos los S son P Algún P es S

Todos los andaluces son españoles Algunos españoles son andaluces

Operación no aceptable en la lógica moderna, pues lo que puede ser válido en cuanto clase, no es aplicable a individuos existentes, por lo que habría que añadir suponiendo la existencia de individuos pertenecientes a las clases. Eljuicio aristotélico supone un predicado por atribución al sujeto, dando por supuesta la existencia. Por ello la lógica de predicados incluye necesariamente la cuantificación existencial.[2]

Por contraposición: Sujeto y predicado se convierten mediante la negación a cada uno de los términos invertidos.

La conversión sólo es posible cuando la conversión de un término en tanto que sujeto mantienela misma extensión que el término tenía cuando era predicado. En otro caso se producen sofismas.

Así Algún S es P no es convertible en Ningún S es no-P

Pero sí lo admite:

Ningún S es P Ningún P es S

Ningún andaluz es italiano Ningún italiano es andaluz

Los juicios O no admiten la operación de conversión lógica.

Obversión lógica

De Wikipedia, la enciclopedia libre

Saltara 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 se obvierte en Ningún S es no-PTodos los españoles son europeos Ningún español es no-europeo

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

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

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

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

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

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

La...