La lógica es un método o razonamiento que tiene como finalidad estudiar las formas y principios que controlan la sabiduría humana de manera coherente, sin entrar en posibles contradicciones. La primera persona en utilizar este concepto fue Aristóteles, quien la empleaba para asegurar la verdad detrás de sus argumentos.
¿Qué es la lógica?
Es una ciencia y rama de la filosofía y de las matemáticas que tiene como objetivo estudiar los principios de la inferencia válida y la demostración, la verdad, las paradojas y las falacias.
El término proviene del griego antiguo “logikḗ” que significa “dotado de razón, dialéctica, argumentativa, razón” término que a su vez proviene de “lógos” que significa “palabra, pensamiento, idea, argumento, razón o principio”
La lógica vio sus orígenes en la Edad Antigua, donde se desarrolló en China, India y Grecia de manera independiente. En aquellos tiempos la lógica era una rama más de la filosofía, pero a partir del siglo veinte, pasó a ser considerada como parte de las matemáticas como lógica matemática.
Para que un sistema pueda ser considerado lógico debe ser consistente, sólido y completo, es decir, no debe existir contradicción entre los teoremas, que los sistemas no presenten falsas inferencias y que las oraciones puedan ser probadas.
Tipos de lógica
Existen muchos tipos de lógica que debemos tener en cuenta:
Lógica filosófica
La lógica siempre ha sido considerada como parte de la filosofía, aunque se aplica en diferentes áreas del saber. En este caso, este tipo de lógica cuenta con cuatro pilares o principios necesarios para el pensamiento correcto:
- Principio de identidad.
- Principio de no contradicción.
- Principio de razón suficiente.
- Principio de tercero excluído.
Lógica aristotélica
Este tipo de lógica está basada en los estudios realizados por el filósofo Aristóteles. En ella se emplean los silogismos o deducciones, donde el razonamiento de unas premisas lleva a una conclusión con el objetivo de obtener conocimiento. Se le conoce también como lógica formal o lógica menor.
Lógica difusa
Procede del término inglés “fuzzy logic”, emplea variables aleatorias contextualizadas y relacionadas entre sí. De esta forma establece las relatividades de lo observado como una posición diferencial. Suele aplicarse en la industria y en la informática.
Lógica material o mayor
Se le conoce como lógica aplicada, contrasta con la lógica formal, ya que tiene en cuenta la veracidad o validez de la deducción final.
Esta lógica evaluar la veracidad de las premisas utilizadas y la de la conclusión, pues todo debe de concordar con la verdad.
Lógica informal o pragmática
Es la encargada de estudiar los métodos correctos de razonamiento al tomar en cuenta el contexto para diferenciar lo correcto y lo incorrecto en nuestro lenguaje.
Esta lógica se basa en que nuestro pensamiento suele ser incorrecto y aunque apliquemos la lógica formal con el fin de llegar a conclusiones válidas, estas pueden llevar a una falacia o conclusión incompleta o falsa.
Lógica matemática
Se encarga de evaluar los fundamentos matemáticos según razonamientos deductivos y lógicos para alcanzar una conclusión real. Se emplea en el análisis, geometría, calculo y aritmética, establece axiomas y los pone a prueba.
Esta lógica se aplica en la informática, pues emplea en su lenguaje de programación operadores lógicos: (=, <, >, >=, <=, <>)
Se divide en:
- Logicismo: es la aplicación de la lógica en las matemáticas. En este grupo resaltan la teoría de conjuntos, la teoría de prueba, la teoría de recursión y la teoría de modelos.
- Intuicionismo: establece que la lógica y la matemática trabajan con construcciones mentales de determinada complejidad, pero que no pueden explicar las propiedades más complejas de aquello que analizan.
Lógica natural
Es la que proviene de nuestra experiencia, es parecida al sentido común, ya que se basa en razonamientos especialmente empíricos que no siempre se cumplen. Se adquiere mediante experiencias repetitivas de conocimientos prácticos y con el tiempo lleva a conclusiones correctas.
Lógica científica
Sus premisas deben ser verdaderas, por lo que un razonamiento extenso es necesario. Establece que la verdad solo puede ser demostrada con experimentos o hechos, apartándose así del conocimiento empírico y el sentido común.
Con este tipo de lógica y por medio de reglas y pasos establecidos, se pueden evitar las falacias que provienen de la lógica natural.
Lógica jurídica
Se le conoce como lógica deóntica, se encarga de estudiar las leyes y conceptos jurídicos establecidos por el derecho, así mismo, se encarga de establecer su estructura para que pueda ser aplicada de manera intuitiva.
Como la lógica filosófica, presenta varios principios: principio de identidad, principio del tercero excluido, de contradicción y principio de razón.
Lógica simbólica
Su objetivo es reducir la realidad a conceptos simples que pueden ser combinados para desarrollar argumentos de una mayor complejidad.
Se le conoce también como lógica de primer orden y fue establecida por el matemático “George Boole” quien observó la relación existente entre los símbolos del álgebra y el razonamiento deductivo, basado en esto ideó un lenguaje algebraico simple con tres operaciones básicas: “Y”, “O”, y “No”.
Razonamiento inductivo, deductivo y modal
Existen tres tipos de razonamiento que también son reconocidos como sistemas lógicos, ellos nos permiten alcanzar conclusiones por medio de premisas:
Razonamiento deductivo: Desde premisas generales se llega a una conclusión especifica. Por ejemplo: Todos los seres humanos son mortales (premisa general), Aristóteles es humano (premisa mayor), entonces Aristóteles es mortal (conclusión).
Razonamiento inductivo: es aquel proceso que extrae una conclusión evaluando el conocimiento desde lo particular a lo general. Por ejemplo: Todos los loros que puedo ver son verdes” (premisa particular) por ende, todos los loros son verdes (conclusión).
Razonamiento o lógica modal: se basa en la probabilidad. Expresa una posibilidad donde en las conclusiones se emplean palabras como “puede”, “podría”, “debe” o “eventualmente”.