Primer día mundial de la lógica

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"

Videohttps://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"  

Videohttps://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" 

Videohttps://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” 

Videohttps://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)

Videohttps://youtu.be/xFsjpWqFvtE 

 

Imagen: © The Dolph Briscoe Center for American History, The University of Texas at Austin

 

En el curso 2021-2022 la sede del máster es la Universidad de Valladolid

El máster da acceso al doctorado interuniversitario en Lógica y Filosofía de la Ciencia

Aquí puedes conocer a nuestros alumnos

Enciclopedias, revistas, sociedades, bibliotecas virtuales

Encuentra aquí los últimos libros publicados por nuestros profesores

Trabajos fin de máster realizados por nuestros alumnos

Conoce a los coordinadores de cada Universidad

Conoce a nuestros profesores

Toda la información en un solo texto

Ciclo de conferencias anual

Nuestro decálogo de honestidad intelectual

Nuestro sistema de garantía de calidad