Aplicación de modelos de inferencia no estándar al razonamiento común. Un enfoque desde de la filosofía de la lógica.

El objetivo general de este proyecto apunta al estudio de nuevos enfoques de la inferencia lógica, cuyas justificaciones se han buscado en las estructuras matemáticas subyacentes. Así como la lógica proposicional clásica se apoya en un álgebra de Boole, la inferencia que se basa en el flujo de la información lo hace en un álgebra de Heyting, que puede justificar a la inferencia heterogénea. Pero también hay estructuras algebraicas que apoyan otros tipos de inferencias no clásicas, como la de la lógica difusa-fuzzy logic. Los modelos sobre retículos ortocomplementados se utilizan en el enfoque llamado CHC (por Conjectures, Hypotheses and Consequences). Modelos basados también en fuzzy logic sostienen el enfoque denominado "Computing with words", a partir del cual se ha encarado un amplio programa de investigación sobre el razonamiento común. Por otra parte, una de las tareas más importantes de la filosofía es vincular los avances científicos en distintos campos con el actuar humano cotidiano, y en ese sentido intentaremos mostrar que la psicología del razonamiento juega un rol importante en el avance del conocimiento en este ámbito, si se consigue de algún modo integrar sus desarrollos con los de la filosofía de la lógica. Resultados recientes de investigaciones sobre la inferencia (tanto formal-deductiva como no deductiva y de sentido común) coinciden en afirmar que esta responde a mecanismos específicos y que aparentemente son fruto de la evolución como especie. Se intentará explicitar si hay alguna forma de inferencia lógica en esos mecanismos y también analizar qué relaciones crea lo anteriormente indicado con posiciones en filosofía de la matemática y con la filosofía de la lógica. En particular se tratará de afianzar una interacción en ambos sentidos, esto es, desde la filosofía hacia otras disciplinas y de estas a su vez hacia la filosofía, en particular hacia la filosofía de la lógica y de la matemática, áreas de especial competencia de los investigadores comprendidos en el proyecto. De este modo, junto a lo antes señalado, se estudiarán aspectos filosóficos de nuevos modelos inferenciales, que tienen una motivación más amplia respecto a la formalización de la inferencia lógica. Al mismo tiempo, se aplicarán enfoques y metodologías recientemente propuestas en el ámbito de la inteligencia artificial al estudio de problemas filosóficos tradicionales, tales como el estudio de la inferencia de sentido común.

Palabras Clave

Cronología