Abstract
La aplicación de la lógica de primer orden a la evaluación y justificación de argumentos
encuentra severas dificultades frente a algunas de las características del razonamiento informal.
Particularmente, es posible observar la limitación que encuentran los sistemas de deducción
natural al emplearse sobre el razonamiento con argumentos en el ámbito informal. La noción
de consecuencia lógica tras la mayoría de tales sistemas no siempre permite recoger mediante
el aparato formal que en ella se maneja algunas inferencias aparentemente correctas o
razonables.
En este trabajo nos proponemos explorar nociones de consecuencia lógica y posibles
formalizaciones de la misma que reelaboren las reglas deductivas en el marco de lógicas
contextuales de manera tal que sea posible aplicarlas a la justificación de deducciones en
dominios de información específica.