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:

  1. Todos los hombres son mortales.
  2. Sócrates es un hombre.
  3. 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:

  1. Identificar claramente las premisas y la conclusión.
  2. Comprobar si las premisas son verdaderas o, al menos, plausibles.
  3. Analizar la estructura: ¿la conclusión se sigue lógicamente de las premisas? (buscar contraejemplos o formas válidas e inválidas).
  4. 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.