Temas básicos y bibliografía

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