Possui graduação em Filosofia pela Universidade do Estado do Rio de Janeiro (2010), mestrado em Filosofia pela Pontifícia Universidade Católica do Rio de Janeiro (2013) e doutorado em Filosofia pela Universidade de Tübingen (2018). Atualmente é professor adjunto de lógica no Departamento de Filosofia da Universidade do Estado do Rio de Janeiro. Tem experiência na área de Filosofia, com ênfase em Lógica, atuando principalmente nos seguintes temas: identidade de provas, sinonímia, normalização, hipóteses, ilocuções em provas. (Fonte: Currículo Lattes)
| Matéria(s) publicada(s) na Agência FAPESP sobre o(a) pesquisador(a) |
| Mais itensMenos itens |
| TITULO |
| Matéria(s) publicada(s) em Outras Mídias ( ): |
| Mais itensMenos itens |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
O objetivo primário da pesquisa a ser empreendida consiste em esclarecer a natureza da força ilocucionária correspondente às hipóteses em lógica e em Matemática, bem como em explicar seu papel na estruturação lógica da linguagem Matemática. Assim, ela fará convergirem iniciativas dos projetos de pesquisa Hypotheses, liderado pelo Prof. Peter Schroeder-Heister (Uni-Tübingen), e Genericity …
| 1 | Bolsas no país concluídas |
| Processos vinculados | |
CV Lattes
ORCID