Filosofía e Historia de las Ciencias Formales

MESA 1

Lógica, Lenguaje y Mundo

Ponentes:

  • Pedro Arturo Ramos Villegas: ¿Es el español una “lengua ilógica”? Los casos de las negaciones retóricas doble y sencilla.
  • Alejandro Javier Solares Rojas: Verdad lógica tarskiana y constantes lógicas.
  • Víctor Fabián Nava Salazar: Desde un punto de vista filosófico ¿Qué nos dicen los sistemas formales acerca de la lógica?
  • Julio César Padilla Díaz: La relación entre la lógica y la physis en Aristóteles.

Moderador: Christopher García Olvera.

 

MESA 2

Filosofía de la Lógica y Filosofía de las Matemáticas

Ponentes:

  • Moisés Macías Bustos: Filosofía Naturalista Mínima para la Teoría de Conjuntos
  • Cristian Alejandro Gutiérrez Ramírez: Pluralismo y Práctica Matemática: El Caso de la Teoría de Conjuntos y la Hipótesis del Continuo.
  • Jessica Denise Vázquez Medina: Tres lecturas de Frege: Maddy, Friend y Macbeth.
  • Christopher García Olvera: Lógica de primer orden y su introducción en México.

Moderador: Pedro Arturo Ramos Villegas.

 

MESA 3

Inconsistencia, Relevancia y Lógica.

Ponentes:

  • María del Rosario Martínez Ordaz: Chunk and Permeate adaptativo: Una estrategia de razonamiento formal para casos de ciencia inconsistente.
  • Michèle Friend: Inconsistent proofs in mathematics.
  • Paulina Mayela Raigosa Gómez: ¿Por qué R no tiene interpretación?
  • Claudia Lucía Tanús Pimentel: El principio de no contradicción y el rechazo por parte de la lógica paraconsistente.

Moderador: Víctor Fabián Nava Salazar.

 

 

 

MESA 4

Computabilidad, Cognición e Inteligencia Artificial

Ponentes:

  • Francisco Hernández Quiroz: Lógicas de programas y su papel en el desarrollo de la semántica.
  • Samuel Alejandro Lomelí Gómez: Sueños Infinitos en Procesos Finitos, El Proyecto de Hilbert y Alan Turing.
  • Gabriel Ramos García: Cognitivismo lógico: Entre las cumbres de la desesperación del platonismo y el psicologismo.

Moderador: Jessica Denise Vázquez Medina.

 

MESA 5

Filosofía de la Lógica Modal.

  • Jesús Eduardo Granados Gurrola: La metodología conducida por lógica y el principio de inclusión de evidencia.
  • Carlos Alberto Romero Castillo: Naturalización de la lógica modal metafísica.
  • María Esperanza Rodríguez Zaragoza: Objetividad de la noción de necesidad lógica establecida a partir de un análisis semántico de desacuerdos modales.
  • María Inés Pazos: Lógicas deónticas para sistemas normativos imperfectos.

Moderador: Cristian Alejandro Gutiérrez Ramírez.