El Máster Interunivesitario en Lógica y Filosofía de la Ciencia y el Doctorado Interuniversitario en Lógica y Filosofía de la Ciencia organizan el próximo lunes 14 de enero en Salamanca el Primer Día Mundial de la Lógica. La fecha para celebrar el Día Mundial de la Lógica es la del nacimiento de Alfred Tarski y de la muerte de Kurt Gödel. Tendrá lugar en el aula 11.2 en el edificio I+D+i de la Calle Espejo (junto al Fonseca) de 11:00 a 14:00. 

Las intervenciones tendrán un carácter divulgativo. Una parte del evento estará dedicada a Leon Henkin, uno de los lógicos más influyentes del siglo XX. Veremos parte del video divulgativo "On Mathematical Induction" que Henkin grabó en 1961.

Programa y los enlaces a las presentaciones correspondientes y las grabaciones:

10:30-11:00 María Manzano (Universidad de Salamanca): "Leon Henkin"

Video:  https://youtu.be/Jsx7DhSSiW4 Presentación: "Leon Henkin"

11:00-11:30 Victor Aranda (Universidad Autónoma de Madrid): "La completud antes de Henkin"

Video: https://youtu.be/Wht1_Ic591w Presentación: "La completud antes de Henkin"

11:30-12:00 Enrique Alonso (Universidad Autónoma de Madrid): "La prueba de completud en los libros de lógica"  

Video: https://youtu.be/T89utchRfzg Presentación: "La prueba de completud en los libros de lógica"

12:00-12.15 pausa café  12:15-12:45 Claudio Conforti (Pontificia Universidad Católica Argentina): "Los tableaux semánticos y las propiedades lógicas" 

Video: https://youtu.be/Rh8nqNG7lhc Presentación: "Los tableaux semánticos y las propiedades lógicas"

12:45-13:15 Jesús Jasso (Universidad Autónoma de la Ciudad de México): “Una aproximación a la naturaleza de la Consecuencia Lógica: una polémica abierta” 

Video: https://youtu.be/h26uHZX8W7E Presentación: “Una aproximación a la naturaleza de la Consecuencia Lógica: una polémica abierta” 

13:15-13:45 Mesa redonda "La lógica hoy" (con la participación de Daniel Álvarez (USAL) y Rodrigo López Orellana (USAL) y Jesús Jasso (Universidad Autónoma de la Ciudad de México y la Academia Mexicana de Lógica)

Video: https://youtu.be/xFsjpWqFvtE