11

Segundo Congreso Segundo Congreso Internacional de Internacional de

Herramientas para la Herramientas para la Enseñanza de la LógicaEnseñanza de la Lógica

Universidad de Salamanca, EspañaUniversidad de Salamanca, España

26 – 30 Septiembre, 200626 – 30 Septiembre, 2006

22

¿Qué pasó en Salamanca?¿Qué pasó en Salamanca?

Participantes de 15 países en 3 Participantes de 15 países en 3 continentescontinentes

44 ponencias en 10 mesas temáticas, más 44 ponencias en 10 mesas temáticas, más 6 sesiones plenarias y 2 talleres 6 sesiones plenarias y 2 talleres prácticosprácticos

33

Entre otras mesas, hubo estas:Entre otras mesas, hubo estas:

Aplicaciones y redes semánticasAplicaciones y redes semánticas Lenguaje, comunicación y lógicaLenguaje, comunicación y lógica Software gráfico para enseñar lógicaSoftware gráfico para enseñar lógica El papel de la lógica en las ciencias y las El papel de la lógica en las ciencias y las

humanidadeshumanidades La enseñanza de la lógica en la filosofíaLa enseñanza de la lógica en la filosofía ¿Cómo enseñamos lógica?¿Cómo enseñamos lógica?

44

Software interactivo para la enseñanza Software interactivo para la enseñanza de la lógicade la lógica

Software tutorial para el aprendizaje de Software tutorial para el aprendizaje de la lógicala lógica

E-learning de la lógicaE-learning de la lógica Probadores de teoremasProbadores de teoremas

55

¿Lógica para quién? ¿En qué ¿Lógica para quién? ¿En qué niveles y para qué carreras?niveles y para qué carreras?

Lógica en la educación secundaria y Lógica en la educación secundaria y preparatoriapreparatoria

Lógica a nivel profesional para:Lógica a nivel profesional para: MatemáticosMatemáticos FilósofosFilósofos Ciencias de la computaciónCiencias de la computación Humanidades, en generalHumanidades, en general

66

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

77

Algunas de las ponencias Algunas de las ponencias presentadas, según línea presentadas, según línea

temáticastemáticas

88

Software para la Software para la enseñanza de la lógicaenseñanza de la lógica

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

99

Hans van DitmarschHans van Ditmarsch (U. de Otago, (U. de Otago, Nueva Zelanda) presenta ART, software Nueva Zelanda) presenta ART, software tutorial para el aprendizaje de tutorial para el aprendizaje de programación lógica.programación lógica.

Rein PrankRein Prank (U. de Tartu, Estonia) hace (U. de Tartu, Estonia) hace un recuento de la experiencia del dpto. un recuento de la experiencia del dpto. de matemáticas de Tartu, en donde se de matemáticas de Tartu, en donde se han desarrollado diversos software han desarrollado diversos software interactivos para el aprendizaje de la interactivos para el aprendizaje de la lógica matemática. lógica matemática.

1010

Agustín GuijarroAgustín Guijarro (profesor educación media, (profesor educación media, Gran Canaria, España) presenta a ZENÓN, Gran Canaria, España) presenta a ZENÓN, software interactivo para la enseñanza de la software interactivo para la enseñanza de la lógica proposicional a estudiantes de nivel lógica proposicional a estudiantes de nivel medio básico.medio básico.

FariñasFariñas, , GasquetGasquet, , HerzingHerzing y y SahadeSahade (U. (U. Paul Sabatier, Toulouse, Francia) presentan Paul Sabatier, Toulouse, Francia) presentan LoTREC, un programa para construir árboles LoTREC, un programa para construir árboles capaces de crear modelos y contramodelos capaces de crear modelos y contramodelos para pruebas de satifacibilidad en la lógica para pruebas de satifacibilidad en la lógica modal de Kripke y adiestrar en su manejo. modal de Kripke y adiestrar en su manejo.

1111

John BaldwinJohn Baldwin (U. de Illinois, Chicago) (U. de Illinois, Chicago) cuestiona la enseñanza de pruebas en cuestiona la enseñanza de pruebas en geometría según el modelo de Hilbert, y geometría según el modelo de Hilbert, y presenta un software interactivo que permite presenta un software interactivo que permite construir pruebas en un estilo visual más en la construir pruebas en un estilo visual más en la tradición de Euclides.tradición de Euclides.

WilfriedWilfried SiegSieg (U. Carnegie Mellon, Pittsburg, (U. Carnegie Mellon, Pittsburg, EE.UU..) presenta un software de tutoría EE.UU..) presenta un software de tutoría interactiva, específicamente destinado a interactiva, específicamente destinado a desarrollar la heurística para la construcción desarrollar la heurística para la construcción de pruebas en lógica de primer orden. de pruebas en lógica de primer orden.

1212

Enseñanza de la lógica a Enseñanza de la lógica a distancia: distancia: e-learninge-learning

EnriqueEnrique AlonsoAlonso (U. Autónoma de (U. Autónoma de Madrid), revisa el estado del arte en la Madrid), revisa el estado del arte en la materia, y presenta una propuesta materia, y presenta una propuesta general de e-learning basado en redes general de e-learning basado en redes semánticas para el proyecto semánticas para el proyecto Summa Summa Logicae Logicae de la Universidad de Salamancade la Universidad de Salamanca

1313

LudmilaLudmila DostalovaDostalova y y JaroslavJaroslav LangLang (U. (U. del Oeste de Bohemia), presentan el del Oeste de Bohemia), presentan el ORGANON; aplicación con interfase web ORGANON; aplicación con interfase web para la enseñanza de lógica básica. para la enseñanza de lógica básica.

Manuel ClavelManuel Clavel y y Adrián RiescoAdrián Riesco (U. (U. Complutense de Madrid), presentan la Complutense de Madrid), presentan la herramienta web ITP: un probador de herramienta web ITP: un probador de teoremas sobre propiedades inductivas, teoremas sobre propiedades inductivas, con interfase web y editor de fórmulas.con interfase web y editor de fórmulas.

1414

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

1515

Problemas en la enseñanza Problemas en la enseñanza de la lógicade la lógica

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

1616

Miguel Ángel CruzMiguel Ángel Cruz (U. Veracruzana y U. (U. Veracruzana y U. Autónoma de Barcelona) realiza un trabajo de Autónoma de Barcelona) realiza un trabajo de investigación empírica entre estudiantes de la investigación empírica entre estudiantes de la U. Veracruzana, para conocer como distintos U. Veracruzana, para conocer como distintos tipos de formación profesional (ciencias, tipos de formación profesional (ciencias, ingeniería, derecho, humanidades) influyen en ingeniería, derecho, humanidades) influyen en la capacidad del estudiante para derivar la capacidad del estudiante para derivar consecuencias lógicas en argumentos. consecuencias lógicas en argumentos.

Concepción MartínezConcepción Martínez (U. de Santiago de (U. de Santiago de Compostela) estudia específicamente los Compostela) estudia específicamente los factores que dificultan el aprendizaje de la factores que dificultan el aprendizaje de la lógica a estudiantes de filosofía en las lógica a estudiantes de filosofía en las universidades españolas. universidades españolas.

1717

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

1818

La enseñanza de la lógica en el La enseñanza de la lógica en el contexto de diversas contexto de diversas

disciplinas disciplinas

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

1919

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

2020

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

2121

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

2222

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

2323

Investigación y programas Investigación y programas en la enseñanza de la lógicaen la enseñanza de la lógica

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

2424

Wilfred HodgesWilfred Hodges (U. de la Reina María, (U. de la Reina María, Londres) presenta su programa de “redacción Londres) presenta su programa de “redacción para estudiantes de matemáticas” que ha para estudiantes de matemáticas” que ha venido impartiendo por tres años, y muestra de venido impartiendo por tres años, y muestra de que manera éste funciona, de hecho, como un que manera éste funciona, de hecho, como un programa de lógica. programa de lógica.

Dick de JonghDick de Jongh (U. de Ámsterdam) explica la (U. de Ámsterdam) explica la estructura curricular y académica del programa estructura curricular y académica del programa de maestría del Instituto de Lógica, Lenguaje y de maestría del Instituto de Lógica, Lenguaje y Computación de la U. de Ámsterdam, y Computación de la U. de Ámsterdam, y reflexiona sobre los logros del mismo. reflexiona sobre los logros del mismo.

2525

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

2626

Recursos en InternetRecursos en Internet

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

2727

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

2828

!Gracias por su !Gracias por su asistencia¡asistencia¡