Bachelor in Philosophy from Universidade do Estado do Rio de Janeiro (2010), master in Philosophy from Pontifícia Universidade Católica do Rio de Janeiro (2013) and PhD in Philosophy from University of Tübingen (2018). Currently holds a permanent teaching position in logic at the Department of Philosophy of State University of Rio de Janeiro. Has experience in Philosophy, focusing on Logic, acting on the following subjects: identity of proofs, normalisation, synonymy, hypotheses, illocutions in proofs. (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) |
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…
| 1 / 1 | Completed scholarships in Brazil |
| Associated processes | |
CV Lattes
ORCID