1 1 Segundo Congreso Internacional de Herramientas para la Enseñanza de la Lógica Universidad de Salamanca, España 26 – 30 Septiembre, 2006

2 2 ¿Qué pasó en Salamanca?  Participantes de 15 países en 3 continentes 44 ponencias en 10 mesas temáticas, más 6 sesiones plenarias y 2 talleres prácticos

3 3 Entre otras mesas, hubo estas:  Aplicaciones y redes semánticas  Lenguaje, comunicación y lógica  Software gráfico para enseñar lógica  El papel de la lógica en las ciencias y las humanidades  La enseñanza de la lógica en la filosofía  ¿Cómo enseñamos lógica?

4 4  Software interactivo para la enseñanza de la lógica  Software tutorial para el aprendizaje de la lógica  E-learning de la lógica  Probadores de teoremas

5 5 ¿Lógica para quién? ¿En qué niveles y para qué carreras?  Lógica en la educación secundaria y preparatoria  Lógica a nivel profesional para:  Matemáticos  Filósofos  Ciencias de la computación  Humanidades, en general

6 6  Lógica para postgrado e investigación, en las áreas de:  Matemáticas  Computación  Lingüística  Filosofía

7 7 Algunas de las ponencias presentadas, según línea temáticas

8 8 Software para la enseñanza de la lógica  Krysia Broda y Gabrielle Sinnadurai (Imperial College, Londres) presentan a PANDORA, programa para el aprendizaje interactivo y tutorado de deducción en lógica de primer orden, diseñado primariamente para estudiantes de computación.

9 9  Hans van Ditmarsch (U. de Otago, Nueva Zelanda) presenta ART, software tutorial para el aprendizaje de programación lógica.  Rein Prank (U. de Tartu, Estonia) hace un recuento de la experiencia del dpto. de matemáticas de Tartu, en donde se han desarrollado diversos software interactivos para el aprendizaje de la lógica matemática.

10 10  Agustín Guijarro (profesor educación media, Gran Canaria, España) presenta a ZENÓN, software interactivo para la enseñanza de la lógica proposicional a estudiantes de nivel medio básico.  Fariñas, Gasquet, Herzing y Sahade (U. Paul Sabatier, Toulouse, Francia) presentan LoTREC, un programa para construir árboles capaces de crear modelos y contramodelos para pruebas de satifacibilidad en la lógica modal de Kripke y adiestrar en su manejo.

11 11  John Baldwin (U. de Illinois, Chicago) cuestiona la enseñanza de pruebas en geometría según el modelo de Hilbert, y presenta un software interactivo que permite construir pruebas en un estilo visual más en la tradición de Euclides.  Wilfried Sieg (U. Carnegie Mellon, Pittsburg, EE.UU..) presenta un software de tutoría interactiva, específicamente destinado a desarrollar la heurística para la construcción de pruebas en lógica de primer orden.

12 12 Enseñanza de la lógica a distancia: e-learning  Enrique Alonso (U. Autónoma de Madrid), revisa el estado del arte en la materia, y presenta una propuesta general de e-learning basado en redes semánticas para el proyecto Summa Logicae de la Universidad de Salamanca

13 13  Ludmila Dostalova y Jaroslav Lang (U. del Oeste de Bohemia), presentan el ORGANON; aplicación con interfase web para la enseñanza de lógica básica.  Manuel Clavel y Adrián Riesco (U. Complutense de Madrid), presentan la herramienta web ITP: un probador de teoremas sobre propiedades inductivas, con interfase web y editor de fórmulas.

14 14  Antonia Huertas (U. Abierta de Cataluña) hace un recuento de las experiencias de la Abierta de Cataluña en la enseñanza de la lógica en ambientes virtuales, y reflexiona sobre las peculiaridades didácticas del modelo.

15 15 Problemas en la enseñanza de la lógica  Diógenes Rosales (U. Católica del Perú) reflexiona sobre la situación de la enseñanza de la lógica en Perú, y halla que está se encuentra ahí dividida entre dos corrientes dominantes: la lógica formal de estirpe anglosajona, y la tradición silogística, resultándole difícil a los estudiantes de filosofía y humanidades aceptar el aparato formal de la lógica simbólica.

16 16  Miguel Ángel Cruz (U. Veracruzana y U. Autónoma de Barcelona) realiza un trabajo de investigación empírica entre estudiantes de la U. Veracruzana, para conocer como distintos tipos de formación profesional (ciencias, ingeniería, derecho, humanidades) influyen en la capacidad del estudiante para derivar consecuencias lógicas en argumentos.  Concepción Martínez (U. de Santiago de Compostela) estudia específicamente los factores que dificultan el aprendizaje de la lógica a estudiantes de filosofía en las universidades españolas.

17 17  Theo van Janssen (U. de Amsterdan) reflexiona sobre el papel del lenguaje lógico en tanto que herramienta para crear modelos de la realidad, así como sobre los peculiares problemas que los estudiantes encuentran al inter-traducir entre lenguajes naturales y lenguajes lógicos.

18 18 La enseñanza de la lógica en el contexto de diversas disciplinas  José Pedro Úbeda (U. de Valencia) y José Ignacio Úbeda (U. de Alicante) reflexionan sobre cómo y para qué tendría que enseñarse lógica como una materia obligatoria en la carrera de matemáticas.

19 19  Brendan Larvor (U. de Hertfordshire, Inglaterra) reflexiona sobre el peculiar fenómeno de que los programas de filosofía en varias universidades del mundo persistan en enseñar la lógica silogística aristotélica como paradigma de pensamiento lógica, pero encuentra que ello lejos de ser un grave problema es un buen enfoque pedagógico para un curso de iniciación a la lógica, y narra sus experiencias con estudiantes de la U. de Ontario, Canadá.

20 20  Ángel Nepomuceno y Fernando Soler (U. de Sevilla) reflexionan, primero, sobre la lamentable situación de que el estudio de la lógica halla quedado relegado del campo de las humanidades, y después, sobre el importante papel que ésta podría y debería cumplir como puente de unión entre el pensamiento y la metodología de las ciencias naturales, las ciencias sociales y las humanidades; destacándose especialmente a las llamadas lógicas abductivas como el espacio más prometedor para tal encuentro.

21 21  Luis Sánchez Graillet (UNAM) reflexiona sobre las raíces del tradicional rechazo de los historiadores a suponer que en la investigación historiográfica deba hablarse de “lógica”, y analiza someramente que tipos de lógica se hallan involucradas en el proceso de investigación histórica, así como algunos recursos y enfoques que la lógica formal podría aportar al trabajo y la reflexión del historiador.

22 22  Francisco Salguero (U. de Sevilla) reflexiona sobre el tipo de lógica que los estudiantes de lengua española tendrían que poder manejar con fluidez, al propósito de poder realizar análisis formales en sintaxis y morfología de la lengua castellana.

23 23 Investigación y programas en la enseñanza de la lógica  Raymundo Morado (UNAM) reflexiona sobre la enseñanza de la lógica en México y sobre el trabajo del Taller de Didáctica de la Lógica, y analiza la investigación sobre didáctica de la lógica como un campo paradigmáticamente multi y transdisciplinario.

24 24  Wilfred Hodges (U. de la Reina María, Londres) presenta su programa de “redacción para estudiantes de matemáticas” que ha venido impartiendo por tres años, y muestra de que manera éste funciona, de hecho, como un programa de lógica.  Dick de Jongh (U. de Ámsterdam) explica la estructura curricular y académica del programa de maestría del Instituto de Lógica, Lenguaje y Computación de la U. de Ámsterdam, y reflexiona sobre los logros del mismo.

25 25  Johan van Benthem (U. de Ámsterdam) reflexiona, a la luz de recientes experiencias de divulgación de lógica para niños, sobre el papel que la lógica juega en la vida cotidiana, y sobre el tipo de lógica que tendría que formar parte del currículo de educación elemental.

26 26 Recursos en Internet  Hans van Ditmarsh (U. de Otago, Nueva Zelanda) reflexiona, en el décimo aniversario de su página de recursos en Internet “Logic software and logic education“, sobre la actual disponibilidad de software para la enseñanza de la lógica, y las características que un buen programa debe poseer.

27 27  Mara Manzano (U. de Salamanca) hace la presentación formal de “Summa Logicae”, sitio desarrollado por la U. de Salamanca para compilar recursos para el aprendizaje y la enseñanza de la lógica en lengua española, incluyendo software, textos electrónicos y enlaces a grupos de trabajo.

28 28 !Gracias por su asistencia¡