Research Group
in Analytic Philosophy

Mathematical Logic and Foundations, Philosophical Logic, Foundations of Physics

In mathematical logic, I am presently interested in descriptive set theory. I am particularly interested in the interpretation of certain integrals from classical analysis as subsets of Polish space and their classification in the Borel and projective hierarchies as a means to classify their complexity. I want to use this branch of mathematical logic to develop the foundational aspects of integrals used in mathematical physics (in particular, general relativity and quantum mechanics).

In philosophical logic, I am interested in formal theories of truth and the self-referential paradoxes. I am particularly interested in the regimentation of theories of truth, as well as the proposition of resolutions to the self-referential paradoxes, within quantum logic, intuitionistic logic, and other non-classical frameworks. I want to explore the relationship between theories of truth and pathological mathematical objects (in this case, a function which is not measurable in the Borel hierarchy and therefore not entirely formalisable within ZFC or some axiomatic variant is pathological), particularly in the case of mathematical physics.

I am presently in the process of developing a thesis topic in which I combine some of these interests in a meaningful way. My project is funded by a PREDOCS-UB grant, and is supervised by José Martínez Fernández.

Aside from research, I like classical music, literature, history, non-analytic philosophy, art, sports, etc.

• Law, Bachelor of Laws - Queen Mary, University of London (2018 - 2022)
• Philosophy, Master of Arts - King's College London (2022 - 2023)
• Mathematical Logic, Master of Science - University of Barcelona (present)
• Philosophy, Ph. D - University of Barcelona (present)