Introducción a la Lógica de Predicados
About me
My full name is Christian Andrés Romero-Rodríguez.
I got my PhD on philosophy of science (philosophy of mathematics and logic) at UNAM, under the supervision of Luis Estrada-González. I work in Philosophy of Mathematics and Logic in Science. My PhD dissertation was titled “A philosophical study of empty logics". I am particularly interested in non-classical Logics, Philosophy of Logic and History of Logic.
I have a Bachelor's degree in philosophy and a Master's degree in Philosophy at the Universidad del Valle, in Cali, Colombia. My Bachelor's thesis was titled "Between Inconsistency and Triviality: A Classical and Non-Classical Review of Gödel's Incompleteness Theorem in Hilbert's Formalism". The Master's thesis was titled: "Between the Verum ex Quodlibet and the Cornubia rule: A study of the metalogical relationship between relevant and paraconsistent logics", both of theses under the supervision of German Guerrero-Pino.
I'm also participating in Luis' Estrada-González PAPIIT project IG400422, as well as his CONAHCYT project CBF2023-2024-55. Also, since 2013 I have been part of the Research group Episteme: Philosophy and Science of the Universidad del Valle and I am an active member of the Mexican Academy of Logic. – March 2015 until today. Finally, I am a proud member of Logic M∃x∀.
Blog
"Indeed, even at this stage I predict a time when there will be mathematical
investigations of calculi containing contradictions, and people will actually be proud of having emancipated themselves even from consistency"
Wittgenstein, Philosophical Remarks