| Processo: | 17/21020-0 |
| Modalidade de apoio: | Bolsas no Exterior - Estágio de Pesquisa - Doutorado Direto |
| Data de Início da vigência: | 01 de fevereiro de 2018 |
| Data de Término da vigência: | 31 de janeiro de 2019 |
| Área de conhecimento: | Ciências Humanas - Filosofia - Lógica |
| Pesquisador responsável: | Walter Alexandre Carnielli |
| Beneficiário: | Alfredo Roque de Oliveira Freire Filho |
| Supervisor: | 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 |
| Instituição Anfitriã: | 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 Ontologia (filosofia) |
| Palavra(s)-Chave do Pesquisador: | Comprometimento ontológico | Consistência Relativa | nbg | Teoría de Conjuntos | traduções entre teorias de primeira ordem | Zfc | 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) | |
| Matéria(s) publicada(s) na Agência FAPESP sobre a bolsa: | |
| Mais itensMenos itens | |
| TITULO | |
| Matéria(s) publicada(s) em Outras Mídias ( ): | |
| Mais itensMenos itens | |
| VEICULO: TITULO (DATA) | |
| VEICULO: TITULO (DATA) | |