I'm a PhD student at the Institute of Philosophy (ISFI) of the University of Italian Switzerland (USI) in Lugano.
My research is mainly in mathematical and philosophical logic, as well as in the philosophy of logic and of mathematics.
My PhD project is supervised by Prof. A. Giordani and co-supervised by Prof. V. Halbach. It touches upon the arithmetization of metamathematics and its different sources of intensionality, for example in Gödel's second incompleteness theorem. I'm also working on arbitrary objects.
My research is now funded by my SNF Doc.CH Grant 227030 entitled 'Intensionality in Metamathematics and Gödel's Second Incompleteness Theorem' (see here for details).
I obtained my master's degree from the University of the Italian Switzerland (USI) in 2022 and my bachelor's degree from the University of Geneva (UNIGE) in 2020.
Contact me by email at leon.probst@usi.ch, Twitter, or BlueSky.
