Busca avançada
Ano de início
Entree

Sobre as condições para uma comparação do comprometimento ontológico entre teorias

Processo: 17/21020-0
Linha de fomento:Bolsas no Exterior - Estágio de Pesquisa - Doutorado Direto
Vigência (Início): 01 de fevereiro de 2018
Vigência (Término): 31 de janeiro de 2019
Área do conhecimento:Ciências Humanas - Filosofia - Lógica
Pesquisador responsável:Walter Alexandre Carnielli
Beneficiário:Alfredo Roque de Oliveira Freire Filho
Supervisor no Exterior: Joel David Hamkins
Instituição-sede: Centro de Lógica, Epistemologia e História da Ciência (CLE). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
Local de pesquisa : City University of New York, New York (CUNY), Estados Unidos  
Vinculado à bolsa:16/10497-8 - Estudo comparado do comprometimento ontológico das teorias de classes e conjuntos, BP.DD
Assunto(s):Teoria dos conjuntos

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 von Neumman-Bernays-G\"odel (NBG), visando o estabelecimento de uma metodologia geral para o comprometimento ontológico. (AU)

Mapa da distribuição dos acessos desta página
Para ver o sumário de acessos desta página, clique aqui.