Diferencia entre revisiones de «Inferencia»
Contenido eliminado Contenido añadido
m Revertidos los cambios de 201.160.15.76 a la última edición de Diegusjaimes |
|||
Línea 11:
==== Inferencias inmediatas ====
La filosofía tradicional aristotélica consideraba la posibilidad de inferencias inmediatas que son aquellas que pueden obtenerse directamente a partir de la relación que establece un juicio respecto a los términos, sujeto y predicado, que le constituyen en función de la cualidad (afirmativo-negativo) y la cantidad (universal-particular) del mismo.
[[Aristóteles]] estudió con detalle ciertas operaciones que permitían tales inferencias inmediatas o directas. Para ello elaboró el llamado [[cuadro de oposición de los juicios]], en el que dadas las relaciones que cada juicio aristotélico, A,E,I,O, lleva implícitas se pueden establecer ciertas inferencias directas.
{{AP|Cuadro de oposición de los juicios}}
Asimismo en la lógica tradicional se admitían ciertas operaciones lógicas de transformación de un juicio manteniendo sus condiciones de verdad. Tales operaciones eran:
* [[Conversión lógica]]
* [[Obversión lógica]]
* [[Contraposición lógica]]
* [[Inversión lógica]]
{{AP|Silogismo}} Problemática de la lógica aristotélica
La lógica tradicional aristotélica no resuelve del todo bien los problemas que surgen de los juicios negativos por lo que este tipo de operaciones lógicas se prestan a argumentaciones que producen resultados aberrantes.<ref>Es famosa la demostración de la existencia de los ángeles o demonios partiendo del juicio: Todos los hombres son mortales → Ningún no-mortal es hombre (por conversión); ningun no-mortal es hombre → Todo no-mortal es no-hombre (por obversión); Todo no-mortal es no-hombre → Algún no-hombre es no-mortal (conversión per accidens)</ref>
La lógica actual formaliza los enunciados lingüísticos bien como relación de clases o como funciones proposicionales o relaciones, (Véase [[Proposición (filosofía)]]). Este tipo de inferencias directas no suelen tenerse en cuenta. Hoy se exige el rigor formal de la aplicación de una [[regla]] de inferencia, es decir la aplicación de una «ley lógica» o [[tautología]] que garantice la verdad de la transformación como una verdad equivalente que se muestra en todos los posibles casos de la tabla de verdad de las dos proposiciones relacionadas con un coimplicador.
=== En la lógica actual ===
{{AP|Cálculo lógico}}
Se llama inferencia lógica a la aplicación de una [[cálculo lógico|regla de transformación]] que permite transformar una fórmula o expresión bien formada (EBF) de un [[sistema formal]] en otra EBF como [[teorema]] del mismo sistema. Ambas expresiones se relacionan mediante una relación de [[equivalencia]], es decir, que ambas tienen los mismos [[valor de verdad|valores de verdad]] o, dicho de otra forma, la verdad de una [[coimplicador|coimplica]] la verdad de la otra.
<math>(p \land q)\rightarrow (r \land s) \lor (t \lor v)</math>
podría ser transformada en:
<math>A \rightarrow B \lor C</math>
donde <math>A = (p \land q)</math>; <math>B = (r \land s)</math> y <math>C = (t \lor v)</math>.
Elaborando la [[tabla de valores de verdad]] de dicha equivalencia contenida en la función del [[coimplicador]] el resultado ha de resultar una tautología.
==== Esquema de inferencia ====
{{AP|Cálculo lógico}}
Se refiere a la estructura lógico-formal que permite obtener una expresión bien formada (EBF) desligada, libre, como teorema de un sistema formal previamente definido por la [[cálculo lógico|regla de separación]] estrictas de formación y transformación de fórmulas.
Dicha estructura es el fundamento de un argumento lógico-formal mediante la aplicación de la regla de Sustitución de fórmulas.
<math>(A \land B \land C ... \land N) \rightarrow D</math> donde <math>(A \land B \land C ... \land N)</math> representa cada variable la premisa de un argumento. Conocida la verdad de cada una, como premisas de un argumento, su producto verdadero exige la verdad de todas y cada una de dichas expresiones; lo que permite establecer D como expresión libre y conclusión del argumento.
== Inferencia por evidencias ==
| |||