1 TALLER DE DIDÁCTICA DE LA LÓGICA Ciclo 2000-2 La investigación sobre didáctica de la lógica en el mundo entero. Raymundo Morado 14 de septiembre del 2000

2 De Lógicos a Docentes Los escritos aristotélicos Los escritos aristotélicos Sumulae medievales Sumulae medievales Pons Asinorum Pons Asinorum Ars Magna Ars Magna Versos mnemotécnicos Versos mnemotécnicos Apreciaciones sobre la enseñanza de la lógica Apreciaciones sobre la enseñanza de la lógica

3 ¿Por Qué Tan Mala Didáctica? La ley de las probabilidades está en contra. La ley de las probabilidades está en contra. Estándares pedagógicos recientes. Estándares pedagógicos recientes. Necesidades y posibilidades económicas y demográficas que cristalizan a finales del siglo XIX. Necesidades y posibilidades económicas y demográficas que cristalizan a finales del siglo XIX. Hoy se espera que la enseñanza de la lógica sea Hoy se espera que la enseñanza de la lógica sea  amena,  fácil y  útil.

4 Surge el TDL En 1996 fue creado el TDL. En 1996 fue creado el TDL. El TDL intenta estar a la vanguardia. El TDL intenta estar a la vanguardia. Esto requiere conocer las contribuciones de muchas áreas, de muchos países. Esto requiere conocer las contribuciones de muchas áreas, de muchos países. Para empezar a ubicarlo, me propongo hablar de algunos desarrollos en el último lustro. Para empezar a ubicarlo, me propongo hablar de algunos desarrollos en el último lustro. ¿Para qué más les puede servir a los integrantes del TDL saber sobre la investigación sobre didáctica de la lógica en el mundo entero? ¿Para qué más les puede servir a los integrantes del TDL saber sobre la investigación sobre didáctica de la lógica en el mundo entero? Si están preparando su contribución al TDL. Si están preparando su contribución al TDL.

5 Para ser un taller El TDL no es un ciclo de conferencias. El TDL no es un ciclo de conferencias. Es un espacio para perfeccionar entre todos. Es un espacio para perfeccionar entre todos. Debemos crear las mejores circunstancias posibles para que haya retroalimentación. Debemos crear las mejores circunstancias posibles para que haya retroalimentación. Las presentaciones, una vez que logren una alta calidad, deben ser publicadas y difundidas. Las presentaciones, una vez que logren una alta calidad, deben ser publicadas y difundidas. La primera colección de trabajos del taller, La Razón Comunicada, se encuentra agotada y pronto se reimprimirá. La primera colección de trabajos del taller, La Razón Comunicada, se encuentra agotada y pronto se reimprimirá.

6 Lista de Deseos 1. Que las presentaciones se pongan en línea (o se manden por correo electrónico) con antelación. 1. Que las presentaciones se pongan en línea (o se manden por correo electrónico) con antelación. 2. Que los coordinadores regionales se aseguren de que haya suficientes copias impresas. 2. Que los coordinadores regionales se aseguren de que haya suficientes copias impresas. 3. Exposiciones de 40 minutos o menos. 3. Exposiciones de 40 minutos o menos. 4. Que cada sede comisione a una persona diferente para cada sesión que haga una síntesis de las propuestas de mejora que surjan de esa sede. Esos comentarios se añadirían al material en línea. 4. Que cada sede comisione a una persona diferente para cada sesión que haga una síntesis de las propuestas de mejora que surjan de esa sede. Esos comentarios se añadirían al material en línea.

7 5. Que a los comentarios y presentaciones se agreguen en línea comentarios individuales voluntarios, respuestas, etc. 5. Que a los comentarios y presentaciones se agreguen en línea comentarios individuales voluntarios, respuestas, etc. 6. Que el Comité Organizador del Encuentro Nacional anual haga una selección de lo que se trabajó desde el encuentro anterior. 6. Que el Comité Organizador del Encuentro Nacional anual haga una selección de lo que se trabajó desde el encuentro anterior.  Tener al menos unas 20 sesiones del TDL al año.  Seleccionar una docena para unas seis mesas.  Nueva versión, casi lista para publicación.

8 7. Que en las presentaciones del encuentro haya tiempo para al menos un replicante por trabajo, y tiempo para preguntas y comentarios con el público. 7. Que en las presentaciones del encuentro haya tiempo para al menos un replicante por trabajo, y tiempo para preguntas y comentarios con el público.  La función del replicante podría ser especialmente señalar lo bueno de la presentación y en qué podría ser mejorada. 8. Que cada año se haga una selección de ponencias para que, una vez revisadas en versión final, se publiquen las adecuadas. 8. Que cada año se haga una selección de ponencias para que, una vez revisadas en versión final, se publiquen las adecuadas.  La idea es que el TDL sirva su función de producir y difundir investigaciones apoyadas en un trabajo colectivo.

9 ¿Sobre qué puedo escribir? ¿Sobre qué temas puede planearse el Encuentro del próximo año?

10 Posibles temas Media docena de temas cada año. Media docena de temas cada año. Escogidos en base a los intereses de los miembros del TDL. Escogidos en base a los intereses de los miembros del TDL. No cualquier interés es pertinente a los objetivos del Taller. Por ejemplo, No cualquier interés es pertinente a los objetivos del Taller. Por ejemplo,  el TDL no pretende enseñar lógica  ni simplemente aprender didáctica. La función explícita es investigar sobre la didáctica de la lógica. La función explícita es investigar sobre la didáctica de la lógica.

11 1. PARA QUÉ ENSEÑAR LÓGICA 1. En general 1. En general 2. A científicos 2. A científicos 3. A filósofos 3. A filósofos 4. En primaria 4. En primaria 5. En bachillerato 5. En bachillerato  Lógica formal  "Lógica Informal" o "Pensamiento Crítico" 6. En licenciatura 6. En licenciatura 7. En posgrado 7. En posgrado

12 2. EFECTOS COMPROBABLES 1. Criterios y estrategias de evaluación 1. Criterios y estrategias de evaluación  1. De los alumnos  2. De los docentes 2. Implementación, evaluación y perfeccionamiento de técnicas docentes y cursos pilotos 2. Implementación, evaluación y perfeccionamiento de técnicas docentes y cursos pilotos

13 3. MECANISMOS PSICOLÓGICOS 1. Lógica y pensamiento crítico 1. Lógica y pensamiento crítico 2. Habilidades lógicas generales 2. Habilidades lógicas generales 3. Estudios sobre la capacidad lógica en alumnos mexicanos y de otros países 3. Estudios sobre la capacidad lógica en alumnos mexicanos y de otros países

14 4. CÓMO ENSEÑAR LÓGICA 1. En la historia 1. En la historia 2. Motivación 2. Motivación 3. Trabajo en grupos 3. Trabajo en grupos 4.Técnicas para temas específicos: 4.Técnicas para temas específicos:  Creación de argumentos,  Cuantificación,  Falacias,  Entimemas,  Tablas de verdad, etc.

15 5. MATERIALES 1.Libros de texto 1.Libros de texto  1.Evaluarlos  2. Crearlos 2. Software para enseñar lógica 2. Software para enseñar lógica  1. Evaluarlos  2. Crearlos 3. Recursos por Internet y enseñanza a distancia 3. Recursos por Internet y enseñanza a distancia  1. Evaluarlos  2. Crearlos 4. Repositorio nacional de materiales 4. Repositorio nacional de materiales

16 1. PARA QUÉ ENSEÑAR LÓGICA 1. En general 1. En general 2. A científicos 2. A científicos 3. A filósofos 3. A filósofos 4. En primaria 4. En primaria 5. En bachillerato 5. En bachillerato  Lógica formal  "Lógica Informal" o "Pensamiento Crítico" 6. En licenciatura 6. En licenciatura 7. En posgrado 7. En posgrado

17 2. EFECTOS COMPROBABLES 1. Criterios y estrategias de evaluación 1. Criterios y estrategias de evaluación  1. De los alumnos  2. De los docentes 2. Implementación, evaluación y perfeccionamiento de técnicas docentes y cursos pilotos 2. Implementación, evaluación y perfeccionamiento de técnicas docentes y cursos pilotos

18 3. MECANISMOS PSICOLÓGICOS 1. Lógica y pensamiento crítico 1. Lógica y pensamiento crítico 2. Habilidades lógicas generales 2. Habilidades lógicas generales 3. Estudios sobre la capacidad lógica en alumnos mexicanos y de otros países 3. Estudios sobre la capacidad lógica en alumnos mexicanos y de otros países

19 4. CÓMO ENSEÑAR LÓGICA 1. En la historia 1. En la historia 2. Motivación 2. Motivación 3. Trabajo en grupos 3. Trabajo en grupos 4.Técnicas para temas específicos: 4.Técnicas para temas específicos:  Creación de argumentos,  Cuantificación,  Falacias,  Entimemas,  Tablas de verdad, etc.

20 5. MATERIALES 1.Libros de texto 1.Libros de texto  1.Evaluarlos  2. Crearlos 2. Software para enseñar lógica 2. Software para enseñar lógica  1. Evaluarlos  2. Crearlos 3. Recursos por Internet y enseñanza a distancia 3. Recursos por Internet y enseñanza a distancia  1. Evaluarlos  2. Crearlos 4. Repositorio nacional de materiales 4. Repositorio nacional de materiales

21 Recursos humanos en el TDL 1. PARA QUÉ ENSEÑAR LÓGICA 1. En general: Ana Lilia Ulloa Argumentación jurídica 1. En general: Ana Lilia Ulloa Argumentación jurídica 2. A científicos: Juan José Léautaud Ortiz Lógica proposicional y filosofía de la ciencia 2. A científicos: Juan José Léautaud Ortiz Lógica proposicional y filosofía de la ciencia 3. A filósofos 3. A filósofos 4. En primaria: María Elena Madrid PC para niños, Celia Rosa Vallejo Filosofía y razonamiento para niños 4. En primaria: María Elena Madrid PC para niños, Celia Rosa Vallejo Filosofía y razonamiento para niños

22 5. En bachillerato: 5. En bachillerato:  Virginia Sánchez Desarrollo de habilidades de pensamiento en el bachillerato,  Rosa Isabel Lerma La lógica en los colegios de bachilleres  1. Lógica formal:  Francisco Serrano Estrategias didácticas para la enseñanza de la lógica a adolescentes,  Pompeya García Simbolización  2. "Lógica Informal" o "Pensamiento Crítico“:  Eloísa A. González PC en bachillerato,  Ignacio M. Aguirre Proa Desarrollo básico de pensamiento crítico 6. En licenciatura 6. En licenciatura 7. En posgrado 7. En posgrado

23 2. EFECTOS COMPROBABLES 1. Criterios y estrategias de evaluación 1. Criterios y estrategias de evaluación  1. De los alumnos  2. De los docentes 2. Implementación, evaluación y perfeccionamiento de técnicas docentes y cursos pilotos 2. Implementación, evaluación y perfeccionamiento de técnicas docentes y cursos pilotos

24 3. MECANISMOS PSICOLÓGICOS Abel Hernández Psicología y lógica Abel Hernández Psicología y lógica 1. Lógica y pensamiento crítico 1. Lógica y pensamiento crítico 2. Habilidades lógicas generales 2. Habilidades lógicas generales  Ignacio M. Aguirre Proa El desarrollo de habilidades mentales-argumentativas correctas,  Ariel Campirán Habilidades y actitudes,  Cristina Lara Enseñar habilidades de pensamiento,  Mario Aparicio Modelo de competencias 3. Estudios sobre la capacidad lógica en alumnos mexicanos y de otros países 3. Estudios sobre la capacidad lógica en alumnos mexicanos y de otros países

25 4. MANERAS DE ENSEÑAR Evelyn Zúñiga Espinosa Técnicas didácticas, Evelyn Zúñiga Espinosa Técnicas didácticas, Susana López Becerra Métodos de enseñanza de la lógica Susana López Becerra Métodos de enseñanza de la lógica 1. En la historia 1. En la historia  Ana Bertha Nova Argumentos en griegos,  Francisco Serrano Vigencia del silogismo,  Marco Antonio Rubio Abonca Usos y desusos del silogismo, Utilidad práctica del silogismo,  Juan Manuel Campos Enseñanza de la L. en la Colonia 2. Problemas de motivación y consejos para crearla 2. Problemas de motivación y consejos para crearla  Francisco Mares Motivación de alumnos,  Ignacio M. Aguirre Proa El suscitar interés en mis alumnos respecto a la actividad del pensar

26 3. Efectos del trabajo en grupos sobre el aprendizaje individual 3. Efectos del trabajo en grupos sobre el aprendizaje individual 4. Técnicas para temas específicos: 4. Técnicas para temas específicos:  Atocha Aliseda Creación de hipótesis,  Pedro Ramos Análisis de razonamientos,  Raymundo Morado Creación de argumentos,  Francisco Serrano Estrategias de argumentación,  Juan Ignacio Alvarado Técnicas de argumentación,  Rocío Cázares Estrategias para que los alumnos identifiquen argumentos y argumenten correctamente,

27  José Luis Rivera Teoría de la Argumentación,  José Alfredo Amor Análisis lógico,  Alejandro Herrera, Santiago Ramírez Falacias,  Gabriela Guevara Entimemas,  Francisco Serrano Tablas de verdad,  Ruth Flores Comprender los conectivos,  Argelio Lámbarri Discusión,  Federico Arieta Análisis conceptual, contraejemplos.

28 5. MATERIALES 1. Libros de texto Elsa Martínez Traducir textos de PC 1. Libros de texto Elsa Martínez Traducir textos de PC  1. Evaluarlos Virginia Sánchez Bibliografía de PC  2. Crearlos 2. Software para enseñar lógica 2. Software para enseñar lógica  1. Evaluarlos  2. Crearlos Gabriela Hernández CD sobre razonamiento 3. Internet Francisco Serrano Uso de software y/o internet 3. Internet Francisco Serrano Uso de software y/o internet  1. Evaluarlos Ricardo Bernal PC en Internet  2. Crearlos Ricardo Madrid Silogismo en Internet, Tim van Gelder PC por Internet Tim van Gelder PC por Internet 4. Repositorio nacional de materiales para la enseñanza de la lógica 4. Repositorio nacional de materiales para la enseñanza de la lógica Miriam Erika Reyes Muñoz Tecnología para la enseñanza Miriam Erika Reyes Muñoz Tecnología para la enseñanza

29 Qué se ha presentado en el TDL Calendarios del TDL Calendarios del TDL 2do Encuentro Nacional de Pensamiento Crítico: Habilidades Cognitivas y Metodologías Para la Enseñanza de la Lógica (Xalapa 1999) 2do Encuentro Nacional de Pensamiento Crítico: Habilidades Cognitivas y Metodologías Para la Enseñanza de la Lógica (Xalapa 1999) La Razón Comunicada: Materiales del Taller de Didáctica de la Lógica) La Razón Comunicada: Materiales del Taller de Didáctica de la Lógica)

30 1. PARA QUÉ ENSEÑAR LÓGICA 1. En general, 1. En general,  1999, Marzo 4 Ariel Campirán Creatividad y Lógica 2. A científicos, 2. A científicos,  1999, Febrero 18 José Alfredo Amor La enseñanza del análisis lógico (y video de la sesión),  2000, 16 de noviembre Gonzalo Zubieta Clase Magistral: Metodología Deductiva 3. A filósofos, 3. A filósofos,  1999, Marzo 18 Pedro Ramos Lógica y análisis del razonamiento filosófico

31 4. En primaria, Ma. Elena Madrid 4. En primaria, Ma. Elena Madrid  1996, Septiembre 3 Lógica para niños,  1998, Mayo 14 Materiales del Curriculum de Filosofía Para Niños,  2000, 28 de septiembre La lógica en el programa de filosofía para niños

32 5. En bachillerato  1. Lógica formal  RC: Raymundo Morado: ¿Qué debe saber de lógica una persona educada?  2. “Pensamiento Crítico”  1997, En.28 Raymundo Morado Temario de Razonamiento Crítico,  1998, Sep. 10 Elsa Martínez Lóg. Inf. y Argumentación (sólo video),  RC: Alejandro Herrera: "¿Qué es el Pensamiento Crítico?",  2000, Mayo 4 Ariel Campirán Análisis informal de argumentos (y video)

33 6. En licenciatura, 6. En licenciatura,  1996, Enero 12 Raymundo Morado Para hacer una tesis de lógica,  1996, Marzo 5 Mayahuel Serratos Temario para L. I,  1996, Mayo 7 Arturo Yáñez Guías Base para L. I y II,  1997, Mayo 7 Raymundo Morado Un Programa de Lógica en Licenciatura 7. En posgrado, 7. En posgrado,  1998, Agosto 27 Raymundo Morado Lógica: De Bachillerato a Doctorado (y video)

34 2. EFECTOS COMPROBABLES 1. Criterios y estrategias de evaluación 1. Criterios y estrategias de evaluación  1. De los alumnos  2. De los docentes  1996, Junio 4 Raymundo Morado Materiales para ser evaluado por los alumnos Materiales para ser evaluado por los alumnos 2. Implementación, evaluación y perfeccionamiento de técnicas docentes y cursos pilotos 2. Implementación, evaluación y perfeccionamiento de técnicas docentes y cursos pilotos

35 3. MECANISMOS PSICOLÓGICOS 1. Lógica y pensamiento crítico 1. Lógica y pensamiento crítico  1997, Marzo 6 y 13, y RC: Ariel Campirán "Critical Thinking y Desarrollo de Competencias" 2. Habilidades lógicas generales, 2. Habilidades lógicas generales,  1998, Junio 11,RC Ariel Campirán "Enseñar a Pensar"  1999, Abril 8 Eloísa González Desarrollo de habilidades para el Pensamiento Crítico (sólo video), 3. Estudios sobre la capacidad lógica en alumnos mexicanos y de otros países 3. Estudios sobre la capacidad lógica en alumnos mexicanos y de otros países

36 4. MANERAS DE ENSEÑAR 1. En la historia 1. En la historia  1997, Febrero 6 Alejandro Herrera Materiales para una historia de la lógica informal,  1997, Mayo 8 Abraham Anderson "On Critical Thinking and the Illusions of Enlightenment",  1997, Noviembre 26 Matthias Kaiser Materiales sobre el Examen Philosophicum en Noruega,  1998, Noviembre 19 (audio) y RC Ana Bertha Nova Las Refutaciones Sofísticas y el Pensamiento Crítico,  1999, Enero 21 Raymundo Morado El método socrático en la enseñanza de la lógica (sólo video),  2000, 31 de agosto Antonio Olvera Comparación entre algunos silogismos y reglas de inferencia

37 2. Problemas de motivación y consejos para crearla 2. Problemas de motivación y consejos para crearla 3. Efectos del trabajo en grupos 3. Efectos del trabajo en grupos 4.Técnicas específicas:   1998, Feb 12 José Luis Rivera Argumentación,   1998, Abril 16 y RC Pedro Ramos "Análisis Formal e Informal de Argumentos",   2000, 17 de agosto P. Ramos Creación de Argumentos,   2000, Junio 29 Alejandro Herrera Diagramas de Venn y Euler (comentarios y video),   2000, 30 nov Gabriela Guevara Cuantificación: didáctica para enseñar un tópico,   1998, Marzo 5 A. Herrera Falacias,   1998, Oct 8 A. Herrera Falacias y PC,

38   1998, Abril 2 y RC G. Guevara "Entimemas",   1999, Mayo 6 Ruth Flores Conectivos lógicos,   2000, Junio 1 Fco. Serrano Tablas de verdad (RTF y video),   1998, Mayo 28 Argelio Lámbarri Manifiesto Logo ‑ Filosófico Humanista,   1998, Dic 10 Axel Barceló Inferencia y Derivación,   1999, Feb 4 Atocha Aliseda Heurística, Hipótesis y Demostración en Mat.,   1999, Abril 22 Teresita Mijangos No contradicción,   2000, Mayo 18 Raúl Orayen Leyes Expansivas Fundamentales (comentarios y video)

39 5. MATERIALES 1. Libros de texto   1997, Feb. 6 Raymundo Morado Bibliografía sobre PC,   1998, Mayo 28 Elsa Martínez Traducción parcial de Informal Logic de Copi y Burgess ‑ Jackson   1. Evaluarlos, Virginia Sánchez   1998, Abril 30 y RC "Panorámica de la literatura sobre razonamiento crítico en los años 90s",   1998, Sep. 24 Literatura Actual sobre el Pensamiento Crítico (sólo video)   2. Crearlos,   2000, 14 de dic. V. Sánchez La creación de un libro de texto para la enseñanza de la lógica

40 2. Software para enseñar lógica   1. Evaluarlos   1996, Agosto 6 Raymundo Morado "Enseñando Lógica con Computadoras"   2. Crearlos,   2000, Julio 13 Gabriela Hernández "Razón 1": Un CD para enseñanza (Powerpoint y video) 3. Recursos por Internet y Enseñanza a Distancia   1. Evaluarlos,   1998, Marzo 19 y RC Ricardo Bernal "Recursos por Internet para la Educación a Distancia de Lógica Informal y Razonamiento Crítico"

41   2. Crearlos,   2000, Junio 15 Ricardo Madrid Silogística por Internet (sólo video),   2000, 19 de octubre Video Bachillerato de SABES Enseñanza de la lógica a distancia 4. Repositorio nacional de materiales para la enseñanza de la lógica,   1999, mayo 22 (2do Encuentro), Mtras. Laura L. Ruiz, Martha A. Pérez y Aída S. Byrd, Logoteca: Proyecto ENP ‑ UNAM/TDL,   2000, 14 de septiembre Raymundo Morado La investigación sobre didáctica de la lógica en el mundo entero,   2000, 22 de septiembre María Manzano El Proyecto ARACNE

42 Teaching Logic and Reasoning in an Illogical World El jueves 25 y viernes 26 de julio de 1996 en Piscataway, Nueva Jersey. Organizado por   El Centro de Matemáticas Discretas e Informática Teórica (Center for Discrete Mathematics and Theoretical Computer Science, DIMACS)   Asociación de Lógica Simbólica (Asociation for Symbolic Logic). Con el apoyo de la Universidad Rutgers y la Universidad Estatal de Nueva Jersey.

43 1. PARA QUÉ ENSEÑAR LÓGICA 1. En general: J. Henle & T. Tymoczko. Teaching logic after Godel ‑ & Tarksi & Turing & computers &... 2. A científicos: 1. Informática:   Panel on logic in the CS curriculum: Moshe Vardi, Phokion Kolaitis, Kim Bruce;   P. Alexander. Integrating formalism in software engineering.   V. Almstrum. Student difficulties with mathematical logic.   J. J. Lu. Constraint logic programming: a computational approach to teaching the semantics of logic.   J. Reinfelds. Logic in CS ‑ 1 and CS ‑ 2.

44   2. Matemáticas:   Dubinsky, y Yiparaki. Formal logic and mathematical thinking ‑ predicate calculus.   Durand ‑ Guerrier. Conditionals, necessity, and contingency in mathematics classes.   Franzen. Teaching mathematics through formalism.   Gries & Schneider. Teaching math more effectively, through the design of calculational proofs; Introduction to teaching logic as a tool.   Nelan. Student's attitude toward the relationship between language and mathematical reasoning.   Nesbit. Teaching mathematical thinking in HS.   Selden & Selden. The role of logic in proofs of mathematics students.   Silver. Understaaaaaaaaanding mathematics.

45 3. A filósofos 3. A filósofos 4. En primaria 4. En primaria 5. En bachillerato 5. En bachillerato 6. En licenciatura 6. En licenciatura 7. En posgrado 7. En posgrado

46 2. EFECTOS COMPROBABLES 1. Criterios y estrategias de evaluación.   1. De los alumnos,   V. Almstrum. The propositional logic test: A tool for CS Education?   Enright & Habick. The GRE Anlytical Measure.   2. De los docentes 2. Implementación, evaluación y perfeccionamiento de técnicas docentes y cursos pilotos,   H. van Ditmarsch. The logic courses at the Open Univ. in the Netherlands.   Forcheri, Gentilini & Molfino. An epistemological approach to the design of training ourses on logic.

47 3. MECANISMOS PSICOLÓGICOS K. Stenning & Lee. Cognitive processes involved in learning logic. 1. Lógica y pensamiento crítico 2. Habilidades lógicas generales   V. Liberatore. Learning to prove: a taxonomy of objectives. 3. Estudios sobre la capacidad lógica en alumnos mexicanos y de otros países.

48 4. MANERAS DE ENSEÑAR S. Maurer. Teaching reasoning, broadly and narrowly. 1. En la historia 2. Problemas de motivación y consejos para crearla   S. Epp. A cognitive approach to teaching logic and proof.   M. McKeon. A pedagogical approach to a foundation for the definition of validity in first ‑ order logic. 3. Efectos del trabajo en grupos 4. Temas específicos: Grantham. Semiformal proof in predicate logic, Greek Knuckleballs and Lucky Charms: some metaphors and notation for dealing with quantifiers, M.C. Clarke. Comparison of techniques for introducing material implication.

49 5. MATERIALES 1. Libros de texto 2. Software para enseñar lógica   1. Evaluarlos,   Hoover & Rudnicki. Teaching with MIZAR ‑ MSE.   K. Paprzycka. Using animated MS Powerpoint presentations in teaching logic. (http://orca.st.usm.edu/paprzycka/anilogic.html)   2. Crearlos,   J. Barwise, K. Fisler & Eberle. Teaching reasoning using heterogeneous logic.   D. Gries. A calculational proof of Andrews's challenge. 3. Recursos por Internet y enseñanza a distancia 4. Repositorio nacional

50 ARACNE En 1998 fue creada esta red ALFA. Organizó, con el apoyo de la Universidad de Salamanca, del 14 al 17 de junio de este año el "Primer Congreso Internacional sobre Herramientas para Enseñar Lógica". La organizadora, María Manzano, envió por mi conducto al TDL una copia de las actas del congreso. De aquí es el material que menciono. Mara nos hablará sobre el proyecto ARACNE el próximo viernes 22 en sesión extraordinaria del TDL.

51 1. PARA QUÉ ENSEÑAR LÓGICA 1. En general,   Dick de Jongh. The teaching of logic in Science and Humanities.   Gladys Palau. The role of Logic in the learning process. 2. A científicos,   Atocha Aliseda. The Teaching of Heuristic Reasoning with Logic.   Felip Manya. Local Search Algorithms for SAT in a Course in Logic for CS.

52 3. A filósofos 4. En primaria,   Tulio Olmos. Logic for Children. 5. En bachillerato   1. Lógica formal,   Antonia Huertas. Teaching Logical Reasoning in HighSchool.   Jan Jaspars. The Dissemination of Logic in Dutch Secondary Schools.   2. "Lógica Informal" o "Pensamiento Crítico" 6. En licenciatura 7. En posgrado

53 2. CUÁLES SON LOS EFECTOS COMPROBABLES DE LA ENSEÑANZA DE LA LÓGICA 1. Criterios y estrategias de evaluación 1. De los alumnos 2. De los docentes 2. Implementación, evaluación y perfeccionamiento de técnicas docentes y cursos pilotos

54 3. CUÁLES SON LOS MECANISMOS PSICOLÓGICOS MEDIANTE LOS CUALES SE APRENDE LÓGICA 1. Lógica y pensamiento crítico 2. Habilidades lógicas generales 3. Estudios sobre la capacidad lógica en alumnos mexicanos y de otros países

55 4. MANERAS DE ENSEÑAR Ezra Heyman. Introducing Reflections on Relevance Logic in Introductory Courses. 1. Historia, Raymundo Morado. A Group Effort to Discover a Theory of Logic Teaching: The Mexican Experience. 2. Motivación, Concepción Martínez. The relevance of the Semantic Approach for the Teaching of Logic. 3. Efectos del trabajo en grupos 4. Temas específicos: Corina Yoris. The notion of validity as the key to understand the fallacy of false cause. David Miller. Word Games for Formal Logic. Sandra Lazzer y Gladys Palau. The Challenge of Formalizing Conditionals.

56 5. MATERIALES 1. Libros de texto 2. Software para enseñar lógica   1. Evaluarlos, Horacio Faas. Diagrams and Proofs.   2. Crearlos:   Raffaella Bernardi. Logic and Language from theOutside.   Rein Prank.Some Further Steps after the Computerisation of Predicate Calculus.   Walter Hoering. The advantages of Smullyan's Tree calculus for teaching logic, and a Program for teaching testing derivations: SM ‑ tutor.

57   Emilio Rodríguez. An Aplicattion for Translation of Spanish Sentences into First Order Logic Implemented in PROLOG.   Agustín Valverde. Master Thesis for Providing Feedback to the Logic Classroom.   Faraón Llorens y Sergio Mira. ADN (Natural Deduction Assistant).   Neus Budesca. Mathematical Logic Tutor ‑ PropositionaI Calculus.   Diego Rosales. Education and Technologies of the Information: A Step More.

58 3. Recursos por Internet y enseñanza a distancia   1. Evaluarlos,   Alex Klijn. Effective Translations of Didactic Principles into Logic Tutoring Software.   2. Crearlos,   Alberto Policriti. Technical Aspects of the Metabook,Construction and Use.   Ramón Béjar. On Line Dictionary of Logic   Santiago Negrete. My Virtual Logic Homework for the new Millennium.   Josje Lodder. Logic for Computer Science in Distance Education: The Logic Courses of the Open University of the Netherlands. 4. Repositorio nacional de materiales para la enseñanza de la lógica, María Manzano. ARACNE.

59 Materiales de biblioteca Libros, revistas, videos y entrevistas.

60 1. PARA QUÉ ENSEÑAR LÓGICA 1. En general,   Covey. "Logic and Liberal Learning: Some Salient Issues".   Geach. "On Teaching Logic". 2. A científicos 3. A filósofos,   Gregory. "Teaching Logic in "Introduction To Philosophy".   Verharen. "Philosophy and CT". 4. En primaria,   Madrid. Habilidades cognitivas en el aula.

61 5. En bachillerato   1. Lógica formal,   "Etica y Lógica en Preparatoria", entrevista de radio a Jorge Guillermo Silva Martínez.   Iqbal y Shayer, Accelerating the Development of Formal Thinking in Pakistan Secondary School Students   2. Lógica informal   Mc Peck. "Critical Thinking Without Logic: Restoring Dignity To Information".   31 videos sobre enseñanza de PC, por Paul: How to Teach (9), Socratic Questioning (3), Assessment (3), Current Educational Issues (10), 21st Century Video Series (6). 6. En licenciatura 7. En posgrado

62 2. EFECTOS COMPROBABLES 1. Criterios y estrategias de evaluación   1. De los alumnos,   Seibert, charles & Hedges, Sarai. "Do Students Learn in My Logic Class: What are the Facts?".   2. De los docentes 2. Implementación, evaluación y perfeccionamiento de técnicas docentes y cursos pilotos

63 3. MECANISMOS PSICOLÓGICOS 1. Lógica y pensamiento crítico 2. Habilidades lógicas,   Campirán, Guevara & Sánchez (compiladores). Habilidades de Pensamiento Crítico y Creativo.   Evans, "On the Problems of Interpreting Reasoning Data: Logical and Psychological Approaches".   Johnson ‑ Laird, "Rules and Illusions: A Critical Study of Rips's "The Psychology of Proof".   Barrouillet y Lecas, “How can mental models theory account for content effects in conditional reasoning?   Quinn y Markovits, “Conditional reasoning, causality, and the structure of semantic memory”

64   Cherubini, Garnham, Oakhill y Morley, “Can any ostrich fly?: some new data on belief bias in syllogistic reasoning”   Evans y Twyman-Musgrove, “Conditional reasoning with inducements and advice”   Johnson-Laird y Savary “Illusory inferences: a novel class of erroneous deductions”   Richards y Sanderson “The role of imagination in facilitating deductive reasoning in 2-, 3- and 4-year- olds” 3. Estudios sobre la capacidad lógica en alumnos mexicanos y de otros países,   Juárez, Clotilde. Los senderos que se bifurcan: Razonamiento lógico en niños y adolescentes.

65 4. MANERAS DE ENSEÑAR 1. En la historia 2. Problemas de motivación y consejos para crearla. 3. Efectos del trabajo en grupos sobre el aprendizaje individual.   Moor, James H. "Logic and the Keller Plan".   Klenk, Virginia. "Self ‑ Paced Logic Without Computers". 4. Técnicas para temas específicos:   Levi, Don S. "Teaching Logic: How to Overcome the Limitations of the Classroom".   McIntyre, Lee, “Teaching the Fallacy of Conversion”   Dubinsky, Ed, “On Learning Quantification”.

66 5. MATERIALES PARA ENSEÑAR 1. Libros de texto 2. Software para enseñar lógica   1. Evaluarlos:   Computerized Logic Teaching Bulletin   2. Crearlos 3. Recursos por Internet y enseñanza a distancia 4. Repositorio nacional de materiales para la enseñanza de la lógica

67 Hemos llegado al final de esta presentación. Si todavía tiene interés en el tema que escogió originalmente, mándeme una nota a [email protected] Yo pondré una página en el sitio Web del TDL con la relación de las personas interesadas en presentar temas el próximo año. Muchas gracias por su atención. Pasemos ahora a las preguntas y los comentarios.