TEMAS BASICOS Y BIBLIOGRAFIA

PARA EXAMENES DE LA OLIMPIADA

Asuncin Preisser Rodrguez y Jos Alfredo Amor y Montao
I. Validez lgica y tipos de argumentos.
1. Argumentos vlidos o invlidos. Tanto en lenguaje de proposiciones como en
lenguaje de predicados (con constantes pero sin funciones). Ya sea en espaol o
que aparezcan simbolizados.
2. Identificacin de premisas o conclusiones (en argumentos en espaol).
3. Preguntas conceptuales acerca de la validez de argumentos (como: qu puede
decirse de un argumento en espaol si sus premisas y su conclusin son falsas?).
4. Aadir una premisa que falta en un argumento vlido.
II: Simbolizaciones.
1. En lenguaje proposicional.
2. En lenguaje de predicados
3. Conectivos "disfrazados" (Como el ejercicio de Juan Manuel de: "T me tiras el
caf y yo te echo por la ventana").
4. Negacin lgica de enunciados tanto en lenguaje proposicional como de
predicados, y tanto en lenguaje formal como en espaol. (Esto lo acabo de
agregar...)
III: Consistencia.
1. De conjuntos de enunciados (en lenguje proposicional y lenguaje de
predicados, tanto en espaol como en lenguaje formal).
2. Preguntas conceptuales acerca de consistencia (Ejemplo: Dado que tal conjunto
es consistente, cmo es tal otro? o qu puede decirse de tal otra cosa?).
IV. Conectivos y tablas de verdad.
1. Simplificacin de frmulas.
2. Tautologicidad.
3. Negacin de conectivos.
V. Equivalencia lgica.
1. Enunciados en espaol o lenguaje proposicional (buscar equivalentes o no
equivalentes).
2. Usar equivalencias lgicas para simplificar frmulas.
3. Usar equivalencias lgicas en premisas o conclusiones para analizar
argumentos.
VI. Consecuencia lgica.
1. Conclusiones propuestas que: se siguen o no se siguen lgicamente de un
conjunto de premisas.
2. Preguntas acerca de un conjunto desconocido de premisas. (Ejemplo: cul de
las frmulas no se sigue de un conjunto de premisas desconocido?
VII: Falacias.

1. Identificacin de falacias en una argumentacin 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. (Como
en unos reactivos de Mari Carmen)
2. Usar las reglas para analizar argumentos en espaol. Tanto en lenguaje
propposicional como en lenguaje de predicados.
IX. Acertijos.
1. "Tipo A". Como "el de los dioses", "quin mat al bicho de la influenza?",etc
Estos necesitan lgica deductiva y no involucran autoreferencia.
2. "Tipo B". Como "el de vengo a ser electrocutado" o "el de Epimnides". Estos
involucran cierta autorrefenecia.
X. Lgica Aristotlica.
1. Manejo de las proposiciones tipo "A",E,I, "O", de la clasificacin conocida.
2. Conocer ciertos silogismos clsicos, no por nombre sino manejarlos.
BIBLIOGRAFA BSICA
1. Introduccin a la lgica. Copi-Cohen
2. Lgica Simblica. Copi
3. Lgica elemental. Fernndez de Castro, Preisser, Segura, Torres.
4. Lgica matemtica elemental. B. Mates
5. Captulo 1 de Introduction to mathematical logic de E. Mendelson 3a o 4ta
edicin.
6. Cmo 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 utilizacin de problemas y juegos lgicos en la
enseanza de la lgica en el bachillerato". UAQ (ver los materiales del TDL)
9. Lgica y argumentacin. de Alfonso Bustamante Arias. Pearson Educacin
de Mxico, 2009. (Todos deberan de verlo antes de recomendarlo).
Ver y recomendar ver la pagina de la olimpiada (dentro de la pgina de la AML):
http://www.filosoficas.unam.mx/~Modus/AML/Olimpiada/Olimpiada.htm
Falacias:
http://www.iep.utm.edu/fallacy/
http://www.fallacyfiles.org/index.html
http://www.logicalfallacies.info/

Consecuencia lgica
http://plato.stanford.edu/entries/logical-consequence/#2