Lógica I (curso 2007-08) – Prof. Paloma Pérez-Ilzarbe Tema 3. Lógica y argumentación Objetivos: - Comprender la noción de argumento y su estructura, y ser capaz de reconocerlos en ejemplos del lenguaje natural. - Reconocer la transmisión de la verdad como la nota que define a los “buenos” argumentos. - Distinguir los dos niveles de evaluación de la bondad de argumentos: evaluación deductiva y evaluación inductiva. - Conocer y comprender las nociones de validez deductiva, invalidez deductiva y fuerza inductiva. - Identificar las nociones de relación de consecuencia, forma lógica y constante lógica como nociones clave en relación con la evaluación de argumentos. - Comprender que la validez/invalidez no es funcional-veritativa. - Distinguir argumento válido de argumento sólido, y comprender su papel en la demostración de verdades. - Conocer la noción de sistema formal, y comprender qué elementos hacen falta para definir un sistema formal concreto. Dónde encontrar el tema: Capítulos I y II del manual de Falguera-Martínez. Resumen de los contenidos: Un argumento es un pasaje lingüístico con el que quien habla pretende apoyar la verdad de una conclusión en la verdad de una o varias premisas. Un buen argumento desde el punto de vista lógico será uno que consiga transmitir la verdad de las premisas a la conclusión. Desde un punto de vista deductivo, los argumentos pueden ser válidos o inválidos, según garanticen o no la transmisión de la verdad. Los argumentos inválidos pueden evaluarse también desde el punto de vista inductivo, y serán más o menos fuertes según el grado de apoyo que las premisas presten a la conclusión. La existencia o no de una relación de consecuencia deductiva depende de la forma lógica de los argumentos, y remite en último término al significado de las constantes lógicas. La existencia o no de una relación de consecuencia entre premisas y conclusión es lo que hace válido/inválido a un argumento, independientemente de los valores de verdad concretos de premisas y conclusión. La validez es un requisito necesario, pero no suficiente, para la demostración de la verdad de una conclusión. El estudio de los argumentos válidos se puede hacer mediante sistemas formales, que se definen de manera puramente formal (especificando su lenguaje y su mecanismo deductivo). Bibliografía complementaria: Alfredo Deaño, Introducción a la lógica formal, Alianza, Madrid, 1990. Capítulo I: Primeros conceptos. Trabajo fuera de clase: No obligatorio: cuestionario de autoevaluación en el Examinador de Adi. Ejercicios en el manual de Falguera-Martínez: 1-14 del capítulo I, 6-9 del capítulo II.