graduation at Laurea triennale in matematica from Università degli Studi di Torino PRINCIPALE (2007), graduation at Laurea triennale in filosofia from Università degli Studi di Torino PRINCIPALE (2005), master's at Corso di laurea in matematica from Università degli Studi di Torino PRINCIPALE (2009), doctorate at Doctorat en mathématiques from Université Paris Diderot (2014) and doctorate at Perfezionamento in discipline filosofiche from Scuola Normale Superiore (2014). Has experience in Mathematics, acting on the following subjects: modal logic, philosophy of mathematics, multiverse, ri-logic and forcing. (Source: Lattes Curriculum)
| News published in Agência FAPESP Newsletter about the researcher |
| TITULO |
| Articles published in other media outlets (0 total): |
| More itemsLess items |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
This project aims to develop the new foundational approach to forcing which was initially proposed in "An Axiomatic Approach to Forcing and Generic Extensions", by Rodrigo Freire, covering cases that were left open. At the same time, in order to achieve this end goal, we will provide a conceptual analysis of the relevant notions as an attempt to illuminate forcing in a general setting.For…
We intend to develop the theory of models of non-classical set theories, in particular, paraconsistent set theories. In previous work, the visiting researcher developed a paraconsistent model of set theory in which the negation-free fragment of ZF is valid, but which does not satisfy Leibniz's law of indiscernibility of identicals. In this project, we aim to improve on these results by fi…
(Only some records are available in English at this moment)
This project proposes the complete development of a proof assistant focused on diagrammatic reasoning in all its stages, namely: (i) software development (ii) debugging (iii) documentation. Among the main characteristics of this proposal, we highlight the implementation of the generic language paradigm through the notion of homomorphism between graphs, the implementation of a formal langu…
The main goal of the proposed research is to account for the nature of the illocutionary force corresponding to hypotheses in logic and Mathematics, as well as to explain its role in the logical structure of mathematical language. Thus, it gives way to a convergence of central ideas of two research projects: Hypotheses, leaded by Prof. Peter Schroeder-Heister (Uni-Tübingen), and Genericit…
My goal in this project is to study the main proposed ontologies to deal with possible worlds and the modal logic framework used for philosophers in this field. Among the main ontologies that will be studied are the David Lewis's modal realism (1986), Plantinga and Stalnaker's atualism (1979), combinatorialism - famously defended by Cresswell (1979) -, and Rutley's meinongianism (1980). C…
Many mathematicians work regularly on the study of mathematical objects, like sets, functions, matrix, etc. However, could we say that these entities exist? It seems a hard question even when we are dealing with the mathematics entities that might be the most fundamental, numbers. Furthermore, assuming one of the positions, that is, saying that such entities exist or not, raise new philos…
The proof of independence of the Axiom of Choice (abbreviated AC) relative to ZF, developed by Paul Cohen in 1963, opened up new possibilities of approach to set theory. Results in descriptive set theory, the forcing method and the study of large cardinals made possible the development of set theory beyond what was imagined hitherto. One interesting axiom that may be added to ZF is the Ax…
(Only some records are available in English at this moment)
In this project I deepen the analysis of the internal logic of set theory - topic of my FAPESP project - proposing a logical analysis of the notion of consistency and its role in the set theoretical practice. This project has a multidisciplinary point of view and tries to combine the philosophical reflection about mathematical practice and the logical description of a mathematical structu…
| 1 / 1 | Ongoing research grants |
| 4 / 4 | Completed research grants |
| 2 / 2 | Ongoing scholarships in Brazil |
| 10 / 10 | Completed scholarships in Brazil |
| 1 / 1 | Completed scholarships abroad |
| 18 / 18 | All research grants and scholarships |
| Associated processes | |
CV Lattes
ORCID