Conferencias de la Universidad Nacional de Córdoba, IX Encuentro AFHIC / XXV Jornadas Epistemología e Historia de las Ciencias

Tamaño de fuente: 
Dos tradiciones en la lógica por defecto
Andrés Badenes

Última modificación: 12-08-2014

Resumen


La consecuencia lógica de la versión original de la lógica por defecto (Reiter 1980) no cumple con monotonía cautelosa. Diversas adaptaciones se presentaron para solucionar ese problema y mantener las ventajas de aquel sistema. Inicialmente se modificó el concepto de extensión imponiendo restricciones sobre la regla por defecto. Luego, se reparó en el proceso de manipulación de los conflictos entre reglas derrotables. Dos nuevas versiones surgieron teniendo presente ese tipo de conflicto y admitiendo una interpretación no clásica de la lógica por defecto: una trivalente e intuicionista (Antonelli 2005), otra tetravalente y relevante (Bochman 2005). Comparo esas dos nuevas versiones y muestro sus ventajas.


Palabras clave


lógica por defecto; razonamiento no monotónico; lógica clásica; lógica intuicionista; lógica relevante