Lógica: qué es, definición, silogismos y ejemplos
Descubre qué es la lógica: definición, reglas, silogismos y ejemplos prácticos para razonar correctamente, construir deducciones y detectar falacias.
La lógica es el estudio del razonamiento. Las reglas de la lógica permiten a los filósofos hacer deducciones verdaderas y lógicas sobre el mundo. La lógica ayuda a las personas a decidir si algo es verdadero o falso. Más allá de la filosofía, la lógica es una herramienta fundamental en disciplinas como la matemática, la informática, la lingüística y la ciencia en general: ofrece métodos formales para estructurar argumentos y comprobar su validez.
Definición y elementos básicos
En términos generales, la lógica estudia las reglas que permiten pasar de unas afirmaciones a otras de manera que la conclusión esté justificada por las premisas. Un argumento lógico está formado por premisas (afirmaciones iniciales) y una conclusión (la afirmación que se deriva). Cuando la forma del argumento garantiza que, si las premisas son verdaderas, la conclusión también debe serlo, decimos que el argumento es válido. Si además las premisas son efectivamente verdaderas, el argumento es válido y sólido.
Silogismos: definición y ejemplo clásico
La lógica se escribe a menudo en silogismos, que son un tipo de prueba lógica. Un silogismo se compone de un conjunto de enunciados que sirven para demostrar lógicamente el enunciado final, llamado conclusión. Un ejemplo popular de silogismo lógico fue escrito por el filósofo griego clásico Aristóteles:
- Todos los hombres son mortales.
- Sócrates es un hombre.
- Por lo tanto, Sócrates es mortal.
La conclusión es la última afirmación. Este silogismo conecta las dos primeras afirmaciones para hacer una deducción lógica: Sócrates es mortal.
Proposiciones, valor de verdad y conectores
El silogismo se compone de tres enunciadosoproposiciones lógicas. Estos enunciados son frases cortas que describen un pequeño paso en un argumento lógico. Los pequeños enunciados forman el argumento, como los átomos forman las moléculas. Cuando la lógica es correcta, se dice que los enunciados se "siguen" unos a otros.
Las afirmaciones tienen un valor de verdad, lo que significa que se puede demostrar que son verdaderas o falsas, pero no ambas. En lógica formal se usan conectores como y (conjunción), o (disyunción), si... entonces (implicación) y no (negación) para construir expresiones más complejas. Para cada combinación de valores de verdad de las premisas existe una tabla (tabla de verdad) que muestra el valor de la fórmula compuesta.
Tipos de lógica
- Lógica clásica (proposicional y de predicados): estudia fórmulas compuestas por proposiciones y cuantificadores (p. ej., "para todo", "existe"). Es la base de la mayoría de los razonamientos formales.
- Lógica modal: añade operadores como "necesariamente" y "posiblemente", útiles para tratar nociones de posibilidad, obligatoriedad o conocimiento.
- Lógica informal: se ocupa del razonamiento en lenguaje natural y de las falacias del discurso cotidiano.
- Lógicas no clásicas: incluyen la lógica difusa (grados de verdad), la lógica intuicionista (sin ley del tercero excluido) y otras alternativas utilizadas en informática y filosofía.
Falacias y errores comunes
Las afirmaciones ilógicas o los errores de lógica se denominan falacias lógicas. Existen muchas falacias frecuentes, como la apelación a la autoridad indebida, la generalización apresurada o el argumento ad hominem. Reconocer estas falacias permite evaluar mejor la calidad de los argumentos y evitar conclusiones inválidas.
Cómo evaluar un argumento
Para evaluar si un argumento es correcto conviene seguir estos pasos:
- Identificar claramente las premisas y la conclusión.
- Comprobar si las premisas son verdaderas o, al menos, plausibles.
- Analizar la estructura: ¿la conclusión se sigue lógicamente de las premisas? (buscar contraejemplos o formas válidas e inválidas).
- Si es posible, formalizar el argumento en lógica proposicional o de predicados y usar tablas de verdad o demostraciones para verificar validez.
Aplicaciones prácticas
La lógica no es solo teoría: tiene numerosas aplicaciones prácticas. En matemáticas se usa para probar teoremas; en informática sirve de base para los lenguajes de programación, la verificación de algoritmos y la inteligencia artificial; en derecho y debate público ayuda a estructurar razonamientos y detectar falacias. Aprender lógica mejora la capacidad crítica, la resolución de problemas y la comunicación clara.
Ejemplo adicional
Ejemplo sencillo en lógica proposicional:
- Premisa 1: Si llueve, la calle está mojada. (p → q)
- Premisa 2: Está lloviendo. (p)
- Conclusión: Por lo tanto, la calle está mojada. (q)
Esta forma de razonamiento se llama modus ponens y es una regla válida: si ambas premisas son verdaderas, la conclusión necesariamente lo es también.
En resumen, la lógica ofrece herramientas para construir y evaluar argumentos con rigor. Desde los silogismos clásicos de Aristóteles hasta las lógicas formales usadas en computación moderna, su estudio es clave para pensar de manera clara y fundamentada.
Gregor Reisch, La lógica presenta sus principales temas. Margarita Philosophica, 1503 o 1508. En el grabado, dos perros llamados veritas (verdad) y falsitas (falsedad) persiguen a un conejo llamado problema. La lógica corre detrás de los perros, armada con la espada syllogismus (silogismo). En la esquina inferior izquierda se ve al filósofo Parménides en una cueva.
Lógica simbólica
Los enunciados lógicos pueden escribirse con un tipo especial de escritura abreviada, denominada lógica simbólica. Estos símbolos se utilizan para describir el razonamiento lógico de forma abstracta.
- ∧ {\displaystyle \land }
se lee como "y", lo que significa que se aplican ambas afirmaciones. - ∨ {\displaystyle \lor }
se lee como "o", lo que significa que al menos una de las afirmaciones se aplica. - → {\displaystyle \ arrow}
se lee como "implica", "es", o "Si ... entonces ...". Representa el resultado de una afirmación lógica. - ¬ {\displaystyle \lnot }
se lee como "no", o "no es el caso que ...". - ∴ {\a6} {\a6}por lo tanto, se lee como "por lo tanto", que se utiliza para marcar la conclusión de un argumento lógico.
se lee como "por lo tanto", que se utiliza para marcar la conclusión un argumento lógico. - ( ) {\displaystyle ()}
se lee como "paréntesis". Agrupan las sentencias lógicas. Las sentencias entre paréntesis deben considerarse siempre en primer lugar, siguiendo el orden de las operaciones lógicas.
Aquí está el silogismo anterior escrito en lógica simbólica.
( ( h u m a n → m o r t a l ) ∧ ( A r i s t o t l e → h u m a n ) ) → ( A r i s t o t l e → m o r t a l ) {\displaystyle {\rm {((humano\rightarrow mortal)\land (Aristotle\rightarrow humano))\rrow (Aristotle\rightarrow mortal)}} 
Si sustituimos las palabras en inglés por letras, podemos simplificar aún más el silogismo. Al igual que los símbolos matemáticos para operaciones como la suma y la resta, la lógica simbólica separa la lógica abstracta del significado en inglés de los enunciados originales. Con estos símbolos abstractos, la gente puede estudiar la lógica pura sin el uso de un lenguaje escrito específico.
( ( a → b ) ∧ ( c → a ) ) → ( c → b ) {\displaystyle ((a\rightarrow b)\land (c\rightarrow a))\ndrightarrow (c\rightarrow b)} 
El silogismo está ahora escrito de la forma más abstracta y sencilla posible. Se ha eliminado cualquier elemento de distracción, como las palabras en inglés. Cualquiera que comprenda el simbolismo lógico puede entender este argumento.
Prueba lógica
Una prueba lógica es una lista de afirmaciones colocadas en un orden específico para demostrar un punto lógico. Cada una de las afirmaciones de la prueba es una suposición hecha en aras de la argumentación, o bien se ha demostrado que se deduce de las afirmaciones anteriores de la prueba. Todas las pruebas deben comenzar con algunas suposiciones, como "los seres humanos existen" en nuestro primer silogismo. Una prueba demuestra que un enunciado, la conclusión, se desprende de los supuestos iniciales. Con una prueba, podemos demostrar que "Aristóteles es mortal" se deduce lógicamente de "Aristóteles es un hombre" y "Todos los hombres son mortales".
Algunas afirmaciones son siempre verdaderas. Este tipo de afirmaciones se llama tautología. Una tautología clásica muy popular, atribuida al filósofo Parménides de Elea, dice: "Lo que es, es. Lo que no es, no es". Esto significa esencialmente que las afirmaciones verdaderas son verdaderas y las falsas son falsas. Como puedes ver, las tautologías no siempre son útiles para construir argumentos lógicos.
Una tautología se representa en la lógica simbólica como ( a ∨ ¬ a ) {\displaystyle (a\lor \lnot a)}, que significa "O bien a o no a". 
, que significa "O a o no a". Suponiendo que no hay posibilidades no mencionadas, esto cubre todos los casos posibles.
Utiliza
Dado que la lógica es una herramienta que sirve para pensar de forma más racional, puede utilizarse de innumerables maneras. La lógica simbólica se emplea en todas partes, desde los tratados filosóficos hasta las complicadas ecuaciones matemáticas. Los ordenadores utilizan las reglas de la lógica para ejecutar algoritmos, que permiten a los programas informáticos tomar decisiones basadas en datos.
La lógica es fundamental para las matemáticas puras, la estadística y el análisis de datos. Las personas que estudian las matemáticas crean pruebas que utilizan reglas lógicas para demostrar que los hechos matemáticos son correctos. Hay un área de las matemáticas llamada lógica matemática que estudia la lógica utilizando las matemáticas.
La lógica también se estudia en la filosofía.
Páginas relacionadas
Preguntas y respuestas
P: ¿Qué es la lógica?
R: La lógica es el estudio del razonamiento.
P: ¿Cómo utilizan los filósofos las reglas de la lógica?
R: Los filósofos utilizan las reglas de la lógica para hacer deducciones lógicas válidas sobre el mundo.
P: ¿Qué es un silogismo?
R: Un silogismo es un tipo de prueba lógica hecha a partir de una colección de enunciados utilizados para demostrar lógicamente el enunciado final, llamado conclusión.
P: ¿Cuál es el propósito de la lógica?
R: El propósito de la lógica es ayudar a las personas a decidir si algo es verdadero o falso.
P: ¿Cuál es el valor de verdad de las afirmaciones?
R: Los enunciados tienen un valor de verdad, lo que significa que se puede demostrar que son verdaderos o falsos, pero no ambas cosas.
P: ¿Cómo se llaman las afirmaciones ilógicas o errores en lógica?
R: Las afirmaciones ilógicas o los errores en lógica se denominan falacias lógicas.
P: ¿Cuál es un ejemplo de silogismo lógico?
R: Un ejemplo de silogismo lógico es el que escribió el filósofo griego clásico Aristóteles: Todos los hombres son mortales. Sócrates es un hombre. Por lo tanto, Sócrates es mortal.
Buscar dentro de la enciclopedia