LOGICAS CONDICIONALES Y RAZONAMIENTO DE

Descripción

DOS VERTIENTES PREDOMINANTES EN LA LGICA FILOSFICA CUESTIONARON DURANTE LA DCADA DE 1980 LA CONCEPCIN DE LOS CONDICIONALES. POR UN LADO LA FILOSOFA DE LA LGICA Y DEL LENGUAJE SOSTUVO UNA CRTICA AL CONDICIONAL MATERIAL COMO EXPRESIN FORMAL DE LOS CONDICIONALES DEL LENGUAJE NATURAL. POR OTRO LAS TEORAS DE LA INTELIGENCIA ARTIFICIAL INTRODUJERON NUEVOS FORMALISMOS PARA REPRESENTAR EL CONOCIMIENTO. EN LOGICAS CONDICIONALES SE MUESTRA POR PRIMERA VEZ EN LENGUA CASTELLANA LA CONVERGENCIA DE AMBAS VERTIENTES.UN ESBOZO HISTRICO DEL CONDICIONAL MATERIAL Y DE LOS ENFOQUES INICIALES SOBRE LOS CONDICIONALES CONTRAFCTICOS Y UNA RESEA DE LOS PRIMEROS FORMALISMOS PRODUCIDOS EN EL CAMPO DE LA INTELIGENCIA ARTIFICIAL PERMITEN CONSIDERAR EN PERSPECTIVA LA PROPUESTA GENERAL DE LA TEORA DE LA CONSECUENCIA LGICA NO MONTONA EN TANTO PATRN INFERENCIAL DEL RAZONAMIENTO DE SENTIDO COMN.FINALMENTE LA OBRA ABARCA LA PROBLEMTICA GENERADA EN TORNO A LA LGICA DE LAS NORMAS EN PARTICULAR A LAS LLAMADAS OBLIGACIONES CONDICIONALES. LA OBRA PONE EN RELACIN LAS DISTINTAS ESTRATEGIAS UTILIZADAS EN LOS SISTEMAS DE LGICA CONDICIONAL EXPUESTOS Y MUESTRA QUE UN ANLISIS DE LAS NORMAS CONDICIONALES DESDE UNA LGICA NO MONTONA ES POSIBLE.