Documento1

Introducción

En este trabajo aprenderemos sobre las inferencias inmediatas y mediatas, revisaremos a fondo su explicación y expondremos algunos ejemplos para explicar cada situación o punto dado.
Presentare un cuadro de oposición de los juicios: A, E, I, O. Entre otros puntos que detallaremos adelante.


















Inferencia Inmediata

Una inferencia es unaevaluación que realiza la mente entre expresiones bien formadas de un lenguaje (EBF) que, al ser relacionadas intelectualmente (filosofía) abstracción, permiten trazar una línea lógica de condición o implicación lógica entre las diferentes EBF. De esta forma, partiendo de la verdad o falsedad posible (como hipótesis) o conocida (como argumento) de alguna o algunas de ellas, puede deducirse la verdad ofalsedad de alguna.

Conversión:
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 \rightarrow queda convertida en \rightarrow P es S.
Se distinguen 4 formas de conversión:
Simple: invierte el sujeto por el predicadomanteniendo la extensión de los términos.
Algunos S son P \rightarrow Algunos P son S.
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 taloperación no es tal, sino una inferencia inmediata.
Por accidens: En la que cambia la extensión.
Es posible en los juicios A
Todos los S son P \rightarrow Algún P es S
Todos los andaluces son españoles \rightarrow Algunos españoles son andaluces
Operación no aceptable en la lógica moderna, pues lo que puede ser válido en cuanta clase, no es aplicable a individuos existentes, por lo que habría queañadir suponiendo la existencia de individuos pertenecientes a las clases. El juicio 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.
Por subalternación: Si un juicio dado es universal y verdadero el particular también.
Por contraposición: Sujeto y predicado se conviertenmediante 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 mantiene la misma extensión que el término tenía cuando era predicado. En otro caso se producen sofismas.
Así Algún S es P \rightarrow no es convertible en \rightarrow Ningún P es no-S
Pero sí lo admite:
Ningún S es P \rightarrow Ningún P es S.Ningún andaluz es italiano \rightarrow Ningún italiano es andaluz.

Obversión:
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 esP \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ñolno 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.

Contraposición:
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,...