El giro dinámico en lógica: Un programa de investigación interdisciplinar

Ponente: Ángel Nepomuceno (Universidad de Sevilla)

Fecha: 10 de noviembre, 12hrs

Lugar: Sala de Investigadores Fernando Salmerón, Instituto de Investigaciones Filosóficas, UNAM

Resumen: En el siglo XX se ha producido en lógica un giro dinámico, tras el cual hay un cambio de la concepción del lenguaje y la semántica que lleva aparejado un cambio en la propia concepción de la lógica. Esta disciplina pasa a ser considerada como teoría de la transmisión de información e interacción inteligente entre agentes, que proporciona un nutrido grupo de elementos para el estudio de actos de observación, inferencia y comunicación, al tiempo que permite manejar tanto la actualización del conocimiento como la revisión de creencias. Las Ciencias de la Computación han contribuido al desarrollo de algunos aspectos de la noción de información, centrándose en el análisis sintáctico (y físico) de la información. El programa de investigación Dinámica Lógica de la Información y la Comunicación(DLIC) se propone diseñar medios formales y computacionales para el tratamiento de la información y cómo deben tratarla los agentes inteligentes, naturales o artificiales, llegando a constituir una de las tendencias destacables de la actual investigación humanística y científica.

Presentación.

Grupo de Investigación en Lógica, Lenguaje e Información: enlace.

Paradigma negativo evidencial: una aproximación lógica.

Ponente: Cristina Barés (Universidad de Sevilla)

Fecha: 13 de octubre, 12hrs

Lugar: Sala de Investigadores Fernando Salmerón, Instituto de Investigaciones Filosóficas, UNAM

Resumen: En este trabajo me centro en las evidencias negativas en la argumentación científica. Considero las evidencias como hechos sorprendentes y me centro en los casos de evidencias negativas que desencadenan una inferencia abductiva. El estudio de las prácticas reales de los agentes nos muestran diferentes tipos de negación que nos pueden ayudar a comprender lo que he llamado evidencias negativas. Este es un estudio de las diferentes negaciones que encontramos en las lenguas naturales partiendo de aparentes contradicciones en lenguas no indoeuropeas que nos abren las perspectivas a otro tipo de negaciones. Planteo la existencia de un paradigma negativo evidencial en las lenguas naturales usando lógica dinámica epistémica y su aplicación al estudio de las evidencias negativas en los razonamientos abductivos.


Presentación.