Bases para una concepción informacional de la lógica

Ponente(s): Alejandro Javier Solares Rojas

En este trabajo mostraré cómo luce una lógica partiendo de nociones básicas de carácter informacional. En particular, especificaré cuáles son las propiedades que se inducen en la relación de consecuencia lógica. Para ello, examino, evalúo e integro en un enfoque armónico diversas concepciones teórico-informacionales clásicas y contemporáneas. Hecho esto, pretendo mostrar la fertilidad de mi enfoque para afrontar una puntual gama de problemas. Mi hipótesis es que una concepción de la lógica basada genuinamente en nociones informacionales, al considerar (siguiendo a Barwise 1989) que inferir es una actividad realizada por agentes corpóreos, limitados y situados en un entorno explotable de distintas maneras, permite: I. Capturar las colecciones de argumentos válidos de, al menos, las lógicas proposicionales clásica, intuicionista, relevante y paraconsistente. II. Capturar la intensión de las conectivas estándar de cada uno de estos sistemas. III. Afrontar satisfactoriamente las paradojas de Cohen-Nagel y de Bar-Hillel-Carnap, el “escándalo de la deducción” y “el problema de la omnisciencia lógica”.