![](https://pablodopico.files.wordpress.com/2023/03/img_5383.jpeg?w=768)
I am a PhD student at King’s College London and Humboldt Universität zu Berlin, specialising in Logic and the Philosophy of Mathematics. My main research interest lies in the notion of bivalence in the context of theories of truth and mathematics. My thesis is entitled `Bivalence: a (mostly) truth-theoretic approach’.
As part of this project, I work extensively on formal theories of truth, proof-theory, and the philosophy and metamathematics of arithmetical theories. My research is funded by an AHRC doctoral scholarship, and I am supervised by Dr Carlo Nicolai and Prof Karl-Georg Niebergall.
Besides my PhD project, I have interests in set theory and proof theory and their respective philosophies, in all aspects of the philosophy and history of logic and mathematics, in the philosophy of religion, some areas of philosophy of language and metaphysics, and in radical politics. As per my studies, I obtained a BA and an MPhil in Philosophy at KCL. I also completed a part-time BSc in Economics from the Spanish Online University (UNED).
From 2022 to 2024 I was also the President of the British Postgraduate Philosophy Association, and I am a co-founder of the informal Philosophy of Set Theory group, PoSeT.
For a more-or-less updated CV, see here.