We use cookies to personalise content and ads, to provide social media features and to analyse our traffic. Read more…
Monday
02
APR

1° Congreso de Historia y Filosofía de las Ciencias Formales

10:00
19:30
Coordinación de Filosofía
Event organized by Coordinación de Filosofía

Get Directions

Category
#var:page_name# cover

El Colegio de Filosofía, el Posgrado en Filosofía de la Ciencia, el proyecto PAPIIT IA401717 "Pluralismo y normatividad en lógica y matemáticas" y la UACM - Plantel del Valle invitan al Primer Congreso Nacional de Historia y Filosofía de las Ciencias Formales que se llevará a cabo del 2 al 5 de abril.

Locaciones por día:
-2 de abril: Salón H-309 de la Unidad de Posgrado
-3 y 4 de abril: Sala A de la Facultad de Filosofía
-5 de abril en el Aula Magna de UACM del Valle

Informes: congreso.ciencias.formales@gmail.com

Entrada libre

Programa del Primer Congreso Nacional de Historia y Filosofía de las Ciencias Formales

Lunes 2 de abril.
Salón H-309, Unidad de Posgrado, UNAM.

10:00 a 10:10 Inauguración del evento.

10:10 a 11:10 La existencia como una propiedad abstracta.
Pedro A. Ramos Villegas (UACM/UNAM)
Comentarista: Jesús Eduardo Granados Gurrola (FFyL-UNAM)
Moderador: J. Denise Vázquez Medina (Colegio Vista Hermosa)

11:20 a 12:20 Tetradimensionalismo y Espacio-Tiempo Minkowski.
Moisés Macías Bustos (FFyL-UNAM)
Comentarista: Lenin Vázquez (IIFs-UNAM)
Moderador: Katia Pamela Martínez Casañas (FES Acatlán-UNAM)

12:30 a 13:30 ¿Cuándo una proposición es absolutamente indecidible?
Cristian A. Gutiérrez Ramírez (FFyL-UNAM)
Comentarista: J. Denise Vázquez Medina (Colegio Vista Hermosa)
Moderador: Andreina Graterol (PFC-UNAM)

13:40 a 14:40 La noción pre-moderna de número de Bernard Bolzano.
Elías Fuentes Guillén (UAEMex)
Comentarista: Mauricio Algalán Meneses (PFC-UNAM)
Moderador: Martha Jennifer Pérez Dorantes (FFyL-UNAM)

14:40 a 17:00 DESCANSO

17:00 a 18:00 ¿Matematización o aplicación de las matemáticas? Algunas reflexiones sobre el concepto de probabilidad.
Carmen Martínez Adame (FC-UNAM)
Comentarista: Cristian A. Gutiérrez Ramírez (FFyL-UNAM)
Moderador: César de Jesús Escobedo Sánchez (PF-UNAM)

18:10 a 19:10 ¿Qué son y para qué sirven los axiomas de la aritmética? Algunos comentarios en torno de Euclides, Dedekind y Peano.
Carlos Álvarez Jiménez (FC-UNAM)
Comentarista: Andreina Graterol (PFC-UNAM)
Moderador: Ytzelt Gónzalez García (UACM)


Martes 3 de abril.
Sala A, Facultad de Filosofía y Letras, UNAM.

10:00 a 11:00 Los costos de las soluciones no clásicas a las paradojas conjuntistas.
Claudia Lucía Tanús Pimentel (IIFs-UNAM)
Comentarista: Esperanza Hernández Huerta (Instituto Juárez)
Moderador: Antonio P. Hernández Hernández (FFyL-UNAM)

11:10 a 12:10 Una visión del estructuralismo modal de Geoffrey Hellman.
Alma Jazmín Cruz Martínez (FFyL-UNAM)
Comentarista: Rafael Peralta Martínez (PF-UNAM)
Moderador: Samuel A. Lomelí Gómez (FFyL-UNAM)

12:20 a 13:20 Introducción a las lógicas contraclásicas.
Luis Estrada González (IIFs-UNAM)
Comentarista: Elisángela Ramírez Cámara (IIFs-UNAM)
Moderador: Alma Jazmín Cruz Martínez (FFyL-UNAM)

13:30 a 14:30 ¿Qué tan CooL puede ser HoTT (al interpretarse fundacionalmente)?
Carlos César Jiménez (PFC-UNAM)
Comentarista: Manuel Eduardo Tapia Navarro (IIFs-UNAM)
Moderador: Claudia Lucía Tanús Pimentel (IIFs-UNAM)

14:30 a 17:00 DESCANSO

17:00 a 18:00 Probabilidad operacional explícita: una aplicación de las lógicas de justificaciones S4LP, S4LPN y LPGL.
J. Mauricio Andrade Guzmán (FC-UNAM)
Comentarista: Esperanza Rodríguez Zaragoza (FES Acatlán-UNAM)
Moderador: Cristina Isabel Flores Ramírez (FFyL-UNAM)

18:10 a 19:10 De justificaciones, diálogos normativos y juegos: el método de tableaux.
Francisco Martínez Herrera (PFC-UNAM)
Comentarista: Carlos A. Romero Castillo (IIFs-FFyL-UNAM)
Moderador: Samuel A. Lomelí Gómez (FFyL-UNAM)


Miércoles 4 de abril.
Sala A, Facultad de Filosofía y Letras, UNAM.

10:00 a 11:00 Evaluación de condicionales contrafácticos: semánticas de mundos posibles vs. modelos causales.
Mitzi Dzahy Islas Paredes (FFyL-UNAM)
Comentarista: L. Rodolfo Vázquez Cabrera (FFyL-UNAM)
Moderador: Raymundo Meza Rivera (FFyL-UNAM)

11:10 a 12:10 La paradoja de Curry en Lógica Categorista.
Manuel Eduardo Tapia Navarro (IIFs-UNAM)
Comentarista: Aline Thome Williams (FFyL-UNAM)
Moderador: Elisángela Ramírez Cámara (IIFs-UNAM)

12:20 a 13:20 Lógica de posibilidad relativa a tiempo real.
Carlos A. Romero Castillo (IIFs-FfyL-UNAM)
Comentarista: Alejandro Ruelas Velásquez (FES Acatlán-UNAM)
Moderador: Mitzi Dzahy Islas Paredes (FFyL-UNAM)

13:30 a 14:30 Scientific inconsistent reasoning and its many reconstructions.
María del Rosario Martínez Ordaz (IIFs-UNAM)
Comentarista: Gabriel Ramos García (FFyL-UNAM)
Moderador: Lenin Vázquez (IIFs-UNAM)

14:30 a 17:00 DESCANSO

17:00 a 18:00 Hacia una taxonomía de inferencias abductivas noveles con justificaciones explícitas.
Rodrigo Medina Vega (PFC-UNAM)
Comentarista: Gabriela Hernández Deciderio (ENP-UNAM)
Moderador: Francisco Martínez Herrera (PFC-UNAM)

18:10 a 19:10 Algunas consideraciones sobre la lógica del razonamiento por default.
David Gaytán Cabrera (UACM/UNAM)
Comentarista: María del Rosario Martínez Ordaz (IIFs-UNAM)
Moderador: Gabriela Hernández Deciderio (ENP-UNAM)


Jueves 5 de abril.
Aula Magna, Plantel Del Valle, UACM.

10:00 a 11:00 Racionalidad en lógica y ciencia cognitiva.
Gabriel Ramos García (FFyL-UNAM)
Comentarista: Christian Oliva Ramírez (UACM)
Moderador: Pedro A. Ramos Villegas (UACM/UNAM)

11:00 a 12:00 La evaluación epistémica de las inferencias heurísticas.
Alejandro Vázquez del Mercado (PF-UNAM)
Comentarista: Juan Antonio Díaz Torres (PF-UNAM)
Moderador: Amílcar Arroyo Medina (UACM)

12:00 a 13:00 Principios de reflexión en teoría de conjuntos.
César de Jesús Escobedo Sánchez (PF-UNAM)
Comentarista: Cristian A. Gutiérrez Ramírez (FFyL-UNAM)
Moderador: Carlos César Jiménez (PFC-UNAM)

13:00 a 14:00 Números naturales, finitismo y computabilidad.
Francisco N. Martínez Aviña (PF-UNAM)
Comentarista: Raymundo Meza Rivera (FFyL-UNAM)
Moderador: Alejandro Vázquez del Mercado (PF-UNAM)

13:00 a 14:00 Pingüinos, Máquinas y Nebulosidad, una historia del fracaso de la IA fuerte.
Samuel A. Lomelí Gómez (FFyL-UNAM)
Comentarista: Pedro Cano Pérez (FES Acatlán-UNAM)
Moderador: Christian Oliva Ramírez (UACM)

14:30 a 17:00 DESCANSO

17:00 a 18:00 El requerimiento de irreducibilidad y no decidibilidad para la evolución.
Santiago Hernández Orozco (FC-UNAM)
Comentarista: Carlos César Jiménez (PF-UNAM)
Moderador: Esperanza Hernández Huerta (Instituto Juárez)

18:10 a 19:10 Un desarrollo casi-empírico del concepto de procedimiento efectivo.
Francisco Hernández Quiroz (FC-UNAM)
Comentarista: Samuel A. Lomelí Gómez (FFyL-UNAM)
Moderador: Juan Antonio Díaz Torres (PF-UNAM)