I research and sometimes teach analytic philosophy at Instituto de Investigaciones Filosóficas (UNAM). At the moment I’m working on a book about the great Alonzo Church for Oxford University Press. Other than that, I use logic (and a bit of set theory) to study representational systems (or how language represents objective reality). In particular, I study mathematical representation; here my goal is to describe a philosophy of language suitable for mathematical language, in order to better understand both the “foundations” of mathematics and how we acquire mathematical knowledge. I also use type theory (and a little set theory) to study …