Lógica
La lógica estudia las formas válidas de razonar y distingue los argumentos correctos de las falacias.
La lógica es la disciplina que estudia las formas válidas de razonar: qué hace que una conclusión se siga de unas premisas y cuándo un argumento es correcto o falaz. Nació en la Grecia antigua con Aristóteles, se transformó en el siglo XIX en una ciencia formal rigurosa y hoy es una base de la filosofía, las matemáticas y la informática.
¿Qué es la lógica?
El término viene del griego logikē, derivado de logos, que significa a la vez «palabra», «razón» y «discurso». La lógica no se ocupa de si las premisas son verdaderas, sino de la relación entre ellas y la conclusión. Un argumento es válido si es imposible que sus premisas sean verdaderas y su conclusión falsa. Es sólido si, además de válido, sus premisas son efectivamente verdaderas.
Ejemplo clásico: «Todos los humanos son mortales; Sócrates es humano; luego Sócrates es mortal». Su validez depende solo de la forma: «Todo A es B; C es A; luego C es B».
Origen y evolución histórica
- Aristóteles (siglo IV a. C.) fundó la lógica formal en los escritos reunidos después como Organon (los Analíticos primeros y segundos, entre otros). Su gran aportación fue la teoría del silogismo.
- Los estoicos, sobre todo Crisipo, desarrollaron una lógica de proposiciones, con conectores como «si… entonces», «y» y «o».
- En la Edad Media, Pedro Abelardo, Guillermo de Ockham y los escolásticos refinaron la teoría de las consecuencias y la semántica de los términos.
- Leibniz (siglo XVII) soñó con un lenguaje universal y un «cálculo del razonamiento» en que las disputas se resolvieran calculando.
- George Boole (Las leyes del pensamiento, 1854) expresó la lógica en forma algebraica.
- Gottlob Frege (Conceptografía, 1879) creó el cálculo de predicados con cuantificadores, el fundamento de la lógica moderna.
- Bertrand Russell y Alfred N. Whitehead (Principia Mathematica, 1910-1913) intentaron reducir las matemáticas a la lógica.
- Kurt Gödel demostró en 1931 sus teoremas de incompletitud: en todo sistema formal suficientemente potente hay enunciados verdaderos que no pueden demostrarse dentro de él.
Principios básicos
La tradición enumera tres leyes fundamentales del pensamiento:
- Identidad: toda cosa es idéntica a sí misma.
- No contradicción: una proposición no puede ser a la vez verdadera y falsa en el mismo sentido. Aristóteles la consideró el más firme de los principios (Metafísica, libro Γ).
- Tercero excluido: de dos proposiciones contradictorias, una es verdadera.
Tipos de razonamiento
- Deductivo: la conclusión se sigue necesariamente de las premisas. Es el terreno de la lógica formal.
- Inductivo: de casos particulares se infiere una generalización probable. Fundamenta la ciencia empírica, pero ya David Hume señaló que no tiene garantía lógica (el llamado problema de la inducción).
- Abductivo: término de Charles S. Peirce para inferir la mejor explicación de unos hechos. Se usa en diagnóstico, investigación y detección.
Para profundizar en estos procesos, véase el concepto de razonamiento.
Ramas de la lógica
- Lógica proposicional: estudia las relaciones entre proposiciones completas.
- Lógica de primer orden o de predicados: analiza la estructura interna de las proposiciones con cuantificadores («todos», «algunos»).
- Lógica modal: incorpora necesidad y posibilidad. Saul Kripke desarrolló su semántica de mundos posibles a finales de los años cincuenta y sesenta.
- Lógicas no clásicas: la intuicionista (Brouwer y Heyting), las paraconsistentes, las polivalentes y la difusa de Lotfi Zadeh (1965).
- Lógica informal y teoría de la argumentación: estudian los argumentos en el lenguaje natural y las falacias, como la ad hominem o la falsa dicotomía.
Relación con otras disciplinas
La lógica es una herramienta de la epistemología, que se pregunta cómo justificamos lo que sabemos, y se solapa con la dialéctica en el estudio de la discusión racional. En matemáticas proporciona el lenguaje de las demostraciones; en informática, la base de los circuitos digitales, los lenguajes de programación y la verificación de programas. Para el pensamiento crítico es un instrumento de evaluación de argumentos.
Importancia
Estudiar lógica entrena a detectar ambigüedades, contradicciones y saltos injustificados. Su valor no es solo académico: ordena el discurso científico, jurídico y público, y permite discutir con reglas compartidas.
Preguntas frecuentes
¿Qué estudia la lógica?
Estudia la validez de los razonamientos, es decir, las condiciones bajo las cuales una conclusión se sigue correctamente de unas premisas, con independencia de su contenido concreto.
¿Quién es el padre de la lógica?
Aristóteles, que fundó la lógica formal con la teoría del silogismo en el siglo IV a. C. Gottlob Frege se considera el fundador de la lógica matemática moderna.
¿Qué diferencia hay entre argumento válido y sólido?
Un argumento es válido si la conclusión se sigue de las premisas; es sólido si además las premisas son verdaderas. Un argumento válido puede tener premisas falsas.
¿Para qué sirve la lógica en la vida cotidiana?
Sirve para evaluar argumentos, detectar falacias, estructurar explicaciones y tomar decisiones razonadas, tanto en el trabajo como en el debate público.
¿Es la lógica una ciencia o una rama de la filosofía?
Ambas cosas: nació como parte de la filosofía, pero hoy es también una disciplina formal estrechamente unida a las matemáticas y a la informática.
Referencias
- Aristóteles, Tratados de lógica (Organon).
- Gottlob Frege, Conceptografía, 1879.
- William Kneale y Martha Kneale, El desarrollo de la lógica, 1962.
Cómo citar este artículo
Equipo de Conceptualia. (2026). «Lógica». Conceptualia. https://conceptualia.es/ciencias-sociales/filosofia/logica/
