La capacidad de comprender y articular el razonamiento es fundamental tanto para la comunicación humana como para la interacción con sistemas inteligentes. En el centro de esta capacidad se encuentran la deducción lógica y la implicación, procesos que nos permiten extraer conclusiones a partir de premisas dadas. Aunque a menudo realizamos deducciones en nuestra vida cotidiana sin prestarle mayor atención, la formalización de estos procesos es crucial para la filosofía, las matemáticas, la informática y, más recientemente, la inteligencia artificial.
Fundamentos de la Deducción Lógica
Conceptos Básicos de la Deducción
Una deducción lógica, también llamada argumentación, razonamiento o inferencia, consiste en la obtención de conclusiones a partir de ciertos enunciados, denominados premisas. El grado en que podemos confiar en la deducción depende de si nuestro argumento es sólido y válido.
Consideremos el siguiente ejemplo de razonamiento deductivo:
- Todos los caballos tienen cuatro patas.
- Bill es un caballo.
- Por lo tanto, Bill tiene cuatro patas.
Comparación con la Inducción
Es útil pensar en la deducción como lo contrario de la inducción, que ocurre cuando nos movemos en la otra dirección, de un caso específico a una generalidad.
Un ejemplo de razonamiento inductivo sería:
Lea también: Deducción IVA: Guía Paso a Paso
- Bill es un caballo.
- Bill tiene cuatro piernas.
- Por lo tanto, todos los caballos tienen cuatro patas.
El Lenguaje de la Lógica Simbólica
Las argumentaciones pueden establecerse de manera sencilla, o al menos de forma inequívoca, recurriendo al lenguaje de la lógica, que es formal y simbólico. Formal quiere decir que se ocupa solamente de las relaciones entre sus símbolos, y no del significado que tienen o de su uso. Simbólico implica que esos símbolos carecen de significado y características de uso concretos, pudiendo representar cualquier concepto.
Por ejemplo, podemos simplificar enunciados complejos utilizando símbolos. Si "M" representa "manzanas", "F" representa "frutas" y "C" representa "comestibles", la afirmación "las manzanas son frutas y las manzanas son comestibles" puede formalizarse. Similarmente, si "p" remplaza el enunciado completo "las manzanas son frutas" y "q" remplaza a "las manzanas son comestibles", estos enunciados se integran en un lenguaje simbólico.
Los símbolos empleados pueden tomar significados muy diferentes al del ejemplo inicial, y aun así todos ellos son razonamientos correctos desde el punto de vista formal, aunque no tienen por qué serlo atendiendo a su significado; pueden darse de hecho enunciados claramente falsos o absurdos. Así ocurriría, por ejemplo, si en los razonamientos anteriores el símbolo M tomara el significado de "piedras".
Conectores Lógicos Fundamentales
La lógica formal emplea conectores para establecer relaciones entre proposiciones. Estos conectores son esenciales para construir argumentos complejos y analizar su validez. A continuación, se detallan los principales:
| Conector Lógico | Símbolo | Descripción |
|---|---|---|
| Implicación | → | Es el conector que une dos proposiciones en una relación causal. |
| Conjunción | ∧ | Es el conector lógico que une dos proposiciones en una relación copulativa. |
| Disyunción | ∨ | Es el conector lógico que une dos proposiciones en una relación disyuntiva, que es inclusiva (ambas proposiciones pueden ser ciertas simultáneamente). |
| Negación | ¬ | Es el conector lógico que ante una proposición le otorga un valor de verdad contrario al que tiene. |
La Implicación Lógica y sus Reglas
La implicación (→) establece una relación condicional entre dos proposiciones. Una de las reglas de inferencia más conocidas que utiliza la implicación es el Modus Ponens (MP). En este, si se establece como verdadera una relación condicional (Si A entonces B) y se confirma que la condición (A) se cumple, entonces la consecuencia (B) también es verdadera. Por ejemplo, “Si llueve se mojan las calles, está lloviendo. Por lo tanto, se mojan las calles.”
Lea también: Guía para la deducción del ISR
Debe tenerse en cuenta que el Modus Ponens es unidireccional, es decir, que va del antecedente al consecuente y no a la inversa. En el ejemplo de antes, si es cierto que “si llueve se mojan las calles” y que “llueve” podemos decir que “se mojan las calles” pero no a la inversa; por ejemplo, si es cierto que “si llueve se mojan las calles” y que “las calles están mojadas” no podemos decir que haya llovido, ya que podría ser que las calles estuvieran mojadas por otros motivos distintos a la lluvia (a causa de un riego o por el rocío de la mañana).
De lo anterior se concluye que aunque la falsedad del antecedente no implica la falsedad del consecuente (si no llueve las calles podrían estar mojadas o no), sí es cierto que la falsedad del consecuente implica la falsedad del antecedente (si las calles están secas es imposible que haya llovido). Este principio subyace a otra regla de inferencia fundamental: el Modus Tollens.
Otra regla importante es la doble negación. Esta regla es utilizada en el lenguaje ordinario con mucha frecuencia; por ejemplo, decir “esto no es inútil” significa “esto es útil” (téngase en cuenta que el prefijo in- es un prefijo de negación).
El Sistema de Deducción Natural
La deducción natural es un método formal para derivar conclusiones a partir de premisas mediante reglas de inferencia claramente definidas. Fue desarrollada en la década de 1930 por lógicos como Gerhard Gentzen y Stanisław Jaśkowski con el objetivo de reflejar cómo las personas construyen argumentos en contextos matemáticos.
A diferencia de sistemas axiomáticos clásicos, el sistema de deducción natural se caracteriza por su enfoque intuitivo, cercano al razonamiento humano cuando este lo hace correctamente. Esta cercanía está dada porque permite trabajar con suposiciones temporales y presenta una estructura de demostraciones de manera jerárquica donde se explicita cómo una fórmula se sigue de otra y cuál es la regla que justifica ese paso inferencial. Se trata de un tipo de cálculo perteneciente a la familia de los llamados cálculos tipo Gentzen.
Lea también: Consideraciones sobre la Deducción de IVA en México
Cálculos Tipo Gentzen vs. Hilbert
Existen dos clases fundamentales de sistemas deductivos. Por un lado, los cálculos tipo Hilbert, también llamados sistemas axiomáticos, que se organizan a partir de un conjunto fijo de axiomas y un repertorio de reglas de inferencia aplicables sobre dichos axiomas o sobre fórmulas ya derivadas de ellos. Por otro lado, los cálculos tipo Gentzen prescinden de axiomas y se estructuran exclusivamente en torno a reglas de transformación orientadas a la manipulación sintáctica directa de fórmulas, ya sea en forma de deducción, tablas o secuentes. Dentro de la familia de cálculos gentzenianos se inscribe el llamado cálculo de deducción natural, y su relevancia excede los límites del tratamiento puramente formal puesto que puede proyectarse hacia el análisis de la inferencia en el lenguaje ordinario.
En lugar de partir de verdades establecidas a priori, como en los sistemas axiomáticos, la deducción natural trabaja con supuestos que pueden introducirse y eliminarse dentro del desarrollo de una derivación, siguiendo un principio de construcción progresiva y contextualizada de la inferencia.
Metodología y Reglas de la Deducción Natural
La estructura básica de este cálculo deductivo se apoya en reglas de introducción y eliminación para cada conectiva lógica. Por ejemplo, la regla de introducción de la conjunción (∧) permite derivar A ∧ B si se ha afirmado previamente A y B por separado; la eliminación de la conjunción permite pasar de A ∧ B a cualquiera de sus componentes. Este modo de proceder se replica para otras expresiones lógicas como la disyunción (∨), el condicional (→), la negación (¬) y los cuantificadores que se incorporan en la lógica de primer orden, universal (∀) y existencial (∃). Así, a través de reglas explicitadas se constituye un sistema que busca hacer también explícitas las operaciones inferenciales fundamentales del razonamiento deductivo.
En la deducción natural, cada prueba es una prueba a partir de hipótesis. Otro aspecto importante es que cada hipótesis tiene un alcance, es decir, solo hay ciertos puntos en la prueba donde una suposición está disponible para su uso. Una hipótesis está disponible desde el punto donde se asume hasta el punto donde se cancela.
Valor Pedagógico de la Deducción Natural
Desde el punto de vista didáctico, este sistema tiene la ventaja de permitirles a los estudiantes visualizar de manera clara cómo se construye una derivación a partir de supuestos iniciales, premisas, y cómo cada paso de la cadena derivativa debe estar justificado por una regla explícita del sistema. Esto convierte a la deducción natural en una herramienta pedagógica relevante en tanto:
- No exige memorizar axiomas abstractos.
- No requiere aplicar transformaciones opacas.
- Permite seguir el hilo argumental de la inferencia paso a paso y evita que se den errores, falacias o saltos injustificados.
- Modela cómo trabajar con suposiciones y descartarlas (por ejemplo, con deducciones auxiliares de reducción al absurdo), y con ello ejercita la capacidad de evaluar hipótesis y sus consecuencias.
Asimismo, esta perspectiva tiene un valor formativo profundo porque invita al estudiante a internalizar las reglas que gobiernan la inferencia correcta más que a evaluar resultados desde fuera. Está claro también que la internalización de reglas evita o impide que se internalicen errores frecuentes, por ejemplo, la regla de la eliminación del condicional o modus ponens impediría la confusión con la falacia de la afirmación del consecuente.
La importancia del cálculo de deducción natural tanto para aquellos que se forman en la filosofía como quienes lo hacen en el derecho, radica en su capacidad de ofrecer un modelo formal del razonamiento que, por un lado, clarifica los criterios de validez en el discurso argumentativo y, por otro, permite estructurar con rigor las justificaciones que se producen en ámbitos normativos.
Deducción Natural y Lenguaje Natural
El PLN facilita que los humanos se comuniquen y colaboren con las máquinas, al permitirles hacerlo en el lenguaje humano natural que usan todos los días. La investigación de PLN ha ayudado a habilitar la era de la IA generativa, desde las habilidades de comunicación de los modelos de lenguaje de gran tamaño (LLM) hasta la capacidad de los modelos de generación de imágenes para comprender las solicitudes.
Sin embargo, el lenguaje humano está lleno de ambigüedades que dificultan que los programadores escriban software que determine con precisión el significado previsto del texto o los datos de voz. Los humanos tardan años en aprender el lenguaje humano, y muchos nunca dejan de aprender. Por ello, la comprensión del lenguaje natural (NLU) es un subconjunto del PLN que se centra en analizar el significado detrás de las oraciones. La NLU permite al software encontrar significados similares en distintas frases o procesar palabras que tienen significados diferentes.
Desafíos y Limitaciones
Incluso los modelos de PLN de última generación no son perfectos, de la misma forma que el habla humana es propensa a errores. Al igual que con cualquier tecnología de IA, el PLN conlleva posibles dificultades. Una de las limitaciones más relevantes es que el dominio técnico de los sistemas de deducción, por sí solo, no garantiza una mejora efectiva en las capacidades reales de razonamiento. Aunque estos sistemas formales proporcionan un modelo riguroso, su aplicación está limitada a contextos ideales de razonamiento controlado.
La construcción de pruebas de deducción natural puede ser confusa, pero es útil reflexionar sobre por qué es confusa. A veces, la tensión entre el razonamiento hacia adelante y hacia atrás se encuentra en los argumentos informales, así como en las matemáticas y en otros campos.
Aplicación del Método de Deducción Paso a Paso (MDPP)
Para usar el método de deducción paso a paso (MDPP), es necesario que pases el argumento o razonamiento dado en lenguaje natural a lógica simbólica. El MDPP requiere cierta habilidad para meter las hipótesis en algún orden. Si tienes cinco premisas, significa que debes usar al menos cinco veces la regla P para poder meter todas las hipótesis. No importa cuál hipótesis metas primero, pero se sugiere que sea aquélla que menos se parezca a la conclusión, esto significa que no contengan una atómica en común.
Luego, puedes introducir la siguiente hipótesis, buscando aquella que te permita establecer alguna relación con lo que ya tienes. Todas las hipótesis deben intervenir en alguna implicación tautológica. Este método sirve para implicar tautológicamente una o varias expresiones obtenidas en algún paso de la deducción y para encontrar expresiones equivalentes. Esto significa que puedes obtener alguna equivalencia de lo que ya tienes en algún paso de la deducción.
Un ejemplo de instancia de sustitución se ve en: P, P → Q ⊢ Q. La instancia de sustitución opera únicamente sobre atómicas. Para verificar si lo que se hizo estuvo bien, recuerda que cada implicación tautológica es una tautología; entonces, lo que se obtenga al hacer la instancia de sustitución debe ser una tautología. Para generar la tabla de verdad, el símbolo de implicación se sustituye por el conectivo apropiado.
Se utiliza un formato de tres columnas: en la primera se enumeran todos los pasos del método, en la segunda se especifica la regla usada (P o T) haciendo referencia al número de la hipótesis o del paso o pasos sobre los cuales se esté trabajando y, en su caso, la implicación utilizada. Es necesario que impliques todas las premisas o hipótesis.
tags: #deduccion #implicacion #lenguaje #natural #explicacion