Coloquio de Filosofía e Historia de las Ciencias Formales

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