Modelos algébricos de teorias de tipos

• Processo: 24/03120-1
• Modalidade de apoio: Bolsas no Brasil - Projeto Geração
• Data de Início da vigência: 01 de junho de 2024
• Data de Término da vigência: 29 de fevereiro de 2028
• Área de conhecimento: Ciências Humanas - Filosofia - Lógica
• Pesquisador responsável: Daniel Santiago Jockwich Martinez
• Beneficiário: Daniel Santiago Jockwich Martinez
• Instituição Sede: Instituto de Filosofia e Ciências Humanas (IFCH). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Vinculado ao auxílio: 22/06486-1 - Unificando universos: uma nova abordagem sobre NF, AP.GR
• Assunto(s): Filosofia da matemática Teoria dos conjuntos Álgebra
• Palavra(s)-Chave do Pesquisador: Filosofia das matematicas | Teoría de Conjuntos | Teoria de Tipos | Filosofia de la matematica

Resumo

Propomos desenvolver uma abordagem unificada de construção de semânticas algébricas para várias teorias de tipos. Em particular, pretendemos produzir uma semântica algébrica para a teoria de tipos simplificada mais o esquema de ambiguidade. Esta última teoria de tipos é de particular interesse visto que é equiconsistente com a teoria New Foundation (NF) de Quine. Esperamos poder applicar esta abordagem algébrica para construir um modelo de NF e, assim, resolver o problema aberto da consistência de NF. (AU)