Operadores de atualidade resultantes de combinações de lógicas modais quantificadas

• Processo: 21/01458-7
• Modalidade de apoio: Bolsas no Brasil - Doutorado
• Data de Início da vigência: 01 de agosto de 2021
• Data de Término da vigência: 31 de dezembro de 2025
• Área de conhecimento: Ciências Humanas - Filosofia - Lógica
• Pesquisador responsável: Marcelo Esteban Coniglio
• Beneficiário: Alan Renê Maciel Antezana
• Instituição Sede: Centro de Lógica, Epistemologia e História da Ciência (CLE). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Assunto(s): Lógica modal Atualidade Verdade Semântica Determinismo (filosofia)
• Palavra(s)-Chave do Pesquisador: atualidade | Atualismo | Combinações de lógicas | Lógica Modal Quantificada | Filosofia

Resumo

Este trabalho visa o desenvolvimento de sistemas de lógicas modais quantificadas que sistematizam a noção filosófica de atualidade. Estes sistemas serão desenvolvidos por meio do processo de fibring algébrico. O esclarecimento acerca do significado do conceito de atualidade se mostra relevante no contexto do debate geral entre atualistas e possibilistas, que permanece aberto. Possibilistas crêem na existência de objetos meramente possíveis, isto é, objetos que existem em algum mundo possível, mas não no mundo possível atual; enquanto atualistas não crêem na existência de objetos meramente possíveis. Em outras palavras, pode-se afirmar que os atualistas crêem que algo existe se, e somente se, este algo é atual, i.e. pertence ao domínio do mundo atual. No projeto, sugere-se uma relação entre a noção de verdade e a noção de atualidade, que será abordada por meio da análise de sistemas modais com operadores de atualidade e semânticas não-determinísticas. (AU)