Argumentación deductiva con diagramas y árboles de forzamiento.

Este trabajo se encuentra orientado hacia la argumentación deductiva. Se enfatiza la presen-tación visual con diagramas y se utilizan los árboles de forzamiento semántico como he-rramienta integradora de los aspectos deductivos, semánticos y argumentativos.
En el capítulo1, diagramación de argumentos, se presenta la técnica de construcción del diagrama asociado a un pasaje argumentativo dado. Un diagrama es una representación grá-fica del argumento, de tal forma que, basta con un vistazo para determinar cuál es la con-clusión y de qué forma las premisas conducen a ella. Con los diagramas se busca presentar de manera precisa y detallada la forma como se articula un razonamiento.
En el capítulo 2, representación simbólica de la información, se presenta un lenguaje for-mal no ambiguo con el cual se representa la información dada en un pasaje argumentativo. Además de definir los conceptos fundamentales de la semántica del cálculo proposicional clásico tales como: argumento, validez, invalidez, contra-argumento y valor de verdad, se ilustra el transito del pasaje argumentativo al argumento simbólico y de éste al diagrama deductivo. También se muestra cómo pasar de un diagrama deductivo a una presentación deductiva de tipo argumentativo en el lenguaje natural.
En el capítulo 3, árboles de forzamiento semántico clásico, se presentan los árboles de for-zamiento semántico con los cuales se analiza la validez de argumentos previamente re-presentados simbólicamente. Se ilustra cómo, a partir del árbol de forzamiento asociado a un argumento válido, se construye un diagrama deductivo el cual a partir de las premisas demuestra la conclusión. Se ilustra cómo, a partir del árbol de forzamiento asociado a un argumento inválido, se construye un diagrama deductivo el cual demuestra que en algún ca-so concreto las premisas pueden ser ciertas pero la conclusión no.
En el capítulo 4, sistema deductivo para la lógica clásica, se presenta un sistema deductivo naturalmente asociado a los árboles de forzamiento semántico. Se demuestra la equivalen-cia deductiva de este sistema con los sistemas tradicionales para el cálculo proposicional clásico. Se demuestra que el sistema deductivo presentado es caracterizado por los árboles de forzamiento. Se ilustra cómo se construye una prueba formal utilizando este sistema, y cómo se construye un diagrama deductivo a partir de la prueba formal.