TEMAS BASICOS Y BIBLIOGRAFIA PARA EXAMENES DE LA OLIMPIADA1 Asunción Preisser Rodríguez y José Alfredo Amor y Montaño I. Validez lógica y tipos de argumentos. 1. Argumentos válidos o inválidos. Tanto en lenguaje de proposiciones como en lenguaje de predicados (con constantes pero sin funciones). Ya sea en español o que aparezcan simbolizados. 2. Identificación de premisas o conclusiones (en argumentos en español). 3. Preguntas conceptuales acerca de la validez de argumentos (como: ¿qué puede decirse de un argumento en español si sus premisas y su conclusión son falsas?). 4. Añadir una premisa que falta en un argumento válido. II: Simbolizaciones. 1. En lenguaje proposicional. 2. En lenguaje de predicados 3. Conectivos "disfrazados" es decir, que utilizan las mismas palabras en lenguaje natural que suelen utilizarse para expresar conectivas verifuncionales, pero no lo son. (Como el ejercicio de: "Tú me tiras el café y yo te echo por la ventana"). 4. Negación lógica de enunciados tanto en lenguaje proposicional como de predicados, y tanto en lenguaje formal como en español. III: Consistencia. 1. De conjuntos de enunciados (en lenguje proposicional y lenguaje de predicados, tanto en español como en lenguaje formal). 2. Preguntas conceptuales acerca de consistencia (Ejemplo: Dado que tal conjunto es consistente, ¿cómo es tal otro? o ¿qué puede decirse de tal otra cosa?). IV. Conectivos y tablas de verdad. 1. Simplificación de fórmulas. 2. Tautologicidad. 3. Negación de conectivos. V. Equivalencia lógica. 1. Enunciados en español o lenguaje proposicional (buscar equivalentes o no equivalentes). 2. Usar equivalencias lógicas para simplificar fórmulas. 3. Usar equivalencias lógicas en premisas o conclusiones para analizar argumentos. VI. Consecuencia lógica. 1. Conclusiones propuestas que: se siguen o no se siguen lógicamente de un conjunto de premisas. El documento que aquí se presenta está basado en el documento titulado “TEMAS BASICOS Y BIBLIOGRAFIA PARA EXAMENES DE LA OLIMPIADA” elaborado por Asunción Preisser Rodríguez y José Alfredo Amor y Montaño. Se han hecho algunas adaptaciones y precisiones. Agradecemos profundamente a Asunción y José Alfredo la elaboración de este material. 1 1 2. Preguntas acerca de un conjunto desconocido de premisas. (Ejemplo: ¿Cuál de las fórmulas no se sigue de un conjunto de premisas desconocido? VII: Falacias. 1. Identificación de falacias en una argumentación dada. No por nombres sino por lo que hacen. VIII. Reglas de Inferencia. 1. Identificar la regla utilizada en una inferencia dada en lenguaje formal. 2. Usar las reglas para analizar argumentos en español. Tanto en lenguaje proposicional como en lenguaje de predicados. IX. Acertijos. 1. "Tipo A". Como "el de los dioses", "¿quién mató al bicho de la influenza?",etc Estos necesitan lógica deductiva y no involucran autoreferencia. 2. "Tipo B". Como "el de vengo a ser electrocutado" o "el de Epiménides". Estos involucran cierta autorrefenecia. Nota: Los ejemplos refieren a reactivos utilizados en examenes anteriores de la olimpiada. X. Lógica Aristotélica. 1. Manejo de las proposiciones tipo "A",”E”,”I”, "O", de la clasificación conocida. 2. Conocer ciertos silogismos clásicos, no por nombre sino manejarlos. BIBLIOGRAFÍA BÁSICA 1. 2. 3. 4. 5. 6. Introducción a la lógica. Copi-Cohen Lógica Simbólica. Copi Lógica elemental. Fernández de Castro, Preisser, Segura, Torres. Lógica matemática elemental. B. Mates Capítulo 1 de Introduction to mathematical logic de E. Mendelson 3a o 4ta edición. ¿Cómo se llama este libro? y La Dama o el Tigre de R. Smullyan (lo malo es que estos libros ya no se consiguen) Pero pueden ver algunos semejantes del mismo autor. 7. Falacias. Alejandro Herrera. Torres Editores 8. Antonio Olvera, “La utilización de problemas y juegos lógicos en la enseñanza de la lógica en el bachillerato". UAQ (ver los materiales del TDL) 9. Lógica y argumentación. de Alfonso Bustamante Arias. Pearson Educación de México, 2009. (Todos deberían de verlo antes de recomendarlo). Ver y recomendar ver la pagina de la olimpiada (dentro de la página de la AML): www.olimpiada.academiamexicanadelogica.org Falacias: http://www.iep.utm.edu/fallacy/ http://www.fallacyfiles.org/index.html http://www.logicalfallacies.info/ Consecuencia lógica http://plato.stanford.edu/entries/logical-consequence/#2 2