Lógica es un sustantivo femenino del término griego logo, relacionado a la logotipos, razón, palabra o discurso, lo que significa el ciencia del razonamiento.
En sentido figurado, la palabra lógica se relaciona con un forma específica de razonamiento, con razón. Por ejemplo: ¡Esto nunca funcionará! ¡Tu plan no tiene lógica!
Tú problemas o juegos de lógica son actividades en las que un individuo tiene que utilizar un raciocinio lógico para resolver el problema.
Lógica aristotélica
Según Aristóteles, la lógica tiene como objeto de estudio la pensamiento, así como las leyes y reglas que lo controlan, para que ese pensamiento sea correcto. Para el filósofo griego, los elementos constitutivos de la lógica son los concepto, juicio y razonamiento. Las leyes de la lógica corresponden a las conexiones y relaciones que existen entre estos elementos.
Algunos sucesores de Aristóteles fueron los responsables de los cimientos de la lógica medieval, que se prolongó hasta el siglo XIII. Pensadores medievales como Galeno, Porfirio y Alejandro de Afrodisia clasificaron la lógica como la ciencia de juzgar correctamente, lo que permite llegar a un razonamiento correcto y formalmente válido.
Lógica de programación
La lógica de programación es el lenguaje utilizado para crear un programa de computadora. La lógica de programación es esencial para el desarrollo de programas y sistemas informáticos, ya que define la cadena lógica para ese desarrollo. Los pasos para este desarrollo se conocen como algoritmo, que consiste en una secuencia lógica de instrucciones para la función a ejecutar.
Lógica de la argumentación
La lógica de la argumentación permite comprobar la validez o si un enunciado es verdadero o no. No está hecho con conceptos relativos o subjetivos. Son proposiciones tangibles cuya validez se puede verificar. En este caso, la lógica tiene como objetivo evaluar la forma de las proposiciones y no el contenido. Los silogismos (compuestos por dos premisas y una conclusión) son un ejemplo de lógica de argumentación. Por ejemplo:
La harina de maíz es un perro.
Todos los perros son mamíferos.
Por tanto, la harina de maíz es un mamífero.
Lógica matemática
La lógica matemática (o lógica formal) estudia la lógica de acuerdo con su estructura o forma. La lógica matemática consta de una sistema deductivo de enunciados que tienen como objetivo crear un conjunto de leyes y reglas para determinar la validez de los razonamientos. Por tanto, un razonamiento se considera válido si es posible llegar a una conclusión verdadera a partir de premisas verdaderas.
La lógica matemática también se utiliza para construir un razonamiento válido a través de otros razonamientos. Los razonamientos pueden ser deductivo (la conclusión se obtiene obligatoriamente de la verdad de las premisas) y inductivo (probabilístico).
La lógica formal se puede dividir en dos grupos: lógica proposicional y lógica de predicados.
Muchos ven a Leibniz como la mente que inició el concepto de lógica formal o matemáticas, que aborda los problemas centrales de las matemáticas. Sin embargo, no fue hasta después de 1890, con Peano, que se inició el cuestionamiento de la consistencia de los axiomas. Algunos principios importantes de la lógica formal se encuentran en El análisis matemático de la lógica de George Boole (autor de la lógica o álgebra de Boole).
Lógica proposicional
La lógica proposicional es un área de la lógica que examina el razonamiento según las relaciones entre cláusulas (proposiciones), las unidades mínimas del discurso, que pueden ser verdaderas o falsas.