Razonamiento deductivo

En lógica, un razonamiento deductivo es un argumento donde la conclusión se infiere necesariamente de las premisas.^[1] En su definición formal, una deducción es una secuencia finita de fórmulas, de las cuales la última es designada como la conclusión (la conclusión de la deducción), y todas las fórmulas en la secuencia son, o bien axiomas, o bien premisas, o bien inferencias directas a partir de fórmulas previas en la secuencia por medio de reglas de inferencia.^[1]^[2] En resumen es comprender/entender(deducir) algo con base en un argumento.

Un razonamiento deductivo es «mediato» porque se efectúa siguiendo una serie de «pasos lógicos». Estos razonamientos deductivos, nos permiten referir los objetos o fenómenos estudiados a las leyes que los rigen; de igual manera, permiten descubrir una consecuencia desconocida, a partir de un principio conocido. Estos principios se consideran como premisas.

Ejemplo

Un ejemplo de razonamiento deductivo es el siguiente:^[3]

Todos los metales son maleables
El oro es un metal
Por lo tanto, el oro es maleable

La primera premisa afirma que todos los objetos clasificados como «metales» tienen el atributo «ser maleables». La segunda premisa asegura que «el oro» es clasificado como «metal» (miembro del conjunto «metales»). Por silogismo, se puede concluir entonces que «el oro» debe ser «maleable», pues hereda este atributo a partir de su clasificación como «metal». Esta forma de argumento se conoce como silogismo y en este caso tenemos la primera forma de silogismo, los griegos de la antigüedad recordaban estas formas con nombres de personas por las vocales: Esta corresponde a DARIO en la primera forma de silogismo. A: Universal Afirmativa, I: Particular Afirmativa.

Véase también

Notas y referencias

↑ ^a ^b Robert Audi (ed.). «Deduction». The Cambridge Dictionary of Philosophy (en inglés) (2nd Edition). Cambridge University Press.
↑ Véase la sección «1.4 An Axiom System for the Propositional Calculus» en Mendelson, Eliott (1997). Introduction to Mathematical Logic (4ª edición). Chapman & Hall. pp. 34-35.
↑ ESCOBAR, Gustavo. El Razonamiento. En: Lógica Nociones y Aplicaciones. 1 ed. México D.F.: McGraw-Hill. 1999. P. 153.

Datos: Q484284
Multimedia: Deductive reasoning / Q484284

[Cambridge-1] Robert Audi (ed.). «Deduction». The Cambridge Dictionary of Philosophy (en inglés) (2nd Edition). Cambridge University Press.

[Mendelson-2] Véase la sección «1.4 An Axiom System for the Propositional Calculus» en Mendelson, Eliott (1997). Introduction to Mathematical Logic (4ª edición). Chapman & Hall. pp. 34-35.

[ESCOBAR_1-3] ESCOBAR, Gustavo. El Razonamiento. En: Lógica Nociones y Aplicaciones. 1 ed. México D.F.: McGraw-Hill. 1999. P. 153.

[1]

[2]

[3]