Consecuencia lógica contextual y razonamiento informal

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