Significado de Lógica
Sustantivo femenino. Del griego logiké (téchne), «arte del razonamiento», de lógos («razón, palabra, discurso»).
La lógica es la disciplina que estudia las formas válidas de razonamiento: las reglas que permiten pasar de unas proposiciones (premisas) a otras (conclusiones) preservando la verdad.
En el uso corriente, «tener lógica» significa ser razonable o coherente, y «lógica» nombra también el modo particular en que alguien o algo funciona.
Qué es la lógica
La lógica no pregunta si las premisas de un argumento son verdaderas, sino si la conclusión se sigue necesariamente de ellas. Un argumento puede ser válido —tener una estructura correcta— y, aun así, partir de premisas falsas; también puede tener premisas verdaderas y una estructura inválida. Por eso «lógico» y «verdadero» no son sinónimos.
Es una rama de la filosofía, pero también el fundamento de las matemáticas y de la informática, porque los lenguajes de programación y los circuitos digitales se basan en operaciones lógicas.
En el habla cotidiana, «tener lógica» equivale a ser razonable, y «buscarle la lógica a algo» significa intentar entender por qué ocurre, sin relación directa con el sistema formal que estudia esta disciplina.
Origen de la palabra lógica
Del griego logiké (λογική) téchne, «arte o técnica del razonamiento», derivado de lógos (λόγος), «razón, palabra, discurso». La palabra entró en español a través del latín logica.
Aristóteles fue el primero en sistematizar la lógica como disciplina, con la teoría del silogismo recogida en el conjunto de tratados conocido como el Organon. Los estoicos desarrollaron después una lógica proposicional, centrada en las relaciones entre enunciados completos más que en los términos de un silogismo. En los siglos XIX y XX, matemáticos y filósofos como George Boole, Gottlob Frege y Bertrand Russell crearon la lógica simbólica moderna, que representa los razonamientos con símbolos, de forma parecida a como el álgebra representa las cantidades.
Tipos de lógica
| Tipo | En qué consiste |
|---|---|
| Lógica proposicional | Estudia las relaciones entre enunciados completos mediante conectores como «y», «o», «si… entonces». |
| Lógica de predicados | Analiza la estructura interna de los enunciados: sujetos, propiedades y cuantificadores («todo», «algún»). |
| Lógica modal | Añade a los razonamientos nociones como necesidad y posibilidad. |
| Lógica informal | Estudia el razonamiento cotidiano y las falacias, fuera de un sistema formal estricto. |
Ejemplos de uso de lógica
El argumento es válido, pero su conclusión es falsa porque parte de una premisa falsa.
Aristóteles formuló el primer sistema completo de lógica con la teoría del silogismo.
Detectó la falacia lógica en el discurso del candidato: confundía correlación con causalidad.
No tiene ninguna lógica que suba el precio y baje la calidad al mismo tiempo. (uso coloquial, cercano a «sentido»)
La lógica de programación exige encadenar condiciones de forma precisa para que el programa funcione.
Sinónimos y palabras relacionadas
Sinónimos (parcial, según contexto): razonamiento, raciocinio, coherencia.
Antónimos: incoherencia, sinrazón, absurdo.
No es lo mismo que:
- Retórica: busca persuadir con eficacia, con independencia de si el argumento es válido; la lógica evalúa la validez, no la capacidad de convencer.
- Matemáticas: usan la lógica como herramienta, pero estudian además números, magnitudes y estructuras propias que la lógica no trata directamente.
- Sentido común: es un juicio intuitivo y no sistemático; la lógica establece reglas explícitas y comprobables.
Preguntas frecuentes sobre la lógica
¿Cuál es la diferencia entre un argumento válido y uno verdadero?
Un argumento es válido cuando su conclusión se sigue necesariamente de las premisas, con independencia de si estas son verdaderas; es sólido cuando, además de válido, sus premisas son realmente verdaderas.
¿Qué es una falacia lógica?
Es un razonamiento que parece correcto pero contiene un error de estructura o de contenido que invalida la conclusión, como confundir correlación con causalidad o atacar a la persona en lugar de su argumento.
¿Quién fundó la lógica formal?
Aristóteles, en el siglo IV a.C., con la teoría del silogismo; los estoicos añadieron después la lógica proposicional, y en los siglos XIX y XX se desarrolló la lógica simbólica moderna.