azonamiento y argumentacion

PRESENTACIÓN
Esta segunda edición de “Notas para un curso de Lógica Formal” contiene la primera parte del material
básico para un curso de Lógica y Argumentación. Presenta los mismos temas que se cubrieron en la
primera edición, pero incluye modificaciones sugeridas de la experiencia con los estudiantes y de las
recomendaciones de algunos docentes y lectores. En una próxima edición, estematerial se
complementará con dos capítulos sobre Argumentación y falacias, como resultado de un proyecto de
investigación y desarrollo financiado por la Universidad Icesi para consolidar este curso, que forma parte
del núcleo común en sus programas de pregrado.
Las nociones de argumento (o razonamiento) y argumentación constituyen el tema de estas notas. Aquí
llamaremos “argumentar” o “razonar”al proceso de “dar razones” con el propósito de sustentar puntos de
vista, de justificar determinada solución a un problema, de obtener la adhesión de otros a cierta opinión, o
de establecer la validez de una afirmación. El texto dedica especial atención al estudio de las reglas de
inferencia en lógica formal y a los criterios de validez de razonamientos deductivos.
El capítulo 1 introduce eltema del razonamiento: concepto, algunos tipos de razonamiento, e
identificación de los elementos y estructura de un razonamiento. Posteriormente presenta la noción de
silogismo –un caso particular de razonamiento–, el criterio de validez de silogismos, y las nociones de
condición suficiente, condición necesaria, y condición necesaria y suficiente. Se cierra el capítulo con una
breve secciónsobre el tipo de problemas conocido como “problemas lógicos”
Los capítulos 2 y 3 están dedicados a la lógica simbólica (lógica proposicional y lógica de predicados de
primer orden, respectivamente) y a las técnicas de demostración. En ellos se presentan las reglas de
inferencia y el criterio de validez para los razonamientos deductivos en estos sistemas, con el propósito
de ampliar la capacidadpara analizar razonamientos desde el punto de vista de su validez, limitada en el
capítulo 1 a razonamientos silogísticos. Se presenta también la noción de razonamiento inconsistente, y
se analizan las consecuencias que se derivan de esta clase de razonamientos. En su parte final se
aborda el tema de la demostración formal, mediante una breve presentación de las técnicas más usuales
dedemostración en matemáticas y de su relación con la Lógica formal. Se busca que el lector se
familiarice con la escritura y comprensión de pruebas ya establecidas y que pueda elaborar sus propias
pruebas de resultados sencillos pero importantes. Esto, como primera aproximación a la demostración en
matemáticas, tal vez el aspecto más característico de esta rama del conocimiento.
Esperamos que elaprendizaje de los temas aquí considerados represente un doble beneficio para el
estudiante que inicia su formación universitaria: En primer lugar, que contribuya al fortalecimiento de su
capacidad de estudio sistemático y le genere respeto por el rigor intelectual, e inclinación hacia el trabajo
académico serio. Aquí encontrará que la lógica es mucho más que “Tablas de verdad”, y que paracomprender y aprender los temas desarrollados debe leer cuidadosa y críticamente cada concepto, cada

2
regla, cada ejemplo, y resolver oportunamente los ejercicios propuestos. En segundo lugar, que le ayude
a diferenciar los razonamientos válidos de los razonamientos no válidos, a establecer la estructura de
argumentos simples o complejos y a evaluar la calidad de la relación entre un juicio uopinión y las
razones que lo(a) sustentan.
Agradecemos a quienes de una u otra forma han contribuido al desarrollo de esta segunda edición:
estudiantes, profesores, lectores eventuales. A Carolina Andrade, del Departamento de Comunicaciones
de la Universidad Icesi, y Mario Tamayo y Tamayo, Director de Investigaciones y Publicaciones, por su
colaboración para el diseño de la portada; y a José...