LÓGICA
Hablar o escribir acerca de la Lógica para mi resulta algo bastante agradable, divertido e interesante por todas sus características intrínsecas; en contrasentido y estricta consideración, en ocasiones me avergüenzo al observar como muchas personas se desentienden de la "vida real" porque desarrollan sus esquemas mentales, personales, de estudio, trabajo, profesional y convivencia familiar y social, plagados de errores lógicos, con falsa lógica, hundidos en la ignorancia y/o divorciados con la verdadera Lógica.
Teorizando, he de resaltar que la Lógica es una "Ciencia Formal", la cual se encarga de estudiar la totalidad de los principios de la demostración y/o de la inferencia o deducción válida, demostrativa o validante, sin ambigüedades. En causa y efecto sobre la "verdad verdadera", la Lógica también se encarga de estudiar las falacias, lo irracional, las paradojas, las dicotomías y la noción estricta de la verdad y de la realidad.
Etimológicamente, la palabra "Lógica" deriva del griego "logik" (persona dotada de sabiduría, razón, meditativo, intelectual, conciente, dialéctico, demostrativo y argumentativo); "logik" a su vez proviene del vocablo "lógos" (pensamiento, idea, palabra, argumento, conversación, inferencia y razonamiento).
Inferencia
En términos generales, la Inferencia es la acción y consecuencia de deducir, constituida como un complejo proceso mental desde el cual se generan conclusiones válidas, a partir de informaciones, premisas y datos reales. Es decir, la Inferencia se establece en base a discernir y evaluar diversas propociones, para generar desde éstas una consecuencia o un nuevo resultado.
Por lo tanto, la Inferencia se produce desde el mismo momento en el cual se realiza la valoración mental entre las distintas expresiones reales, que al ser relacionadas como abstracciones verdaderas, permite derivar una implicación extrapolada y lógica. Por otro lado, he de aclarar que existen dos tipos de Inferencias: las Deducciones y las Inducciones (que incluye las Abducciones),
Deducción
Conceptual y Filosóficamente, la Deducción es un tipo de Inferencia que se basa en un método puro de razonamiento mental, el cual parte de estructuras teóricas generales, principios o leyes universales para lograr conclusiones particulares. Es decir, se trata de una conclusión o inferencia lograda por razonamiento analítico, partiendo de lineamientos generales o principios universales.
La Deducción es un método lógico deductivo, cuya conclusión está implícita en el seguimiento exclusivamente expuesto en las premisas planteadas. Este método de razonamiento e Inferencia Lógica se orienta desde lo más general a lo particular. Su principal campo de aplicación es la Extrapolación (método científico y lógico que supone que los acontecimientos generales continuarán de forma similar en el futuro para alcanzar una nueva conclusión, en una situación particular).
Inducción
Para la Filosofía, la Inducción es un método de análisis racional que consiste en inferir un principio o resultado, derivado lógicamente de los datos, premisas o hechos particulares previamente expuestos.
En tal sentido, el principio de Inducción es el razonamiento lógico que permite la demostración de proposiciones, en donde las conclusiones se obtienen como simples hechos probables.
Ejemplos
Para entender todo lo anterior, veamos las siguientes premisas generales con sus respectivas Inferencias:
.- Estoy corriendo y estoy cansado. Con las siguientes Inferencias: Deducción Lógica: Por lo tanto, estoy corriendo. Inducción Lógica: Entonces, si continuo corriendo seguiré cansado.
.- Hace frio o estoy enfermo. Con las siguientes Inferencias: Deducción Lógica: Por lo tanto, no se puede concluir que estoy enfermo. Inducción Lógica: Entonces, yo no puedo concluir si hace frio o estoy enfermo.
En el primer caso la clave "y" permite realizar Inferencias,´por la validez que le otorga a los argumentos; pero, la clave "o" elimina la validez general de los argumentos. De igual manera, la clave condicional "si" permite establecer una validez de las premisas y de las conclusiones de forma condicionada a su estricto cumplimiento.
Ramas de la Lógica
De acuerdo con la Filosofía, la Lógica se basa en fundamentos o principios de Inferencias racionalmente aceptables, contrastadas con otras inferencias que no lo son (pensamiento Filosófico). Es decir, la Lógica Filosófica tiene su base de aceptación sustentada en la estructura Lógica de la Inferencia analizada, desdeñando las específicidades de los argumentos y el lenguaje utilizado; por lo tanto, trata de las descripciones formales de lo ordinario con lenguaje naturalmente Lógico para resolver los problemas Filosóficos.
La Lógica Matemática, Simbólica, Teorética o Formal, consiste en el estudio y aplicación Matemática de la Lógica a todas las áreas de las Ciencias. Está basada en los Sistemas Formales para codificar o definir las nociones matemáticas.
La Lógica Computacional es casi la misma Lógica Matemática pero está aplicada al contexto de las ciencias de la computación (circuitos, programación lógica y análisis, elaboración y optimización de algoritmos).
Lógica Proposicional y Lógica Predicativa
La Lógica Proposicional o de Orden Cero es un sistema formal representada por proposiciones y constantes conectivas lógicas (Negación: No; Conjunción: "Y"; Disyunción: "O"; Condicional: "Si...Entonces"; Bicondicional: "Si y Solo Si"; Disyunción Opuesta: "Ni...Ni"; Disyunción Exclusiva: "O Bien ... Bien"); las cuales representan operaciones sobre proposiciones, para formar otras proposiciones de mayor complejidad. Las conectivas Lógicas se tratan como funciones de verdad (toman conjuntos de valores de verdad y devuelven valores de verdad).
Por su parte, la Lógica de Predicados o de Primer Orden es también un sistema formal que estudia la inferencia en los lenguajes formales de primer orden con cuantificadores que alcanzan sólo a variables de individuo, y con predicados y funciones cuyos argumentos son sólo constantes o variables de individuo. Un predicado es una expresión lingüística que puede conectarse con una o varias otras expresiones para formar una oración. Por ejemplo, en la oración: "Boty es un perro", el predicado "es un perro" se conecta con la expresión "Boty" para formar una oración (P(B)). Matemáticamente puede ser una función: f(x,y,z) = x + y + z (Si x = 5, y = 3, z = 1, entonces: f(x,y,z) = 9).
Para finalizar, dejo un par de videos reflexivos, educativos y divertidos acerca de la Lógica:
Fuente de los Videos: https://www.youtube.com
Fuente de las Imágenes: https://giphy.com