CV Lattes
ORCID
Google Scholar Citations
Universidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências Humanas (IFCH) (Institutional affiliation from the last research proposal) Birthplace: Brazil
Bachelor degree in Philosophy from the State University of Campinas (Unicamp). M.A. in Philosophy from Unicamp. PhD student at Scuola Normale Superiore di Pisa. Interested in the areas of Modal Logic, Philosophy of Logic, Philosophy of Mathematics and Metaphysics. Currently researching topics in Modal Logic and Philosophy of Mathematics. (Source: Lattes Curriculum)
| News published in Agência FAPESP Newsletter about the researcher |
| More itemsLess items |
| TITULO |
| Articles published in other media outlets ( ): |
| More itemsLess items |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
Since antiquity philosophers raised questions about the objects of a mathematical theory: is there any such object? what is the nature of such objects? is there a difference between natural objects and mathematical ones? are mathematicalobjects able to ground the certainty of mathematics?Plato was the first to propose that mathematics is about universals. Indeed, platonic ideas represent …
This project aims to be an introductory study of first-order modal logics, i.e., first-order logics that possess modal operators among their connectives, so that the axiomatization of reflexive insensitive logics may be extended. In order to do so, the completeness of such sorts of logics, their axiomatic systems and canonical models, and the different sorts of quantifier domains will be …
| 2 / 2 | Completed scholarships in Brazil |
| Associated processes | |