Ideas acerca de una teoría de la demostración para una reconstrucción de razonamientos revocables

Abstract

David Poole presentó, en (Poole 88). una fonna de reconstruir algunos razonamientos revocables, en particular aquellos que incluyen la aplicación de enunciados de normalidad o defaults del tipo "normalmente, las aves vuelan" o "por lo general, los oficinistas son gente sedentaria". Poole caracteriza a su propuesta como un "marco lógico". En vez de construir una nueva lógica y definir una relación de consecuencia o un concepto de demostración en los que se refleje la relación entre premisas y conclusión de los razonamientos revocables, opta por definir nuevos tipos de relaciones entre fórmulas, fragmentando al conjunto de premisas de acuerdo al aporte que puede hacer cada una en el razonamiento.1 Describiré brevemente la versión simplificada que aparece en (Poole 88).