My graduate research focuses on the different conceptions of the set-theoretic multiverse. In particular, my research aims to develop a new conception of the multiverse, and produce a workable philosophical account of multiversism. I am interested in justifying a multiverse conception for set theory from a naturalistic point of view and to build an actual theory of the multiverse. For this research, I am working on the issue of the axiomatisation of the hyperuniverse based on V -logic and, more specifically, with reference to alternative formulations of V-logic, I am exploring a ‘tableaux method’ which might be preferable to formulations of V…
My graduate research focuses on the different conceptions of the set-theoretic multiverse. In particular, my research aims to develop a new conception of the multiverse, and produce a workable philosophical account of multiversism. I am interested in justifying a multiverse conception for set theory from a naturalistic point of view and to build an actual theory of the multiverse. For this research, I am working on the issue of the axiomatisation of the hyperuniverse based on V -logic and, more specifically, with reference to alternative formulations of V-logic, I am exploring a ‘tableaux method’ which might be preferable to formulations of V -logic based on natural deduction.
In general, I am mainly interested in questions regarding the philosophy of set theory, the foundations of mathematics, the pluralism/anti-pluralism debate, naturalism and second philosophy, the higher infinite, the continuum hypothesis, determinacy and inner models. My research interests also include intuitionism/constructivism, second order logic, type theory, proof theory, general philosophy of science, the demarcation problem, second order science, intentionality and language learning. I have also a very strong side interest in Linguistics - when I was in Pisa I wrote essays on formal Semantic, typology, computational linguistics and neurolinguistics.