Alfredo Roque de Oliveira Freire Filho

CV Lattes GoogleMyCitations

Universidade Estadual de Campinas (UNICAMP). Centro de Lógica, Epistemologia e História da Ciência (CLE) (Instituição-sede da última proposta de pesquisa)
País de origem: Brasil

Possui graduação em Filosofia pela Universidade do Sul de Santa Catarina (2016) e graduação em Engenharia da Computação pelo Instituto Tecnológico de Aeronáutica (2013) e doutorado em filosofia pela Universidade Estadual de Campinas. Suas principais áreas de interesse na filosofia 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)

Bolsas no país

Concluídas (mais recentes)

Resumo
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 ord...
Estudo comparado do comprometimento ontológico das teorias de classes e conjuntos, BP.DD

Bolsas no Exterior

Concluídas (mais recentes)

Resumo
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...
Sobre as condições para uma comparação do comprometimento ontológico entre teorias, BE.EP.DD

Apoio FAPESP em números * Quantidades atualizadas em 24/08/2019