Lógica

Lógica (logikê) — Ciencia de las leyes formales del razonamiento correcto y de la argumentación válida, orientada no a lo que se piensa, sino a la estructura que hace legítima una inferencia. El término deriva del griego logos (razón, palabra, discurso), y la expresión logikê technê designaba el “arte de razonar”. La lógica no evalúa si las premisas son verdaderas, sino si la conclusión se sigue necesariamente de ellas: se ocupa de la validez, no de la verdad material. Aristóteles es considerado su fundador, al reunir en el conjunto de tratados después llamado Organon el análisis del silogismo, inferencia en la que de dos premisas se extrae una conclusión (por ejemplo: “todo hombre es mortal; Sócrates es hombre; luego, Sócrates es mortal”). Los estoicos, sobre todo Crisipo, desarrollaron a continuación la lógica proposicional, centrada en las relaciones entre enunciados completos (si… entonces, o, y). Durante siglos la lógica aristotélica permaneció prácticamente intacta, hasta que, a finales del siglo XIX, Gottlob Frege, con la Begriffsschrift (1879), creó la lógica de predicados y la teoría de la cuantificación, fundando la lógica matemática moderna. Bertrand Russell y Alfred North Whitehead la ampliaron en los Principia Mathematica. El joven Wittgenstein, en el Tractatus Logico-Philosophicus, sostuvo que la lógica muestra la forma del mundo. Se distingue de la retórica (arte de persuadir) y se relaciona estrechamente con la epistemología, que investiga la justificación del conocimiento.

← Glosario