Possui graduação em Engenharia da Computação pelo Instituto Tecnológico de Aeronáutica (2013), graduação em Filosofia pela Universidade do Sul de Santa Catarina (2016) e doutorado em filosofia pela Universidade Estadual de Campinas (2019). Alfredo atuou como visiting scholar na City University of New York (2018) sob supervisão de Joel D. Hamkins. Foi professor substituto em Lógica na Universidade de Brasília (2019-2020),foi pesquisador de pós doutorado (2020 - 2021) na Universidade de São Paulo (IME-USP) e pesquisador no instituto modal (2020) . Atualmente, é pesquisador de pós-doutorado na Universidade de Aveiro - Portugal. Suas principais áreas de interesse são lógica, fundamentos da matemática e ontologia. Trabalha atualmente na comparação entre as ontologias de teorias de conjuntos. (Fonte: Currículo Lattes)
| Matéria(s) publicada(s) na Agência FAPESP sobre o(a) pesquisador(a) |
| TITULO |
| Matéria(s) publicada(s) em Outras Mídias (0 total): |
| Mais itensMenos itens |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
Frequentemente, a prática de ZF inclui o uso metateórico da noção de classes como forma de abreviar expressões ou simplificar o entendimento de recursos conceituais. A teoria NBG expressa formalmente a internalização desse recurso na teoria dos conjuntos; nesse caso, as classes, antes usadas metateoricamente, passam a ser capturadas também pelas quantificações da teoria de primeira ordem.…
Nesta proposta de estágio, estamos interessados em ir para o Graduate Center da Universidade da Cidade de Nova York (CUNY) para avançar a pesquisa em andamento sobre a comparação do comprometimento ontológico entre teorias de primeira ordem. O foco da pesquisa será na comparação entre teorias de conjuntos, em particular a teoria de conjuntos Zermelo-Fraenkel (ZFC) e a teoria de classes vo…
| 1 | Bolsas no país concluídas |
| 1 | Bolsas no exterior concluídas |
| 2 | Todas as Bolsas |
| Processos vinculados | |
CV Lattes
ORCID