Lógica formal y argumentación matemática

Objetivo didáctico

Al terminar esta ficha serás capaz de formalizar, analizar y construir argumentos mediante cálculo proposicional, cuantificadores y métodos de demostración, identificando sus límites y aplicándolos críticamente a problemas matemáticos, computacionales y jurídicos.

Introducción

La lógica formal estudia la estructura de inferencias independientemente del tema concreto sobre el que hablan. Si P representa “el sistema está autenticado” y Q “el usuario puede acceder”, la expresión P → Q puede analizarse sin necesidad de conocer todavía qué sistema, qué usuario o qué mecanismo de autenticación están involucrados. Al abstraer el contenido, la lógica permite estudiar qué conclusiones dependen únicamente de la forma.

Este poder tiene un precio: formalizar significa decidir qué parte del lenguaje cotidiano se conserva. “Si presenta la documentación completa, puede solicitar el trámite” podría representar una condición suficiente, una autorización administrativa o simplemente una posibilidad procedimental. Traducirla mecánicamente como P → Q sin aclarar el significado puede producir una fórmula correcta de una premisa mal interpretada.

Esta diferencia explica por qué la lógica sirve tanto para demostrar teoremas como para auditar software. Una demostración intenta garantizar que la conclusión deriva de axiomas o resultados previos; un verificador de programas intenta garantizar que determinados estados satisfacen propiedades formales. En ambos casos interesa eliminar saltos inferenciales que podrían pasar inadvertidos en una explicación informal.

En el derecho, sin embargo, la lógica encuentra una frontera instructiva. Una vez fijadas una norma y unos hechos, ciertas inferencias pueden representarse deductivamente; pero decidir qué norma es aplicable, cómo interpretar un término abierto o qué hacer frente a principios en tensión exige razones adicionales. La lógica puede detectar incompatibilidades y consecuencias; no decide por sí misma cuáles deben ser las premisas normativas de una sociedad.

Desarrollo del tema

Cálculo proposicional: convertir argumentos en estructuras verificables

El cálculo proposicional parte de proposiciones que pueden evaluarse como verdaderas o falsas y las combina mediante conectivos. Los más habituales son negación ¬P, conjunción P ∧ Q, disyunción P ∨ Q, condicional P → Q y bicondicional P ↔ Q. Si una fórmula contiene n variables proposicionales independientes, existen 2ⁿ valuaciones posibles. Para dos variables hay 4; para diez, 1,024. Esta estructura finita permite verificar tautologías mediante tablas de verdad.

Considere el argumento: “Si la solicitud está completa, entonces entra a revisión. La solicitud está completa. Por lo tanto, entra a revisión”. Su estructura es P → Q, P, por tanto Q: modus ponens. La validez no depende de solicitudes ni trámites. En cualquier interpretación donde P → Q y P sean verdaderas, Q necesariamente lo será.

En cambio, de P → Q y Q no puede concluirse P. “Si llueve, la calle se moja; la calle está mojada; por tanto llovió” comete la falacia de afirmación del consecuente: una pipa, una fuga o labores de limpieza podrían explicar el mismo resultado. La lógica descubre el error construyendo una valuación donde las premisas sean verdaderas y la conclusión falsa.

La formalización moderna dio un salto decisivo con la Begriffsschrift de Gottlob Frege, publicada en 1879. Su notación no coincide visualmente con la actual, pero permitió representar inferencias con una precisión que superaba ampliamente la silogística tradicional. La lógica comenzó a funcionar como un lenguaje matemático capaz de estudiar sus propias reglas de inferencia.

Cuantificadores: la diferencia matemática entre “todos” y “existe alguno”

El cálculo proposicional trata P como una unidad completa. La lógica de predicados abre esa unidad. Una expresión P(x) puede significar “x cumple el requisito”. El cuantificador universal ∀x P(x) afirma que todos los objetos del dominio satisfacen P; el existencial ∃x P(x) afirma que al menos uno lo hace. Cambiar el dominio cambia el contenido: “para todo x” no significa lo mismo si x recorre números naturales, personas solicitantes o expedientes administrativos.

Las negaciones revelan una simetría poderosa: ¬∀x P(x) equivale a ∃x ¬P(x). Para refutar “todos los autobuses de esta muestra llegaron puntuales” basta encontrar uno que no lo hizo. De manera dual, ¬∃x P(x) equivale a ∀x ¬P(x). Estas leyes explican por qué un contraejemplo individual puede destruir una afirmación universal mientras mil ejemplos favorables no la demuestran.

El orden también importa. ∀x∃y R(x,y) significa que cada x tiene algún y relacionado con él. ∃y∀x R(x,y) afirma algo mucho más fuerte: existe un mismo y relacionado con todos los x. “Cada colonia tiene algún centro de salud accesible” no equivale a “existe un único centro accesible desde todas las colonias”. Los mismos símbolos aparecen, pero la dependencia cambia.

Frege introdujo en 1879 una notación capaz de expresar generalidad y relaciones de múltiples argumentos, abriendo el camino al cálculo de predicados moderno. Esta ampliación fue decisiva para formalizar matemáticas que no caben en simples combinaciones de proposiciones completas: propiedades de números, funciones, relaciones de orden y afirmaciones con variables ligadas requieren cuantificadores.

Demostración matemática: construir una cadena que resista auditoría

Una demostración no es una colección de ejemplos convincentes. Es una cadena finita de inferencias donde cada paso está autorizado por definiciones, axiomas, hipótesis o resultados previamente establecidos. En una prueba directa se parte de las hipótesis y se deriva la conclusión. En una prueba por contradicción se supone la negación de lo que se desea probar y se deriva una incompatibilidad. En inducción se conecta un caso base con un mecanismo que transmite la propiedad al siguiente caso.

Considere la afirmación: “la suma de los primeros n números impares es n²”. Verificar n = 1, 2, 3 y 100 aporta evidencia, pero no prueba el enunciado para todo natural. La inducción sí puede hacerlo: se verifica 1 = 1² y después se supone que 1 + 3 + ... + (2n − 1) = n². Al sumar el impar siguiente, 2n + 1, se obtiene n² + 2n + 1 = (n + 1)².

El paso crucial es comprender qué hace la hipótesis inductiva. No afirma gratuitamente que el teorema sea verdadero para todos. Supone su verdad para un n arbitrario dentro del paso condicional y demuestra que esa verdad implicaría el caso siguiente. El caso base y este mecanismo forman juntos una cadena que alcanza los naturales cubiertos por el principio de inducción.

Esta lógica se parece más a una auditoría que a una explicación retórica. Una persona externa debe poder señalar qué justifica cada transición. En matemáticas avanzadas, buena parte de la dificultad no consiste en efectuar operaciones, sino en inventar la representación intermedia que hace visible una inferencia: una construcción auxiliar, una desigualdad, una invariante o una reformulación equivalente.

Paradojas lógicas: cuando las reglas obligan a revisar los fundamentos

Una paradoja lógica no es simplemente una afirmación sorprendente. En los casos más profundos, muestra que intuiciones aparentemente razonables no pueden mantenerse simultáneamente. El ejemplo de Russell considera el supuesto conjunto R de todos los conjuntos que no son miembros de sí mismos. Preguntar si R pertenece a R produce el esquema R ∈ R ↔ R ∉ R: cualquiera de las dos respuestas conduce a su negación.

Bertrand Russell descubrió su paradoja alrededor de 1901 y escribió a Frege en junio de 1902. El golpe fue serio porque afectaba un proyecto que intentaba fundamentar la aritmética mediante principios lógicos y una noción muy amplia de colección. La respuesta histórica no consistió en declarar inútiles los conjuntos, sino en restringir cuidadosamente cómo pueden construirse: la teoría de tipos de Russell y las axiomatizaciones posteriores de teoría de conjuntos forman parte de esa reconstrucción.

El caso revela por qué la consistencia importa. En lógica clásica, si un sistema permite derivar P y ¬P, puede utilizarse el principio de explosión para derivar cualquier proposición. Una teoría contradictoria no es simplemente una teoría con “una excepción”: pierde su capacidad para distinguir qué conclusiones están realmente justificadas. Por eso descubrir contradicciones es una función central de la lógica formal.

Los teoremas de incompletitud de Kurt Gödel, publicados en 1931, suelen mezclarse incorrectamente con las paradojas. Gödel no demostró que “nada puede probarse”. Mostró, aproximadamente, que sistemas formales consistentes y efectivamente axiomatizados con suficiente aritmética contienen enunciados que no pueden demostrarse ni refutarse dentro del propio sistema; además, bajo condiciones apropiadas, el sistema no puede demostrar internamente su propia consistencia. Es un límite preciso, no una licencia para el relativismo.

Computación y derecho: dónde termina la deducción y empieza la interpretación

La computación moderna heredó directamente problemas de la lógica. El problema SAT pregunta si existe alguna asignación de valores verdadero/falso que satisfaga una fórmula proposicional. Stephen Cook demostró en 1971 que SAT es NP-completo: cualquier problema de la clase NP puede reducirse a él en tiempo polinómico. Esta conexión convirtió una pregunta sobre fórmulas lógicas en una pieza central de la teoría de complejidad computacional.

El crecimiento combinatorio explica parte del desafío. Una fórmula con 20 variables posee 2²⁰ = 1,048,576 valuaciones; con 50 variables existen 2⁵⁰, más de 1.125 × 10¹⁵. Los solucionadores SAT modernos no recorren ingenuamente todas las combinaciones en muchos casos: explotan estructura, propagación y aprendizaje de conflictos. Lógica y algoritmos se encuentran así en verificación de hardware, planificación, asignación de recursos y análisis de programas.

Alan Turing mostró en 1936 un límite de naturaleza diferente. Mientras una tabla de verdad constituye un procedimiento efectivo para decidir tautologías proposicionales finitas, no existe un algoritmo general que determine para toda fórmula del cálculo de predicados de primer orden si es demostrable. Este resultado vinculó lógica, computabilidad y límites de los procedimientos mecánicos antes de que existieran las computadoras electrónicas de propósito general tal como hoy las conocemos.

En el derecho, la deducción formal puede representar una parte de la justificación. Una regla hipotética “si se cumplen A, B y C, entonces procede X”, combinada con hechos ya establecidos, permite estudiar consistencia e inferencias. Pero materiales de argumentación jurídica publicados por la Suprema Corte de Justicia de la Nación al exponer la teoría de Neil MacCormick distinguen una justificación lógica de primer orden de una justificación de segundo orden vinculada también con coherencia, consistencia y consecuencias. La interpretación jurídica no se reduce a ejecutar un silogismo.

Conclusión

El objetivo de esta ficha era aprender a formalizar y evaluar argumentos, y la distinción fundamental aparece ahora con claridad: verdad, validez y justificación no son sinónimos. El cálculo proposicional estudia combinaciones de proposiciones; los cuantificadores permiten formular generalizaciones y existencias; y una demostración construye una cadena donde cada paso debe estar autorizado por reglas explícitas.

Las paradojas y los resultados metalógicos muestran que formalizar no significa obtener omnipotencia intelectual. Russell obligó a revisar principios demasiado permisivos; Gödel estableció límites internos de sistemas aritméticos suficientemente expresivos; Turing demostró límites algorítmicos de decisión. La lógica creció precisamente porque aprendió a formular con precisión sus propias fronteras.

La conexión con computación y derecho completa el panorama. Un programa puede beneficiarse de propiedades completamente formalizadas; una decisión jurídica incluye además interpretación de normas, prueba de hechos, principios y consecuencias. La lógica no sustituye esa deliberación. Su aportación es otra: obliga a indicar dónde termina una conclusión necesaria y dónde comienzan las premisas que todavía necesitan ser defendidas.

Actividad de aprendizaje autónoma

Producto esperado: expediente de argumentación formal. Elija una regla cotidiana, administrativa o computacional que pueda analizarse sin utilizar información sensible. Puede partir, por ejemplo, de criterios hipotéticos para acceder a un servicio, validar una solicitud, activar una alerta o autorizar una función de software.

1. Escriba el argumento original en lenguaje natural con entre tres y cinco premisas y una conclusión.
2. Defina símbolos para cada proposición simple y traduzca al menos una parte al cálculo proposicional.
3. Construya una tabla de verdad o encuentre una valuación crítica para determinar si una inferencia concreta es válida.
4. Escriba una afirmación universal y otra existencial relacionada con el caso. Después niegue correctamente ambas utilizando cuantificadores.
5. Compare ∀x∃y R(x,y) con ∃y∀x R(x,y) usando un ejemplo propio y explique por qué no son equivalentes en general.
6. Elija una proposición matemática sencilla relacionada con números enteros y construya una demostración directa, por contradicción o por inducción.
7. Identifique un posible salto lógico en el argumento original: afirmación del consecuente, negación del antecedente, generalización indebida u otro error defendible.
8. Escriba una sección titulada “Lo que la lógica no decide”. Señale al menos dos premisas que necesitarían evidencia, interpretación o justificación externa.
9. Si su ejemplo tiene dimensión jurídica o institucional, explique por qué una deducción válida no bastaría para resolver por sí sola un caso controvertido.
10. Cierre con una versión revisada del argumento donde quede explícito qué se demuestra y qué únicamente se supone.

Complete las afirmaciones antes de entregar el expediente. Cada respuesta debe aparecer después, explicada con sus propias palabras, dentro del producto final.

Reflexión final: ¿qué sería más peligroso en una decisión pública: un argumento inválido basado en premisas verdaderas o un argumento perfectamente válido construido sobre una premisa falsa que nadie cuestionó? Justifique su respuesta.