Te explicamos qué es una deducción en un sentido general y qué es la deducción en lógica, con ejemplos. El término deducción, que deriva del vocablo latino deductio, hace referencia al acto y la consecuencia de deducir. Una deducción (también llamada derivación) es el procedimiento mental de identificar, extraer o separar una parte de un todo, es decir, un elemento singular de una categoría más amplia. Esta palabra puede usarse en diferentes contextos y sentidos, aunque la mayoría de las veces se refiere a dos procedimientos específicos: la deducción lógica, esto es, la extracción de conclusiones particulares a partir de premisas universales; y la deducción fiscal o impositiva, que es la reducción de los tributos que una persona debe al Estado a partir de sus condiciones personales y sus gastos productivos.
La Deducción en el Campo de la Lógica
En el campo de la lógica y el razonamiento formal, una deducción o razonamiento deductivo es la obtención de una conclusión particular a partir de premisas generales. En el plano de la lógica, la deducción es un tipo de razonamiento a través del cual la conclusión es inferida necesariamente de los axiomas o las premisas. La deducción es uno de los principales mecanismos de razonamiento lógico y de los más antiguos formulados por la humanidad. Es estudiado por la psicología, la filosofía, la matemática y otras disciplinas.
Este tipo de razonamiento se caracteriza porque sus conclusiones se desprenden de las premisas, es decir, que no pueden ser falsas si las premisas son verdaderas (aunque sí pueden ser verdaderas siendo falsas las premisas). En estos casos, se obtienen conclusiones válidas y verdaderas de premisas verdaderas. En la deducción, la conclusión se infiere necesariamente de las premisas. Luego de una sucesión de fórmulas, el razonamiento deductivo permite extraer la conclusión mediante reglas de inferencia.
Según la Real Academia de la Lengua, deducir es “Inferir, sacar consecuencias de un principio, proposición o supuesto“. En una palabra, si las premisas en que nos basamos, los antecedentes, son verdaderos, entonces, de forma irremediable, obligatoria, necesaria, el consecuente, lo deducido, debe ser verdadero también. La deducción es simplemente la lógica que utilizamos cuando partimos de algo que observamos en general y lo aplicamos a un caso concreto. El grado en que podemos confiar en la deducción depende de si nuestro argumento es sólido y válido.
Ejemplos de Razonamiento Deductivo
Veamos cómo funciona la deducción a partir de premisas:
Lea también: Deducción IVA: Guía Paso a Paso
- Premisa Nro. 1: “Todos los perros son animales mamíferos”
- Premisa Nro. 2: “Bobby es un perro”
- Conclusión: “Bobby es un animal mamífero”
Como se puede advertir, si la totalidad de los perros son animales mamíferos y Bobby es un perro, la deducción lógica es que Bobby también es un animal mamífero ya que es un perro. Las premisas del ejemplo anterior han sido verificadas, tanto la primera (que se puede elaborar gracias a que el ser humano haya dedicado siglos al estudio de las especies que habitan el planeta Tierra) como la segunda (ya que el observador se asegura de que Bobby sea un perro antes de afirmarlo).
Consideremos un ejemplo adicional:
- Todos los caballos tienen cuatro patas.
- Bill es un caballo.
- Por lo tanto, Bill tiene cuatro patas.
Es importante destacar que el razonamiento puede ser correcto o incorrecto, nunca verdadero o falso. Las premisas sí lo son, verdaderas o falsas; el razonamiento en sí no lo es. Si el razonamiento que hemos hecho es correcto, entonces, cuando todas las premisas sean verdad, y sólo en ese caso, podemos asegurar que la conclusión es verdadera también.
Deducción frente a Inducción
En lógica proposicional, se conocen dos modos típicos de razonamiento: el deductivo (donde se produce una deducción) y el inductivo (donde se produce una inducción). Estos se distinguen entre sí en el método que utilizan para llegar a sus conclusiones. Ambos términos provienen del latín. La palabra “inducción” nace del vocablo inductio, compuesto a su vez por las voces in- (“hacia adentro”) y ducere (“conducir”). En muchos casos, la inducción y la deducción se oponen y contraponen, aunque también pueden considerarse como métodos de razonamiento particulares y autónomos.
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. La diferencia entre un razonamiento deductivo y un razonamiento inductivo radica no solo en que uno vaya de lo general a lo particular y el otro de lo particular a lo general, sino en la fuerza de sus conclusiones. Por ejemplo, si tenemos distintas premisas, dependiendo del razonamiento que hagamos, llegaremos a una determinada conclusión.
Lea también: Guía para la deducción del ISR
Para ilustrar mejor las diferencias, presentamos la siguiente tabla:
| Razonamiento Deductivo | Razonamiento Inductivo |
|---|---|
| Es un método de razonamiento top-bottom, o sea, de arriba a abajo: a partir de premisas (tesis) generales, se obtiene una conclusión particular. | Es un método de razonamiento bottom-up, o sea, de abajo hacia arriba: a partir de premisas (tesis) particulares, se obtiene una conclusión general. |
| La conclusión se infiere necesaria y directamente de las premisas. | La conclusión es probable, pero no necesariamente cierta. |
Veamos los ejemplos para cada tipo de razonamiento:
Ejemplo de Inducción:
- Todos los cuervos vuelan y son negros. (p1)
- Todos los loros vuelvan y son negros. (p2)
- Todas las aves vuelan y son negras.
Como se puede ver, en este caso la conclusión es probable, pero no necesariamente cierta.
Ejemplo de Deducción:
- Todos los cuervos vuelan y son negros. (p1)
- Mi mascota es un cuervo. (p2)
- Mi mascota vuela y es negra.
Nociones Fundamentales de la Lógica Formal
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. 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.
La Lógica trata con proposiciones. Una proposición es una frase a la que podemos atribuir sin ningún género de duda un valor de certeza o falsedad. Esto elimina todas las frases que no sean objetivamente catalogables en cierto momento como verdad o mentira, es decir, muchísimas afirmaciones de filósofos y pensadores de todos los tiempos que tienen que ver con la divinidad, la naturaleza humana, la moral, etc.
Lea también: Consideraciones sobre la Deducción de IVA en México
La Lógica formal no entiende nada acerca de si una proposición individual es verdadera o falsa. No tiene ni la menor idea de si p o q son verdaderas o falsas, ni le importa, ni le interesa lo más mínimo. Sin embargo, asegura la Lógica que, por ejemplo, si tenemos la proposición (p•q), esa proposición compleja sólo será cierta si tanto p como q son ciertas, y en cualquier otro caso, p•q es falsa. Entonces, ¿quién es el responsable de fijar en cada caso si p o q son verdaderas o falsas? Nosotros, desde luego. No “La Lógica”, sino nuestra percepción o nuestro conocimiento o nuestras costumbres o lo que sea. Para fijar qué proposiciones son ciertas y cuáles falsas están otras disciplinas filosóficas (Ética, Moral, Ontología, etc), o científicas (Termodinámica, Trigonometría, Floricultura, Cromodinámica cuántica, etc).
En este aspecto la Lógica es como la Matemática: ésta última permite transformar ecuaciones en base a una serie de reglas (por ejemplo, los axiomas de Peano) sin entrar a descifrar su significado. La Matemática garantiza que todas las transformaciones matemáticas realizadas son correctas, así que si las ecuaciones iniciales son verdaderas, entonces la conclusión lo es también. Pues lo mismo ocurre con la Lógica. Dadas una serie de proposiciones iniciales combinadas de cierta manera, por complicada que ésta sea, la Lógica (que no deja de ser una rama de la Matemática) nos dice cómo podemos transformarlas y nos asegura qué les ocurre a las proposiciones que con ellas se forman, según sea el valor de verdad o falsedad de esas proposiciones iniciales… valor de certeza o falsedad que tienen que proporcionar otras personas u otras ciencias.
Un enunciado particular en lógica puede ser una Tautología o una Contradicción. Una Tautología es una proposición lógica que es siempre verdad, cualesquiera sean los valores de verdad de las proposiciones atómicas que la componen. Por ejemplo, la frase “Hace calor O No hace calor”, es una tautología: tanto da si hace calor como si no, la frase resultante es obviamente cierta. El caso contrario, cuando una proposición lógica es intrínsecamente falsa, independientemente de los valores de verdad de las proposiciones atómicas individuales que la forman, se llama Contradicción. “Llueve Y no llueve” es una contradicción: pase lo que pase en la calle, es falsa.
El Teorema de la Deducción
Se conoce con el nombre de teorema de la deducción, en el ámbito de la lógica proposicional, la de primer orden y otros sistemas formales, a un metateorema que se usa con mucha frecuencia para llevar a cabo la demostración de otro.
Deducción Natural: Un Modelo Normativo del Razonamiento
En la enseñanza de la lógica formal, una de las cuestiones centrales no es únicamente qué reglas permiten derivar una fórmula desde un conjunto de premisas sino cómo se forma un razonador capaz de comprender, justificar y aplicar correctamente esas reglas en contextos diversos. Si bien para muchos, enseñar deducción natural puede consistir simplemente en transmitir un algoritmo o una técnica operativa, a nuestro juicio, debería consistir en formar una práctica intelectual en la que se aprende a distinguir con rigor entre suposiciones legítimas, consecuencias lógicas y pasos inferenciales válidos.
En este sentido, el sistema de deducción natural representa algo más que un conjunto de procedimientos formales: es un modelo normativo del razonamiento, una herramienta que permite hacer explícitas las condiciones bajo las cuales una conclusión puede decirse justificada desde ciertas premisas. En términos generales, 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 que luego se extienden a otros.
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. En otras palabras, se trata de un tipo de cálculo perteneciente a la familia de los llamados cálculos tipo Gentzen.
Alonso (2011) distingue entre 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; y, por otro lado, los cálculos tipo Gentzen que 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 (Alonso, 2011, pp. 89-90). 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. Así, los sistemas del tipo Gentzen permiten derivar teoremas a partir de un conjunto vacío de fórmulas como también permiten establecer conclusiones a partir de conjuntos arbitrarios de fórmulas (Alonso, 2011, p. 90). 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.
La estructura básica de este cálculo deductivo se apoya en reglas de introducción y eliminación para cada conectiva lógica. Solo por poner un 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.
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:
- (i) no exige memorizar axiomas abstractos;
- (ii) como tampoco aplicar transformaciones opacas.
- (iii) permite seguir el hilo argumental de la inferencia paso a paso y evita que se den tanto errores o falacias como saltos injustificados;
- (iii) 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.
Otra virtud central de este enfoque radica en: (iv) su capacidad para captar la dimensión constructiva del razonamiento lógico; permite ver cómo, a partir de ciertos enunciados dados, puede derivarse legítimamente una conclusión u otra/s proposición/es. Esta estructura busca reflejar, con mayor fidelidad, la dinámica real del razonamiento humano: partimos de datos dados, premisas, y buscamos argumentar en secuencias justificadas para extraer conclusiones en función del curso de la inferencia.
Cuando nos proponemos desarrollar cierta conciencia normativa donde cada paso de una derivación esté debidamente justificado por una regla explícita, comprensible y accesible, la deducción natural nos permite representar el razonamiento como una construcción progresiva y controlada en la que la validez de cada paso se define por su forma lógica más que por intuiciones informales. Asimismo, esta perspectiva también 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 afuera, desde un punto de vista externo. 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 (Nisbett, 2016). En su análisis de las reglas de inferencia, Marraud (2011) enfatiza que estas no deben entenderse como simples mecanismos de transformación simbólica sino como dispositivos que orientan la corrección de los pasos inferenciales dentro de una práctica discursiva. La lógica, en este sentido, no sólo formaliza relaciones, sino que prescribe formas legítimas de pasar de unas proposiciones a otras (Marraud, 2011, p. 187 y ss.), lo cual refuerza su valor formativo en la enseñanza de la argumentación.
Alcances y Limitaciones de la Deducción Natural
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. Si bien esta relevancia epistemológica y práctica se manifiesta de manera distinta en cada disciplina, comparte un fundamento común, a saber: la necesidad de contar con procedimientos explícitos que orienten la evaluación racional de las inferencias.
Desde la perspectiva filosófica, la deducción natural constituye una herramienta central para el análisis lógico de los argumentos en tanto permite representar de manera sistemática la transición de premisas a conclusiones. A diferencia de otros sistemas, su estructura proporciona un marco más intuitivo y flexible en el que se hace posible reconstruir con precisión la forma lógica de razonamientos complejos. Allí, si bien la función es descriptiva, también es regulativa: orienta la corrección inferencial lo cual es esencial para toda práctica filosófica comprometida con la claridad conceptual y la coherencia lógica.
En el ámbito jurídico, la deducción natural adquiere un valor metodológico particular en la medida en que permite clarificar la estructura interna de las argumentaciones normativas. El razonamiento jurídico no se agota en la mera aplicación mecánica de normas, pues requiere justificar las decisiones a través de cadenas inferenciales que conecten principios, reglas y hechos relevantes del caso. En ese contexto, la deducción natural ofrece un modelo formal útil para reconstruir la validez de dichos razonamientos, ya sea en el plano doctrinal, jurisprudencial o constitucional. Por ejemplo, al analizar una sentencia, puede preguntarse si la conclusión (el fallo) se sigue de manera válida de las normas aplicadas y de la interpretación adoptada de los hechos, si se ha probado lo que concluye, lo cual supone -al menos idealmente- un recorrido inferencial normativamente controlado.
Más aún, permite formalizar no sólo derivaciones desde normas a consecuencias, además puede revisar las relaciones entre las proposiciones normativas mismas, lo que resulta relevante para debates sobre coherencia normativa, lagunas del sistema o conflictos de normas. La posibilidad de representar con claridad la estructura inferencial de una decisión contribuye a la transparencia del razonamiento judicial, lo cual es un requisito básico del principio republicano de publicidad y del ideal deliberativo de racionalidad pública. Así, lejos de pensar que su valor reside únicamente en su formalismo, puede verse su capacidad para articular prácticas de justificación racional mediante reglas explícitas, públicas y replicables, condiciones todas ellas necesarias tanto para la crítica filosófica como para la legitimidad jurídica.
Una de las limitaciones más relevantes de este sistema que está dentro del enfoque sintáctico de la enseñanza de la lógica radica en que su dominio técnico, por sí solo, no garantiza una mejora efectiva en las capacidades reales de razonamiento. En otros términos, muchos de aquellos que pasaron por un curso de lógica y aprendieron solo eso, es probable que puedan hacer complejas deducciones con una larga cadena de pasos pero fallen al responder sobre problemas simples como el de la pelota y la paleta que plantea Kahneman (2011). Aunque estos sistemas formales proporcionan un modelo riguroso, su aplicación está limitada a contextos ideales de razonamiento controlado. De modo que, la lógica formal especifica condiciones de corrección pero no explica cómo efectivamente razonan los seres huma.
tags: #deduccion #definicion #en #logica