Inducción y Deducción

Inducción

En el ámbito de la lógica, el principio de inducción es un razonamiento que permite demostrar una infinidad de proposiciones, o una pro a un tipo de razonamiento en donde se obtienen conclusiones tan sólo probables (concepción más moderna). La inducción matemática es un caso especial, donde se va de lo particular a lo general y, no obstante, se obtiene una conclusión necesaria. Típicamente, el razonamiento inductivo se contrapone al razonamiento deductivo, que va de lo general a lo particular y sus conclusiones son necesarias .

Deducción

Deducción o método lógico deductivo es un método científico que, a diferencia de la inducción, considera que la conclusión está implícita en las premisas. Es decir que la conclusión no es nueva, se sigue necesariamente de las premisas. Si un razonamiento deductivo es válido y las premisas son verdaderas, la conclusión sólo puede ser verdadera. En la inducción, la conclusión es nueva, no se sigue deductivamente de las premisas y no es necesariamente verdadera. Responde al razonamiento deductivo que fue descrito por primera vez por filósolos de la antigua grecia, en especial Aristóteles. Su principal aplicación se realiza mediante el método de extrapolación.
Opuestamente al razaonamiento inductivo en el cual se formulan leyes a partir de hechos observados, el razonamiento deductivo infiere esos mismos hechos basándose en la ley general. Según Bacon la inducción es mejor que la deducción porque mientras que de la inducción se pasa de una particularidad a una generalidad, la deducción es de la generalidad.
Se divide en:

Método deductivo directo de conclusión inmediata: Se obtiene el juicio de una sola premisa, es decir que se llega a una conclusión directa sin intermediarios.
Método deductivo indirecto o de conclusión mediata: La premisa mayor contiene la proposición universal, la premisa menor contiene la proposición particular, de su comparación resulta la conclusión.

Un ejemplo:

Todos los hombres son libres.
Aristóteles es un hombre.

Por lo tanto se infiere que Aristóteles es libre

Otro Ejemplo:

Dios es Amor
El amor es ciego
Mi vecino es ciego

Entonces, Mi vecino es Dios