CV Lattes
ORCID
Google Scholar Citations
Universidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências Humanas (IFCH) (Instituição Sede da última proposta de pesquisa) País de origem: Brasil
Bacharelado em Filosofia pela Universidade Estadual de Campinas (Unicamp). Mestrado em Filosofia pela Unicamp. Doutorando em Filosofia na Scuola Normale Superiore di Pisa. Possui interesse nas áreas de Lógica Modal, Filosofia da Lógica, Filosofia da Matemática e Metafísica. Atualmente, desenvolve pesquisa na área de Lógica Modal e Filosofia da Matemática. (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) |
Desde a antiguidade filósofos levantaram questões sobre os objetos da teoria matemática: há de fato tais tipos de objetos? Qual seria sua natureza? Há alguma diferença entre eles e os objetos que encontramos na natureza? Seriam os objetos matemáticos capazes de fundamentar a certeza da matemática? Platão foi o primeiro a propor que a matemática seria sobre universais. De fato, ideias plat…
O objetivo deste projeto é realizar um estudo introdutório às lógicas modais de primeira ordem, i.e., lógicas de primeira ordem que possuem operadores modais, para que se possa estender a axiomatização das lógicas insensíveis à reflexividade (RI-Logics). Particularmente, serão vistos a completude destes tipos de lógica, suas axiomatizações, seus modelos canônicos e os diferentes tipos de …
| 2 | Bolsas no país concluídas |
| Processos vinculados | |