Welcome to the webpage for a group of logicians based at the Institute for Philosophical Research of UNAM. Our main interests include (philosophical) logic, (mathematical) logic, (philosophy of) logic, (history of) logic, (computational) logic and (applications of) logic.
Currently, we are working mainly on general theories of logic, the meaning of logical connectives, the issue of how many and which logics are correct, broadly sociative (i.e. connexive, relevance, paraconsistent, etc.) logics and inconsistent mathematics.
Ricardo Arturo Nicolás-Francisco (PhD 2X)
José Luis Bautista Chacón (MA)
Uriel Arizmendi-Hernández (BA)
Alejandro Estrada-Girón (MA)
Iain André del-Villar-Martínez (BA)
Alan Soto Cristóbal (MA)
Fernando Cano-Jorge (Otago)
Christian Andrés Romero-Rodríguez (Cali)
Alejandro Solares-Rojas (Buenos Aires)
Elisángela Ramírez Cámara (CDMX)
Luis Felipe Bartolo-Alegre, September 2026
Martin Vacek, March 2026
Andrea Iacona, January 2026
João Marcos, August 2025-January 2026
Eduardo Barrio, August-September 2024
Other logicians at the Institute: Atocha Aliseda-Llera, Mario Gómez-Torrente, Raymundo Morado.
Other logicians at UNAM:
Other logic groups in Mexico: Lógica MX, Academia Mexicana de Lógica, SIGNO-MON, ReDLA
*Lifted site design and ideas cribbed from Logic in Bochum