Busca avançada
Ano de início
Entree

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

Processo: 21/01458-7
Linha de fomento:Bolsas no Brasil - Doutorado
Vigência (Início): 01 de agosto de 2021
Vigência (Término): 31 de julho de 2025
Área do 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

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)

Matéria(s) publicada(s) na Agência FAPESP sobre a bolsa:
Matéria(s) publicada(s) em Outras Mídias (0 total):
Mais itensMenos itens
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)