Segundo Congreso
Internacional de
Herramientas para la
Enseñanza de la Lógica
Universidad de Salamanca, España
26 – 30 Septiembre, 2006
1
¿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
2
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?
3
 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
4
¿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
5
 Lógica para postgrado e investigación,
en las áreas de:




Matemáticas
Computación
Lingüística
Filosofía
6
Algunas de las ponencias
presentadas, según línea
temáticas
7
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.
8
 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.
9
 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.
10
 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.
11
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
12
 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.
13
 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.
14
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.
15
 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.
16
 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.
17
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.
18
 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á.
19
 Á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.
20
 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.
21
 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.
22
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.
23
 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.
24
 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.
25
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.
26
 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.
27
!Gracias por su
asistencia¡
28
Descargar

Segundo Congreso Internacional de Herramientas para la