El proceso u operación de derivar conclusiones que se siguen necesariamente de premisas dadas mediante la aplicación de reglas de inferencia dentro de un sistema lógico; la deducción produce conclusiones cuya verdad está implicada por las premisas y las reglas.

Principio

La deducción se rige por reglas de inferencia que preservan la consecuencia: si las premisas son verdaderas (o derivables) en el sistema y las reglas se aplican correctamente, entonces las conclusiones están garantizadas como verdaderas (o derivables) respecto de la semántica del sistema.

Demostración

Un paso deductivo prototípico es el Modus Ponens: a partir de 'Si P entonces Q' y 'P' se deduce 'Q'. En un cálculo de secuentes esto corresponde a transformar un secuente con P y P→Q a la izquierda en un secuente con Q a la derecha mediante la aplicación de una regla.

Aplicación incorrecta

Tratar inferencias abductivas o inductivas (inferencia a la mejor explicación o generalización a partir de muestras) como conclusiones deductivamente ciertas; cometer falacias lógicas como afirmar el consecuente o negar el antecedente y creer que la conclusión está garantizada deductivamente.

Consecuencia

El razonamiento deductivo correcto proporciona certeza (relativa a las premisas y reglas) y constituye la columna vertebral de las matemáticas formales, la verificación y los sistemas de razonamiento simbólico; permite derivar todas las consecuencias de un conjunto de axiomas dentro de un sistema formal.

Inversión

El contraste inverso es el razonamiento inductivo o abductivo: en lugar de derivar consecuencias necesarias de las premisas, se infieren leyes generales a partir de observaciones o se hipotetizan premisas que mejor expliquen conclusiones observadas — estas carecen de necesidad deductiva.

Límite

Se aplica a sistemas formales gobernados por reglas explícitas; no cubre la generalización empírica, la inferencia probabilística que produce grados de creencia, ni los saltos heurísticos/creativos no justificados por las reglas del sistema.

Tensión semántica

Existe tensión entre la deducción y otros modos de razonamiento: la deducción exige reglas que preservan la verdad y confiere certeza, mientras que la inducción y la abducción intercambian certeza por poder explicativo o predictivo ampliativo; distinguirlos es crucial metodológicamente.

Síntesis

La deducción es la transformación regida por reglas de premisas en conclusiones que están implicadas por esas premisas dentro de un sistema formal, proporcionando certeza relativa a los axiomas y reglas escogidos y contrastando con modos de inferencia ampliativos.