los sistemas lógicos a los que clasificamos como tal, no nació como un corpus cerrado, sino que se fue construyendo a lo largo de la historia. Así, la lógica clásica nace con Aristóteles, con su teoría del silogismo categórico, expuestas en los Primeros analíticos. Allí el estagirita introduce de forma implícita las nociones que van a constituir esta ciencia, a saber, las nociones de validez, la de deducción y la de inferencia.

Por su parte, los lógicos megáricos y estoicos identificaron las conectivas y algunas reglas de inferencia, dándole el primer empujón de la historia al cálculo deductivo. Destaca la introducción del antepasado de nuestro condicional material, en aquel entonces conocido como condicional filónico, y la del antepasado de nuestra implicación estricta, llamado en aquella época condicional diodórico. También introdujeron las reglas de inferencia asociadas al condicional material: Modus Ponens y Modus Tollens.

 Las palabras lógicas y lógico son familiares para todos nosotros. A menudo hablamos de una conducta lógica como contrapuesta a una conducta ilógica, de un procedimiento 'lógico' como contrapuesto a uno 'ilógico', de explicación lógica, de espíritu 'lógico', etc. En todos estos casos, la palabra lógico es usada fundamentalmente en el mismo sentido que razonable. Una persona con un espíritu 'lógico' es una persona razonable; un procedimiento 'no razonable' es aquel que- es ilógico. Puede considerarse que todos estos sentidos derivan de otro más técnico de los términos 'lógico' e 'ilógico' destinado a caracterizar razonamientos. Esta conexión se hará cada vez más clara a medida que el estudiante avance en la lectura y aumente su conocimiento del tema.

es la ciencia que expone las leyes, modos, formas y estructuras del conocimiento inferido. Que Permite obtener conclusiones, a partir de proposiciones admitidas como verdaderas, llamadas premisas. En cuanto al tema de interés, la lógica  es  aquella que opera el conocimiento, utilizando un lenguaje simbólico artificial y haciendo abstracción de los contenidos, El principal objetivo de la lógica formal es evaluar la fiabilidad de las inferencias, investigar  esquemas de razonamiento que llevan, desde las premisas a la conclusión, en un argumento lógico; para ello, se deben, de manera imprescindible, distinguir dos tipos de inferencia, cada uno de los cuales tiene unas características especiales y unos criterios de corrección; se distinguen las inferencias deductivas y las inferencias inductivas.  

inferencia deductiva Es en la que, un argumento asegura que la verdad de sus premisas, garantiza la verdad de su conclusión. El razonamiento deductivo proporciona criterios de corrección muy altos.  La inferencia deductiva logra su objetivo cuando sus premisas proporcionan un apoyo completo e indudable para la conclusión a la que se llega, o sea que es inconsistente o absurdo, suponer que, de manera simultánea, la verdad de unas premisas y la falsedad de la conclusión.  ¿Cualquier argumento que se analice o cumple con este criterio, o no lo cumple;  la validez de la inferencia deductiva es un asunto de todo o nada;  no pude ser a medias. La inferencia deductiva, permite determinar conclusiones seguras, yendo de lo general a lo particular.

Inferencia inductiva Se dice que hay inferencia inductiva cuando un argumento únicamente asegura que la verdad de sus premisas hace más probable que la conclusión sea verdadera.  Un argumento inductivo tiene éxito cuando las premisas proporcionan alguna evidencia que apoye la verdad de su conclusión. La inferencia inductiva va de lo particular hacia lo general.  “Para saber si está ante un argumento deductivo o inductivo, ¿existe una clave;  si el argumento posee un tipo de inferencia en la que se garantiza la verdad de la conclusión, a partir de la verdad de las premisas, o no se garantiza, éste será deductivo; de lo contrario, es inductivo.  

 

                                                          TUTOR

                                         IVANIA LUCIA CAICEDO BACCA

 

 

                                                           ESTUDIANTE

                                    JONATAN FABIAN NAVARRO PINZON

 

 

           ESCUELA DE CIENCIAS SOCIALES, ARTES Y HUMANIDADES (ECSAH)

                                                           FILOSOFIA

                        UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD

                                                 AGUACHICA CESAR

                                               SEPTIEMBRE DEL 2019