la logica

22 inferencias y el desarrollo de la lógica
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 diferentes EBF. De esta forma, partiendo de la verdad o falsedad posible (como hipótesis) o conocida (comoargumento) de alguna o algunas de ellas, puede deducirse la verdad o falsedad de alguna o algunas de las otras EBF.
Surge así lo que conocemos como postulado, o transformada de una expresión original conforme a reglas previamente establecidas, que puede enmarcarse en uno o varios contextos referenciales diversos, obteniéndose en cada uno de ellos un significado como valor de verdad de equivalente.Es la operación lógica utilizada en los motores de inferencia de los Sistemas Expertos.
En la lógica tradicional, llamada aristotélica, la forma esencial de inferencia es una forma de razonamiento deductivo. No obstante se reconocían algunas inferencias directas o inmediatas.
La lógica es la ciencia que expone las leyes, modos y formas del conocimiento científico. Se trata de una ciencia formalque se dedica al estudio de las formas válidas de inferencia. Es decir, se trata del estudio de los métodos y los principios utilizados para distinguir el razonamiento correcto del incorrecto. Por otra parte un Algoritmo es una secuencia de pasos lógicos y ordenados con las cuales le damos solución a un problema determinado. En el caso de la educación se ha evidenciado que la necesidad de contarcon profesionales con conocimientos en lógica y algoritmia, sirve de base para tomar decisiones que plantea la solución de problemas en el manejo de la información empresarial.
En éste módulo damos un recorrido que le permita adquirir las bases conceptuales de Lógica. Para ello, se inicia el proceso académico haciendo una revisión sobre lógica proposicional e inferencias lógicas, y a continuaciónse hará un afianzamiento de métodos de comprensión y solución de problemas, los cual responden directamente a lo que se ha planificado, y por último revisaremos los conceptos básicos de programación enfocados en la estructura básica de un programa y las técnicas de programación estructurada.
Con ese recorrido temático, es preciso revisar lo referente al análisis, diseño y desarrollo de la lógica,para solucionar problemas de su entorno sociocultural.
Inferencias inmediatas
La filosofía tradicional aristotélica consideraba la posibilidad de inferencias inmediatas: aquellas que pueden obtenerse directamente a partir de la relación que establece un juicio[7] 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.
Asimismo en la lógica tradicional se admitían ciertasoperaciones lógicas de transformación de un juicio manteniendo sus condiciones de verdad. Tales operaciones eran:
• Conversión lógica
• Inversión lógica
• Contraposición lógica
Inversión lógica
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 producenresultados aberrantes.
La lógica actual formaliza los enunciados lingüísticos bien como relación de clases o como funciones proposicionales o relaciones. Hoy se exige el rigor formal de la aplicación de una regla de inferencia. La idea de inferencia inmediata no es más que la aplicación de una regla modo implícito. La formalidad lógica, sin embargo, exige que sea explícita la regla que permite la...