La lógica formal se centra en la estructura del razonamiento, no en el contenido. Piensa en ella como el esqueleto de un argumento.
¿Qué significa "Formal"?
Formal significa que la lógica se interesa en la forma del argumento, en cómo está construido, no en si lo que dice es verdad o mentira en el mundo real. Se enfoca en la validez.
La Validez en la Lógica Formal
Un argumento es válido si siempre que sus premisas son verdaderas, su conclusión debe ser verdadera. Esto no significa que las premisas son verdaderas, solo que si lo fueran, la conclusión no podría ser falsa. La lógica formal no se preocupa por la verdad fáctica; solo por la validez de la inferencia.
Must Read
Ejemplo Sencillo
Considera este argumento:
- Premisa 1: Todos los gatos maúllan.
- Premisa 2: Félix es un gato.
- Conclusión: Félix maúlla.
La lógica formal dirá que este argumento es válido. ¿Por qué? Porque si las premisas fueran verdaderas, la conclusión necesariamente sería verdadera. No importa si realmente todos los gatos maúllan (quizás hay gatos mudos). Lo que importa es la estructura del argumento. La lógica formal analiza esta estructura, independientemente de si los gatos maúllan o no.
Sustituyendo con Símbolos
Para resaltar la forma, la lógica formal usa símbolos. Podríamos reescribir el argumento anterior así:
- Todos los A son B.
- C es A.
- Por lo tanto, C es B.
Ahora es aún más claro que la estructura es la clave. Podemos reemplazar A, B y C con cualquier cosa, y si la estructura se mantiene, el argumento seguirá siendo válido. Por ejemplo:
- Todos los perros ladran.
- Rocky es un perro.
- Por lo tanto, Rocky ladra.
¿Qué pasa si las Premisas son Falsas?
Un argumento puede ser válido y tener premisas falsas. Esto significa que la conclusión también podría ser falsa. La lógica formal solo garantiza que si las premisas fueran ciertas, la conclusión también lo sería. La validez es independiente de la verdad.
Ejemplo con Premisa Falsa
- Premisa 1: Todos los pájaros vuelan.
- Premisa 2: Los pingüinos son pájaros.
- Conclusión: Los pingüinos vuelan.
Este argumento es válido (la estructura es correcta), pero la premisa 1 y la conclusión son falsas. Los pingüinos no vuelan. Sin embargo, la lógica formal solo se preocupa de que si todos los pájaros volaran, y si los pingüinos fueran pájaros, entonces los pingüinos deberían volar. La lógica formal no es un detector de mentiras, es un evaluador de la conexión lógica entre las premisas y la conclusión.
En Resumen
El carácter formal de la lógica significa que se enfoca en la estructura de los argumentos, en la validez de la inferencia, y no en la verdad o falsedad de las afirmaciones individuales. Es una herramienta para asegurar que nuestros razonamientos son consistentes, independientemente del tema que estemos tratando.
