top of page

LógicaMX
mesa redonda
en la
Mujeres
lógica
UNAM (Mx)
Razonamiento abductivo, lógicas del descubrimiento científico, causalidad y razonamiento clínico.
UTM(Mex)
lógicas no-clásicas, las Semánticas para Programas Lógicos y la fusión de creencias.
CLE-UNICAMP (Bra)
Lógicas no-clásicas, la lógica paraconsistente, las lógicas multivaludas y la historia de la lógica
UNAM (Mx)
los sistemas de tipos para lenguajes de programación, el cálculo lambda
UP-CDMX (Mex)
Análisis filosófico de las relaciones entre la lógica y la heurística
UFRJ (Bra)
Filosofía de la lógica y epistemología de la ciencia.
Modera: Cristian Alejandro Gutiérrez Ramírez
(2021)
marzo
9



bottom of page