Inferencia y análisis lógico conceptua

Tipos de inferencia (razonamientos o argumentos lógicos)

a. Inferencia deductiva: Es aquella que marca una necesidad lógica-formal de una afirmación a otra. Sus premisas pretenden ser contundentes a favor de la conclusión.
b. Inferencia no deductiva: Es aquella que no marca una necesidad lógica-formal de una afirmación a otra. Es más débil y sus premisas no son tan contundentes a favor de la conclusión.
Más adelante se abordan a detalle este tipo de procesos inferenciales analíticos.

Argumentos o Razonamientos Deductivos: RD

Razonamiento o Argumento Deductivo (Infalible): Es el tipo de razonamiento en el que sus premisas suministran fundamentos de prueba a favor de su conclusión, sus premisas proveen bases contundentes, sólidas, concluyentes, absolutas, sin excepciones posibles, a favor de su conclusión.

En el argumento deductivo la conclusión es necesariamente verdadera si se suponen verdaderas las premisas, la demostración es infalible, la inferencia es fuerte. En síntesis, las premisas garantizan plenamente a la conclusión, por lo que el razonamiento deductivo es válido si las pretensiones mencionadas se cumplen e inválido en caso contrario.

Ejemplos de razonamiento deductivo válido

*Sólo comes dos frutas, peras y plátanos. Puesto que no hay peras y dado que estás comiendo fruta, lo que estás comiendo es un plátano.

*Todos los libros contienen información, todo lo que contiene información es útil, por lo tanto todos los libros son útiles.

El concepto de validez en el razonamiento deductivo se refiere al cumplimiento o no de la pretensión de fundamentación, es decir, alude a la forma de construcción lógica, no al contenido. Por tanto, decir que un argumento deductivo es válido equivale a decir que es lógicamente imposible que si sus premisas son verdaderas la conclusión sea falsa. La validez alude a la verdad o falsedad en el plano del lenguaje, no al mundo real.


Ejemplos de argumentos deductivos válidos:
Todas las mujeres son gatos; todos los gatos son hombres
Por lo tanto Todas las mujeres son hombres.
Ningún mamífero es ave; los perros son mamíferos

Por lo tanto Los perros no son aves.
Si todo es causado entonces nadie actúa libremente, sabemos que todo es
Causado, por lo tanto De aquí inferimos que nadie actúa libremente.

Análisis lógico formal

Está basado en la parte estructural del lenguaje, el cual tiene que ver con ciertas estructuras que "ya se sabe" son correctas como procesos inferenciales. En este nivel analítico lo más importante será reconocer las estructuras correctas para asegurar el proceso.

Ejemplo:
Si llueve, entonces habrá buena cosecha. Si llegara a llover inferimos que habrá buena cosecha.

En el ejemplo, el compromiso no es empírico, no es que efectivamente lloverá, ni tampoco que habrá buena cosecha, sino sólo que si llegara a pasar lo primero, lo segundo tendrá que darse.

Como se ve aquí, lo más importante es reconocer las estructuras correctas que llevan a formas de argumentos correctos, por lo que el análisis formal implica en sí análisis de argumentos.