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

 

The headquarter for 2017-2018 is the University of Valladolid

This master’s degree gives direct access to the interuniversity PhD programme in Logic and Philosophy of Science.

Logic and Philosophy of Science alumni

Encyclopedias, journals, learned societies , virtual libraries

Learn about the latest books published by our teachers

Master's Theses on Logic and Philosophy of Science

Get to know the coordinators of every University

Our staff

All information in one file

Our regular conferences

Our intellectual honesty decalogue

Our quality assurance system