10/02/13 1. 2. 3. 4. 5. 6. Nociones previas sobre lógica y lenguaje. Lógica de enunciados I Lógica de enunciados II. Deducción Lógica aristotélica Lógica de predicados de primer orden Metodología BUCHER, T.G., Introduzione alla logica, Clueb, Bologna 1996 CONESA, F. – NUBIOLA, J., Filosofía del lenguaje, Herder, Barcelona 2002**. DEAÑO, A.; Introducción a la lógica formal, Alianza, Madrid 1983. GARRIDO, M., Lógica simbólica, Tecnos, Madrid 2005. ANTON, A. – CASAÑ, P., Lógica matemática. Ejercicios. I Lógica de enunciados, NAU llibres, Valencia 19863. ———, Lógica matemática. Teoría y práctica. II Lógica de predicados, NAU llibres, Valencia 1998. 1 10/02/13 CRYAN, D. – SHATIL, S. – MAYBLIN, B., Lógica para todos, Paidós, Barcelona 2005*. DOMÍNGUEZ PRIETO, P., Lógica, BAC, Madrid 2010**. ECO, U., Cómo se hace una tesis. Técnicas y procedimientos de estudio, investigación y escritura, Gedisa, Barcelona 20033*. FRANKL, V. E., El hombre en busca de sentido, Herder, 20047*. LEWIS, C. S., La abolición del hombre, Bolsillo 74, Encuentro, Madrid 20085*. MAHILLO, J., ¿Sabes estudiar?, Espasa-Calpe, Madrid 200610. ———, Filos. Un comando camino de Santiago, Espasa Calpe, Madrid 2001*. NUBIOLA AGUILAR, J., El taller de la filosofía. Una introducción a la escritura filosófica, Eunsa, Pamplona 20105*. PRIEST, G., Logic: A Very Short Introduction, Oxford University Press, Oxford 2000*. WESTON, A., Las claves de la argumentación, Ariel, Barcelona 201010*. Cada semana se publicarán en el Blog de la asignatura (http://jugant-amb-logica.blogspot.com/) tres problemas lógicos para que el alumno acceda y explique la solución o comente las posibles soluciones ofrecidas por los otros alumnos. Es importante seguir el ritmo semanal para que el ejercicio sea gradual y progresivo. En el blog quedan registrados los comentarios y las fechas en que se realizan. Trabajos que han de hacer los alumnos de Lógica ◦ ◦ ◦ ◦ Lectura y resumen de textos sobre argumentación Resolución de juegos lógicos planteados en internet Presentación del trabajo de metodología Tutoría con el profesor 2 10/02/13 Tutorías: Martes,12:35-13:20. Test: Es posible la realización de un test semanal de corta duración. Fechas a tener en cuenta ◦ Tutorías. Se deben realizar al menos dos encuentros con el profesor durante el semestre. Para ello se debe concertar día y hora con el profesor preferiblemente por correo electrónico. ◦ Trabajo: En la hoja de temporización están indicados los plazos de entrega parciales, la recogida final se realizará el 18de abril. Cualquier dificultad que surja, cualquier demora en los plazos de entrega que se pueda producir se debe comunicar al profesor preferiblemente ante de que suceda, con un diálogo fluido el curso funciona bien. ◦ Nombre ◦ Lenguaje y metalenguaje Oración Proposición Enunciación Niveles del lenguaje Uso y mención ◦ Semiótica ◦ Noción de cálculo ◦ Lógica como ciencia de las formas válidas ◦ Verdad y validez ◦ Definición de lógica formal ◦ Esbozo histórico de la lógica 3 10/02/13 Logos. Λόγος «palabra», «pensamiento»… El verbo λέγειν «hablar, decir, contar (una historia)» Heidegger (1889-1976) Aparece en expresiones Característica del hombre Inferencias Nociones previas Usos del lenguaje ◦ Preguntar, suplicar, ordenar, insultar, expresar deseos… Uso apofántico ◦ (Aristóteles, απόφασις, declaración, enunciación) ◦ Enunciativo, declarativo, representativo, indicativo, descriptivo, asertórico, aseverativo. Oración proposición enunciado ◦ 4 10/02/13 Oración proposición enunciado ◦ Proposiciones ◦ Oraciones Juan ama a María María es amada por Juan It is raining Está lloviendo Il pleut Està ploguent ◦ Enunciados Mediante las oraciones enunciamos proposiciones «‘Un famoso poeta es menos inventor que descubridor’ (L0) dijo Averroes (L1), escribe J.L. Borges (L2)» L0 nos referimos a objetos no lingüísticos L1, L2 nos referimos a expresiones lingüísticas Al lenguaje que empleamos para hablar acerca de otro lenguaje le llamamos metalenguaje de este último. Y a este último le llamamos lenguaje objeto. 5 10/02/13 Usamos una palabra cuando nos servimos de ella como signo, aludimos a algo. Mencionamos una palabra cuando nos referimos a la palabra misma. Madrid empieza por M y termina por t “Madrid” empieza por “M” y “termina” por “t”. “Madrid” empieza por “M” y termina por ... Barcelona se encuentra al norte de Tarragona, pero Tarragona no se encuentra al sur de Barcelona. La última palabra de Tarragona es polisilábica es polisilábica. La semiótica (Σηµεῐον, signo) estudia los signos, las estructuras y los procesos significativos. Interpretante Signo Objeto ◦ Charles Morris, tomada de Ch. S. Peirce ◦ El signo es «algo que está para alguien en lugar de algo bajo algún aspecto o capacidad». 6 10/02/13 Sintaxis. Relaciones entre los signos Semántica. Relación entre signo y objeto. Pragmática. Relación entre signo e intérpretes Cuando un diplomático dice sí, quiere decir 'quizá'; cuando dice quizá, quiere decir 'no'; y cuando dice no, no es un diplomático. Cuando una dama dice no, quiere decir 'quizá'; cuando dice quizá, quiere decir 'sí'; y cuando dice sí, no es una dama. (Voltaire) 1)¡Cierra la puerta! 2)¡Cierra la puerta, por favor! 3)¿Podrías cerrar la puerta, por favor? 4)Me parece que la puerta está abierta 5)Hace un poco de frío aquí Lenguajes naturales: los heredamos, usamos. Lenguajes artificiales: construimos. Cálculo. Es artificial, es estructura, no es lenguaje. Se compone de: ◦ Símbolos elementales ◦ Reglas de formación o construcción (expresiones bien formadas) ◦ Reglas de transformación (Ver DEAÑO, 28-35) Lógica formal como conjunto de cálculos 7 10/02/13 La lógica se ocupa de la “forma de la inferencia” Ejemplo ◦ Se terminaron todos los artículos de verano ◦ Todo bañador es un artículo de verano ◦ Luego se han terminado todos los bañadores Otro, pero… ◦ Todas las circunferencias son rectángulos 1premisa ◦ Todos los cuadrados son circunferencias 2premisa ◦ Luego todos los cuadrados son rectángulos Conclusión ◦ todos los científicos son buenos colaboradores ◦ todos los biólogos son buenos colaboradores ◦ luego todos los biólogos son científicos Δ Científico; ο ser buen colaborador; □ biólogo Todos Δ son ο Todos □ son ο Todos □ son Δ Δ chico; □ chica; ο contento todos los chicos están contentos todas las chicas están contentas luego todas las chicas son chicos 8 10/02/13 Distinguir Verdad de Validez Verdad: afecta a las proposiciones, si estas se ajustan a los hechos. ◦ La verdad de las premisas es objeto de cada ciencia Validez: afecta a la forma de la inferencia Una inferencia es Verdadera cuando: ◦ Las premisas son verdaderas ◦ La forma es válida ◦ Podemos afirmar que la conclusión es Verdadera Se preserva la verdad de las premisas “La lógica es la ciencia de los principios de la validez formal de la inferencia” (DEAÑO, 36) Inferencia: razonamiento. Derivamos una conclusión a partir de unas premisas. ◦ El razonamiento como resultado es el objeto material de la lógica Validez formal. Corrección formal del razonamiento. Principios. Leyes o reglas válidas. Ciencia. Es una ciencia formal, una ciencia deductiva. Se parte de unos principios y se deducen las reglas y leyes. 9 10/02/13 Tres momentos importantes 1. Aristóteles y los estoicos 2. Edad Media, siglos XII-XV 3. Siglo XIX y XX Época Clásica Aristóteles distingue metafísica de lógica Primer tratado de lógica Organon Estoicos, lógica formal, de proposiciones Edad Media ◦ ◦ ◦ ◦ ◦ Teoría general de la referencia Teoría general de la implicación Lógica modal Paradojas y problemas lógicos del lenguaje Abelardo, S. Alberto, Sto. Tomás, Pedro Hispano… Siglos XIX y XX (gran desarrollo) ◦ Lógica simbólica, lógica matemática ◦ Boole (1815-1864), De Morgan, Peirce ◦ Gottlob Frege, Conceptografía (1879) Cuantificadores ◦ Whitehead- Russell, Principia mathematica (1910) ◦ Kurt Gödel, teorema de incompletud (1931) 10