TEMAS BASICOS Y BIBLIOGRAFIA PARA EXAMENES DE LA OLIMPIADA1

Asuncin Preisser Rodrguez y Jos Alfredo Amor y Montao

I. Validez lgica !i"#$ de a%g&'e(!#$. 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. . !dentificaci"n de premisas o conclusiones (en argumentos en espaol). #. $reguntas conceptuales acerca de la validez de argumentos (como% &qu' puede decirse de un argumento en espaol si sus premisas ( su conclusi"n son falsas)). *. Aadir una premisa que falta en un argumento vlido. II) Si'*#lizaci#(e$. 1. +n lenguaje proposicional. . +n lenguaje de predicados #. ,onectivos -disfrazados- es decir. que utilizan las mismas palabras en lenguaje natural que suelen utilizarse para e/presar conectivas verifuncionales. pero no lo son. (,omo el ejercicio de% -T0 me tiras el caf' ( (o te ec1o por la ventana-). *. 2egaci"n l"gica de enunciados tanto en lenguaje proposicional como de predicados. ( tanto en lenguaje formal como en espaol. III) C#($i$!e(cia. 1. 3e conjuntos de enunciados (en lenguje proposicional ( lenguaje de predicados. tanto en espaol como en lenguaje formal). . $reguntas conceptuales acerca de consistencia (+jemplo% 3ado que tal conjunto es consistente. &c"mo es tal otro) o &qu' puede decirse de tal otra cosa)). IV. C#(ec!i+#$ !a*la$ de +e%dad. 1. 4implificaci"n de f"rmulas. . Tautologicidad. #. 2egaci"n de conectivos. V. E,&i+ale(cia lgica. 1. +nunciados en espaol o lenguaje proposicional (buscar equivalentes o no equivalentes). . 5sar equivalencias l"gicas para simplificar f"rmulas. #. 5sar equivalencias l"gicas en premisas o conclusiones para analizar argumentos. VI. C#($ec&e(cia lgica. 1. ,onclusiones propuestas que% se siguen o no se siguen l"gicamente de un conjunto de premisas. . $reguntas acerca de un conjunto desconocido de premisas. (+jemplo% &,ul de las f"rmulas no se sigue de un conjunto de premisas desconocido) VII) Falacia$. 1. !dentificaci"n de falacias en una argumentaci"n dada. 2o por nombres sino por lo que 1acen.
+l documento que aqu6 se presenta est basado en el documento titulado -TEMAS BASICOS Y BIBLIOGRAFIA PARA EXAMENES DE LA OLIMPIADA. elaborado por Asuncin Preisser Rodrguez y Jos Alfredo Amor y Montao. Se han hecho algunas adaptaciones y precisiones. Agradecemos profundamente a Asunci"n ( 7os' Alfredo la elaboraci"n de este material.
1

VIII. Regla$ de I(/e%e(cia. 1. !dentificar la regla utilizada en una inferencia dada en lenguaje formal. . 5sar las reglas para analizar argumentos en espaol. Tanto en lenguaje proposicional como en lenguaje de predicados. IX. Ace%!i0#$. 1. -Tipo A-. ,omo -el de los dioses-. -&qui'n mat" al bic1o de la influenza)-.etc +stos necesitan l"gica deductiva ( no involucran autoreferencia. . -Tipo 8-. ,omo -el de vengo a ser electrocutado- o -el de +pim'nides-. +stos involucran cierta autorrefenecia. ota! "os e#emplos refieren a reacti$os utilizados en e%amenes anteriores de la olimpiada. X. Lgica A%i$!#!1lica. 1. 9anejo de las proposiciones tipo -A-.:+:.:!:. -;-. de la clasificaci"n conocida. . ,onocer ciertos silogismos clsicos. no por nombre sino manejarlos. BIBLIOGRAF2A B3SICA
1. . #. *. >. ?. &ntroduccin a la lgica. ,opi<,o1en "gica Sim'lica. ,opi "gica elemental. =ernndez de ,astro. $reisser. 4egura. Torres. "gica matem(tica elemental. 8. 9ates ,ap6tulo 1 de &ntroduction to mathematical logic de +. 9endelson #a o *ta edici"n. )*mo se llama este li'ro+ ( "a ,ama o el -igre de @. 4mull(an (lo malo es que estos libros (a no se consiguen) $ero pueden ver algunos semejantes del mismo autor. A. .alacias. Alejandro Berrera. Torres +ditores C. Antonio ;lvera. DEa utilizaci"n de problemas ( juegos l"gicos en la enseanza de la l"gica en el bac1illerato-. 5AF (ver los materiales del T3E) G. "gica y argumentacin. de Alfonso 8ustamante Arias. $earson +ducaci"n de 9'/ico. HHG. (Todos deber6an de verlo antes de recomendarlo).

Ier ( recomendar ver la pagina de la olimpiada (dentro de la pgina de la A9E)%

JJJ.olimpiada.academiame/icanadelogica.org

=alacias%
1ttp%KKJJJ.iep.utm.eduKfallac(K 1ttp%KKJJJ.fallac(files.orgKinde/.1tml 1ttp%KKJJJ.logicalfallacies.infoK

,onsecuencia l"gica
1ttp%KKplato.stanford.eduKentriesKlogical<consequenceKL