INSTITUTO TECNOLGICO SUPERIOR ZACATECAS OCCIDENTE

Proceso del razonamiento segn la lgica

Juan Antonio Amador Barajas
Inteligencia Artificial

17/02/2012

ndice Marco terico ....................................................................... 2 Marco conceptual ................................................................ 3 Proceso del razonamiento segn la lgica ........................ 4
Tipos de lgica ......................................................................................................................... 4 La habilidad humana del razonamiento................................................................................. 4 Pasos y preceptos del razonamiento:.................................................................................... 5

Conclusiones ....................................................................... 7 Bibliografa .......................................................................... 7

Proceso de razonamiento segn la lgica

Marco terico
El trmino razonamiento se define de diferente manera segn el contexto, normalmente se refiere a un conjunto de actividades mentales consistentes en conectar unas ideas con otras de acuerdo a ciertas reglas o tambin puede referirse al estudio de ese proceso. En sentido amplio, se entiende por razonamiento la facultad humana que permite resolver problemas. Se llama tambin razonamiento al resultado de la actividad mental de razonar, es decir, un conjunto de proposiciones enlazadas entre s que dan apoyo o justifican una idea. El razonamiento se corresponde con la actividad verbal de argumentar. En otras palabras, un argumento es la expresin verbal de un razonamiento. El razonamiento lgico se refiere al uso de entendimiento para pasar de unas proposiciones a otras, partiendo de lo ya conocido o de lo que creemos conocer a lo desconocido o menos conocido. Se distingue entre razonamiento inductivo y razonamiento deductivo. A veces se define el razonamiento como la capacidad de partir de ciertas proposiciones o ideas previamente conocidas (premisas) y llegar a alguna proposicin nueva (conclusin) previamente no conocida de modo explcito. Este tipo de definicin se corresponde ms o menos con el razonamiento lgico deductivo. Sin embargo, se considera que en la habilidad humana de argumentar, razonar y rebatir intervienen igualmente la imaginacin, las percepciones, los pensamientos y los sentimientos, siendo los razonamientos de los seres humanos raramente de tipo lgico-deductivo. En este sentido ms amplio el razonamiento no slo es cuestin de la lgica, sino tambin de la filosofa, la psicologa o la inteligencia artificial.

Marco conceptual
Razonamiento: En sentido amplio, se entiende por razonamiento a la facultad que permite resolver problemas, extraer conclusiones y aprender de manera consciente de los hechos, estableciendo conexiones causales y lgicas necesarias entre ellos. (Ruiz Limn, 2007) Lgica: La lgica es una ciencia formal y una rama de la filosofa que estudia los principios de la demostracin e inferencia vlida. (Correa, 2006) Razonamiento lgico: En un sentido restringido, se llama razonamiento lgico al proceso mental de realizar una inferencia de una conclusin a partir de un conjunto de premisas. (Ruiz Limn, 2007) Premisa: En lgica, una premisa es cada una de las proposiciones anteriores a la conclusin de un argumento. (Audi, 2004) Deduccin: En lgica, una deduccin es un argumento donde la conclusin se infiere necesariamente de las premisas. (Audi, 2004) Afirmacin del consecuente: En lgica, la afirmacin del consecuente, tambin llamado error inverso, es una falacia formal que se comete al razonar segn la siguiente forma argumental: 1. Si A, entonces B 2. B 3. Por lo tanto, A Los argumentos de esta forma son invlidos, porque la verdad de las premisas no garantiza la verdad de la conclusin: podra ser que las premisas fueran todas verdaderas y la conclusin an as sea falsa. Por ejemplo, el siguiente argumento tiene la forma de una afirmacin del consecuente: 1. Si est nevando, entonces hace fro. 2. Hace fro. 3. Por lo tanto, est nevando. Aun cuando ambas premisas sean verdaderas, la conclusin podra ser falsa, porque no siempre que hace fro est nevando. (Audi, 2004)

Proceso del razonamiento segn la lgica Tipos de lgica

Un razonamiento es un modelo que tiene una serie de premisas y de conclusiones. Cuando en una situacin se verifican todas las premisas, entonces es posible aceptar como ciertas a las conclusiones. La lgica ms conocida es la lgica bivalente que admite solamente dos valores: CIERTO y FALSO. Pero tambin est la lgica trivalente, con tres valores posibles: CIERTO, FALSO, y DUDOSO o INCIERTO. Tambin est la lgica probabilstica, con sucesos que pueden cumplirse o no, y de los que nicamente se sabe su posibilidad o probabilidad de cumplimiento. Tambin estn las lgicas abiertas o del sentido comn. Como se puede observar, saliendo de la tradicional lgica bivalente las cosas se complican.

La habilidad humana del razonamiento

La habilidad humana del razonamiento se compone de diversos componentes: 1. Razonamiento lgico o quasi-lgico, que incluira el razonamiento deductivo y el razonamiento inductivo. 2. Razonamiento no-lgico, que tendra que ver con el uso e interpretacin del lenguaje, la lgica difusa, los sentimientos, etc. 3. Razonamiento cuantitativo, relacionado con la habilidad de comparar, comprender y sacar conclusiones sobre cantidades, conservacin de la cantidad, etc. El cociente de inteligencia, por ejemplo, medido por test no lingsticos, es una combinacin de razonamiento cuantitativo y razonamiento lgico. Es un hecho constatado que aunque estos tres tipos de razonamiento estn presentes en todos los seres humanos, el nivel alcanzado en cada uno presenta cierta variacin en funcin de la educacin, el entorno y la gentica. El razonamiento lgico Es un proceso discursivo que sujeto a reglas o preceptos se desarrolla en dos o tres pasos y cumple con la finalidad de obtener una proposicin de la cual se llega a saber, con certeza absoluta, si es verdadera

falsa. Adems cada razonamiento es autnomo de los dems y toda conclusin obtenida es infalible e inmutable (El imperialismo monetario de EEUU, 2009)

Pasos y preceptos del razonamiento:

El primer paso: Consiste en formular una implicacin lgica con dos premisas o proposiciones [P] y [Q] relacionadas en la forma {SI(=IF) [P] ENTONCES [Q]}. Preceptos del primer paso: La implicacin lgica que se formule ser vlida, siempre y cuando se cumpla con los dos preceptos siguientes: 1. Que la premisa antecedente [P], la premisa consecuente [Q] y la implicacin lgica {SI(=IF) [P] ENTONCES [Q]} posean, por s mismas, significado y sentido. 2. Que la implicacin lgica {SI(=IF) [P] ENTONCES [Q]} sea de la forma DEDUCTIVA, lo cual nicamente ocurre si la premisa antecedente [P] implica (lleva en si misma contiene) a la premisa consecuente [Q], y sta a su vez es implicada (contenida en forma total) por la primera. Observacin: La implicacin lgica ser invlido si la premisa antecedente no implica a la consecuente, aunque sta implique a la primera (implicacin de forma INDUCTIVA). El segundo paso: Consiste en obtener las dos proposiciones que surgen de la implicacin lgica al realizar las dos inferencias correspondientes a sus modos vlidos: el "modus ponens" ( modo de poner) y el "modus tollens" ( modo de sacar). Preceptos del segundo paso: 1. La proposicin que se infiere segn el "modus ponens" es la afirmacin de la premisa consecuente {SI(=YES)[Q]}, que surge de la implicacin lgica {SI(=IF)[P] ENTONCES [Q]} al postular como verdad la afirmacin de la premisa antecedente {SI(=YES)[P]}. Y si sta ltima proposicin {SI(=YES)[P]} hubiese resultado ser indefectiblemente verdadera por un razonamiento vlido anterior, entonces la proposicin inferida {SI(=YES) [Q]} resulta ser indefectiblemente verdadera y el razonamiento concluye en esta instancia. 2. La proposicin que se infiere segn el "modus tollens" es la negacin de la premisa antecedente {NO [P]} que surge de la implicacin lgica SI(=IF){NO [Q]} ENTONCES {NO [P]} al postular como verdad la negacin de la

premisa consecuente {NO [Q]}. Y si sta ltima proposicin: {NO [Q]} hubiese resultado ser indefectiblemente verdadera por un razonamiento vlido anterior, entonces la proposicin inferida {NO [P]} resulta ser indefectiblemente verdadera y el razonamiento concluye en esta instancia.

Observaciones: 1. Los dos modos de inferencia vlidos en los razonamientos lgicos son: El "modus ponens" (el modo de poner) que resulta de postular como verdad la afirmacin de la premisa antecedente {SI(=YES)[P]} y del cual se infiere {SI(=YES)[Q]}; y el "modus tollens" (el modo de sacar) resultante de postular como verdad la negacin de la premisa consecuente {NO [Q]} del cual se infiere {NO [P]} 2. NO son vlidas las otras dos variantes posibles de inferencia, las cuales conducen a las denominadas falacias: Una "por negacin del antecedente {NO [P]}" de la cual NO es vlido inferir {NO [Q]}; y la otra falacia "por afirmacin del consecuente {SI(=YES)[Q]}" y de la cual NO es vlido inferir {SI(=YES) [P]}. El tercer paso: Conduce al resultado final de todo razonamiento vlido que no hubiese concluido en el paso anterior, y consiste en determinar en forma infalible, cul de las proposiciones {SI(=YES) [P]} {NO [P]} es la VERDADERA y cul la FALSA. Preceptos del tercer paso: 1. La afirmacin de la premisa antecedente {SI(=YES) [P]} ser INDEFECTIBLEMENTE FALSA si por un razonamiento anterior se hubiese demostrado FALSA la afirmacin de la premisa consecuente {SI(=YES) [Q]}. 2. La negacin de la premisa antecedente {NO [P]} ser INDEFECTIBLEMENTE VERDADERA, excepto cuando la negacin de la premisa consecuente {NO [Q]} resultase un ABSURDO, en cuyo caso la negacin de la premisa antecedente {NO [P]} ser INDEFECTIBLEMENTE FALSA. (Ferro, 2007)

Conclusiones
El razonamiento es una capacidad distintiva del ser humano as como tambin los sentimientos, son estos sentimientos los que se dejan de lado al utilizar el razonamiento segn la lgica ya que cada ser humano los interpreta de diferente manera por lo tanto no se consideran premisas concretas. Este tipo de razonamiento seria adoptado perfectamente por las maquinas con inteligencia artificial, ya que consiste en hacer una serie de pruebas y comparaciones a dos o ms premisas teniendo como resultado una verdad absoluta. En conclusin y basndome en lo plasmado en sta investigacin una maquina si es capaz de razonar, dando lugar a una inteligencia artificial capaz de analizar una serie de premisas lgicas tendiendo como resultado una conclusin tambin lgica y adems irrefutable.

Bibliografa
Audi, R. (2004). The cambridge dictionary of philosophy. Estados Unidos: Cambridge University Press. Correa, M. (2006). La actualidad de la lgica de Aristoteles. El imperialismo monetario de EEUU. (6 de enero de 2009). El imperialismo monetario de EEUU. Recuperado el 17 de Febreto de 2012, de El imperialismo monetario de EEUU: http://monetarismo.ngblogs.com.uy/ Ferro, J. M. (9 de Agosto de 2007). La ciencia lgica. Recuperado el 17 de Febrero de 2012, de La ciencia lgica: http://www.mailxmail.com/cursociencia-logica/razonamiento-logico Ruiz Limn, R. (2007). Qu es el razonamiento? Mxico.