Uma nova concepção de lógica abstrata como base para teoria da definibilidade

• Processo: 21/12772-4
• Modalidade de apoio: Bolsas no Brasil - Doutorado
• Data de Início da vigência: 01 de abril de 2022
• Data de Término da vigência: 05 de junho de 2023
• Área de conhecimento: Ciências Humanas - Filosofia - Lógica
• Pesquisador responsável: Edelcio Gonçalves de Souza
• Beneficiário: Luiza Silva Porto Ramos
• Instituição Sede: Faculdade de Filosofia, Letras e Ciências Humanas (FFLCH). Universidade de São Paulo (USP). São Paulo , SP, Brasil
• Assunto(s): Isomorfismo
• Palavra(s)-Chave do Pesquisador: Definibilidade | Expressividade | Invariância | Isomorfismo | lógica abstrata | Teoria de Modelos

Resumo

Este projeto tem por objetivo desenvolver um quadro unificado para os sistemas lógicos baseado no método de Fraïssé para a lógica de primeira ordem. A proposta visa fornecer um tratamento mais fino para a noção de definibilidade que pode ser aplicado para a comparação de poder expressivo de sistemas. De forma sucinta, propomos (i) desenvolver uma definição de sistema lógico adequada às investigações sobre definibilidade e contrastar esta abordagem com as outras já bem conhecidas para lógica abstrata; (ii) transportar resultados da teoria da definibilidade em primeira ordem, na suas vertentes finitária e infinitária, para o contexto unificado; (iii) investigar a relevância deste contexto para os fundamentos da matemática.