Busca avançada
Ano de início
Entree
Conteúdo relacionado

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

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
Matéria(s) publicada(s) em Outras Mídias ( ):
Mais itensMenos itens
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)

Publicações científicas
(Referências obtidas automaticamente do Web of Science e do SciELO, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores)
FREIRE, ALFREDO ROQUE; HAMKINS, JOEL DAVID. BI-INTERPRETATION IN WEAK SET THEORIES. JOURNAL OF SYMBOLIC LOGIC, v. 86, n. 2, p. 609-634, . (17/21020-0)