Inversión lógica

Inversión lógica

La inversión lógica es una de las operaciones que la lógica clásica tradicional admitía como operación lógica válida. Consiste en cambiar el sujeto por su contradictorio como inferencia a partir del juicio original.

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.

La inversión permite por ejemplo una inferencia admitida por la lógica tradicional como:

Todos los hombres son mortales   \rightarrow   Algunos no-hombres son inmortales

Lo que ciertamente no es una transformación válida y no es admisible considerarlas como proposiones lógicamente equivalentes, pues no tenemos conocimiento alguno acerca de la existencia de no-hombres.

En problemática de la lógica aristotélica se trata del problema que la lógica de términos ofrece con los juicios negativos respecto al compromiso existencial a no considerar la posibilidad de un concepto vacío y que justifica la interpretación de esta lógica como lógica de clases.

Un ejemplo que muestra esta incongruencia se muestra en la siguiente demostración de la existencia de seres que son inmortales, a través de las operaciones lógicas de la conversión, obversión e inversión.

Partiendo del juicio, TODOS LOS HOMBRES SON MORALTES, entendido como relación de términos, y aplicando las operaciones descritas, podríamos construir el siguiente argumento:

  • Todos los hombres son mortales \rightarrow por obversión se transforma en:
  • Ningún hombre es no-mortal \rightarrow por conversión se transforma en:
  • Ningún no-mortal es hombre \rightarrow por obversión se transforma en:
  • Todo no-mortal es no hombre \rightarrow y convertida per accidens se transforma en precisamente la definida por inversión:
  • Algún no-hombre es no-mortal \rightarrow lo que implica la existencia de seres (no hombres) no-mortales es decir inmortales; lo que se podría convertir en la demostración lógica de la existencia de ángeles y demonios.

Notas y referencias

  1. ↑ Problemática de la lógica silogística en silogismo

Véase también

Bibliografía

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

Wikimedia foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Mira otros diccionarios:

  • Lógica cableada — o Lógica de contactos, es una forma de realizar controles, en la que el tratamiento de datos (botonería, fines de carrera, sensores, presóstatos, etc.), se efectúa en conjunto con contactores o relés auxiliares, frecuentemente asociados a… …   Wikipedia Español

  • Inversión (desambiguación) — El término inversión tiene muchos sentidos: En economía, la inversión es la aplicación de bienes a la producción de una ganancia futura en lugar de a su consumo inmediato; en electrónica, la inversión de corriente es la transformación de una… …   Wikipedia Español

  • Lógica binaria — Se ha sugerido que lógica digital sea fusionado en este artículo o sección (discusión). Una vez que hayas realizado la fusión de artículos, pide la fusión de historiales aquí. La lógica binaria trabaja con variables binarias y operaciones lógicas …   Wikipedia Español

  • 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… …   Wikipedia Español

  • Conversión lógica — 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 …   Wikipedia Español

  • Obversión lógica — 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… …   Wikipedia Español

  • Puerta lógica — «AND» redirige aquí. Para otras acepciones, véase AND (desambiguación). Una puerta lógica, o compuerta lógica, es un dispositivo electrónico el cual es la expresión física de un operador booleano en la lógica de conmutación. Cada puerta lógica… …   Wikipedia Español

  • Silogismo — El silogismo es una forma de razonamiento deductivo que consta de dos proposiciones como premisas y otra como conclusión, siendo la última una inferencia necesariamente deductiva de las otras dos. Fue formulado por primera vez por Aristóteles, en …   Wikipedia Español

  • Inferencia — Una inferencia es una evaluación que realiza la mente entre expresiones bien formadas de un lenguaje (EBF) que, al ser relacionadas intelectualmente como abstracción, permiten trazar una línea lógica de condición o implicación lógica entre las… …   Wikipedia Español

  • Falacia — Este artículo o sección necesita ser wikificado con un formato acorde a las convenciones de estilo. Por favor, edítalo para que las cumpla. Mientras tanto, no elimines este aviso. También puedes ayudar wikificando otros artículos o cambiando este …   Wikipedia Español

Compartir el artículo y extractos

Link directo
… Do a right-click on the link above
and select “Copy Link”