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.