Los 6 tipos de lógica y su significado
Existen varios tipos de lógica y todas centran su objeto de estudio en comprender los razonamientos e identificar cuándo son correctos o incorrectos. El estudio de la lógica ha evolucionado desde los tiempos del filósofo griego Aristóteles hasta la actualidad.
La ética ha venido ajustándose con la intención de ser más específica y, al mismo tiempo, más adaptada a la cotidianidad del ser humano, lo que le permite una aplicación más tangible en distintos ámbitos.
La lógica busca el estudio sistemático de los argumentos y proposiciones, y los distintos tipos de lógica permiten que sea posible estudiar tanto la estructura meramente formal de estos enunciados, como aquello que tiene que ver con el contenido, y el poder de dicho contenido.
A pesar de que la lógica se basa en el estudio de los enunciados, no se centra netamente en el lenguaje natural (el idioma tal como lo conocemos), sino que su utilidad ha llegado a áreas diversas y con estructuras distintas, como la matemática y la computación.
Los tipos de lógica más relevantes
Lógica formal
La lógica formal, también conocida como lógica clásica o lógica aristotélica, es el estudio de proposiciones, argumentos, declaraciones u oraciones desde el punto de vista estructural. Se trata de un método para estructurar el pensamiento y determinar las formas correctas o incorrectas de un planteamiento específico.
La lógica formal no se centra en la veracidad o falsedad del contenido de un argumento en particular, sino que se concentra en la validez o no de la construcción de su forma.
Es decir, el objeto de estudio de la lógica formal no es empírico, para el lógico no es relevante determinar si el argumento presentado es real y comprobado; sino que su estudio va enfocado netamente en la estructura de dicho argumento.
Dentro de la lógica formal existen dos clasificaciones muy importantes: la lógica deductiva y la lógica inductiva.
La lógica deductiva se refiere a aquellos enunciados específicos que se generan de nociones generales. A través de este tipo de lógica pueden hacerse inferencias a partir de conceptos o teorías que ya existen.
Por ejemplo, dentro de la lógica deductiva se podría decir que, si los humanos tienen piernas y Clara es un ser humano, entonces Clara tiene piernas.
En el caso de la lógica inductiva, la construcción de los argumentos sucede de forma contraria; es decir, se crean conceptos generales desde argumentos específicos.
Por ejemplo, dentro de la lógica inductiva se podría decir que, si a un gato le gusta el pescado, y a otro también le gusta, y a otro también, entonces a todos los gatos les gusta el pescado.
Lógica informal
La lógica informal es la rama de estudio que se centra en el lenguaje y el mensaje que se emana de las construcciones semánticas y los argumentos.
Esta lógica es distinta de la lógica formal, en cuanto a que la lógica formal estudia las estructuras de las oraciones y proposiciones; y la lógica informal se centra en el fondo del mensaje transmitido.
Su objeto de estudio es la forma de argumentar para obtener el resultado deseado. La lógica informal da validez a los argumentos lógicos que resultan más coherentes entre otros que tienen una estructura argumentativa más débil.
Lógica no clásica
La lógica no clásica, o lógica moderna, se origina en el siglo XIX y surge en contraposición a los enunciados de la lógica clásica. Establece otras formas de análisis que pueden abarcar más aspectos que los que es posible englobar a través del enfoque clásico de la lógica.
Es así como se incluyen elementos matemáticos y simbólicos, nuevos enunciados o teoremas que venían a suplir las carencias de un sistema de lógica formal.
Dentro de la lógica no clásica hay distintos subtipos de lógica, como la modal, la matemática, la trivalente, entre otras.
Todos estos tipos de lógica difieren en alguna medida de la lógica formal, o incorporan nuevos elementos que resultan complementarios, y permiten que el estudio lógico de un enunciado particular sea más exacto y adaptado a la utilidad en la cotidianidad.
Lógica simbólica
La lógica simbólica también es llamada lógica de primer orden, o lógica matemática, y se caracteriza por emplear símbolos que constituyen un nuevo lenguaje a través del cual de “traducen” los argumentos.
La intención de la lógica simbólica es convertir pensamientos abstractos en estructuras más formales. De hecho, no utiliza el lenguaje natural (idioma), sino usa un lenguaje técnico que convierte las oraciones en elementos susceptibles a la aplicación de reglas más exactas de las que pueden aplicarse en el lenguaje natural.
Entonces, la lógica simbólica permite el tratamiento de las proposiciones a través de las leyes del cálculo, para así evitar confusiones o imprecisiones.
Busca incorporar elementos matemáticos en el análisis de las estructuras de la lógica formal. En el ámbito matemático, la lógica se utiliza para demostrar teoremas.
En definitiva, la lógica simbólica o matemática, busca expresar el pensamiento humano a través del lenguaje matemático.
Esta aplicación matemática de la lógica permite que los argumentos y las construcciones sean más exactos.
Lógica modal
La lógica modal se centra en el estudio de los argumentos, pero agrega elementos relacionados con la posibilidad de que el enunciado en cuestión sea verdadero o falso.
La lógica modal pretende ser más cónsona con el pensamiento humano, por ende abarca el uso de construcciones como “podría”, “posiblemente”, “a veces”, “quizás”, “probablemente”, “es probable”, “a lo mejor”, entre otras.
En la lógica modal se trata de considerar un escenario en el que exista una posibilidad, y se tiende a considerar todas las posibilidades que pueden existir, desde el punto de vista lógico.
Lógica computacional
La lógica computacional es un tipo de lógica derivado de la lógica simbólica o matemática, solo que es aplicada en el área de la computación.
Los programas de computación utilizan el lenguaje de la programación para su desarrollo y, a través de la lógica, es posible trabajar esos sistemas de lenguaje, asignar tareas específicas y ejecutar acciones de verificación.
Referencias
- “Logic” en Encyclopedia Britannica. Recuperado en britannica.com
- “Formal logic” en Encyclopedia Britannica. Recuperado en britannica.com
- Hernández, F. “Lógica computacional” en Universidad Nacional Autónoma de México. Recuperado en unam.mx
- Muñoz, C. “Lógicas No-Clásicas” en Universidad Complutense de Madrid. Recuperado en ucm.es
- “Inferencias deductivas e inductivas” en Junta de Extremadura. Recuperado en educarex.es.