lunes, 24 de octubre de 2016 | 09:00 | Lógica, Lenguaje y Mundo | Ramos Villegas, Pedro Arturo | ¿Es el español una “lengua ilógica”? Los casos de las negaciones retóricas doble y sencilla |
Centro de Convenciones El Carmen Aula 08 | Solares Rojas, Alejandro Javier | Verdad lógica tarskiana y constantes lógicas |
||
Nava Salazar, Víctor Fabián | Desde un punto de vista filosófico ¿Qué nos dicen los sistemas formales acerca de la lógica? |
|||
Padilla Díaz, Julio César | La relación entre la lógica y la physis en Aristóteles |
|||
García Olvera, Christopher | Moderador | |||
11:00 | Lógica y Filosofía de las Matemáticas | Macías Bustos, Moisés | Filosofía Naturalista Mínima para la Teoría de Conjuntos | |
Centro de Convenciones El Carmen Aula 08 | Gutiérrez Ramírez, Cristian Alejandro | Pluralismo y Práctica Matemática: El Caso de la Teoría de Conjuntos y la Hipótesis del Continuo |
||
Vázquez Medina, Jessica Denise | Tres lecturas de Frege: Maddy, Friend y Macbeth | |||
García Olvera, Christopher | Lógica de primer orden y su introducción en México | |||
Ramos Villegas, Pedro Arturo | Moderador | |||
12:30 | Inconsistencia, Relevancia y Lógica |
Martínez Ordaz, María del Rosario |
Chunk and Permeate adaptativo: Una estrategia de razonamiento formal para casos de ciencia inconsistente |
|
Centro de Convenciones El Carmen Aula 08 | Friend, Michèle | Inconsistent proofs in mathematics |
||
Raigosa Gómez, Paulina Mayela | ¿Por qué R no tiene interpretación? |
|||
Tanús Pimentel, Claudia Lucía | El principio de no contradicción y el rechazo por parte de la lógica paraconsistente |
|||
Nava Salazar, Víctor Fabián | Moderador | |||
martes, 25 de octubre de 2016 | 16:00 | Computabilidad, Cognición e Inteligencia Artificial | Hernández Quiroz, Francisco | Lógicas de programas y su papel en el desarrollo de la semántica |
CIMSUR Aula 01 | Lomelí Gómez, Samuel Alejandro | Sueños Infinitos en Procesos Finitos, El Proyecto de Hilbert y Alan Turing |
||
Ramos García, Gabriel | Cognitivismo lógico: Entre las cumbres de la desesperación del platonismo y el psicologismo |
|||
Vázquez Medina, Jessica Denise | Moderadora | |||
18:00 | Filosofía de la Lógica Modal | Granados Gurrola, Jesús Eduardo | La metodología conducida por lógica y el principio de inclusión de evidencia |
|
CIMSUR Aula 01 | Romero Castillo, Carlos Alberto | Naturalización de la lógica modal metafísica |
||
Rodríguez Zaragoza, María Esperanza |
Objetividad de la noción de necesidad lógica establecida a partir de un análisis semántico de desacuerdos modales |
|||
Pazos, María Inés | Lógicas deónticas para sistemas normativos imperfectos |
|||
Gutiérrez Ramírez, Cristian Alejandro |
Moderador |