Lógica modal de primeira ordem e RI-Logics

• Processo: 17/23602-7
• Modalidade de apoio: Bolsas no Brasil - Iniciação Científica
• Data de Início da vigência: 01 de janeiro de 2018
• Data de Término da vigência: 31 de dezembro de 2018
• Área de conhecimento: Ciências Humanas - Filosofia - Lógica
• Pesquisador responsável: Giorgio Venturi
• Beneficiário: Pedro Teixeira Yago
• Instituição Sede: Instituto de Filosofia e Ciências Humanas (IFCH). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Vinculado ao auxílio: 16/25891-3 - Arbitrariedade e genericidade: ou sobre como falar do indizível, AP.JP
• Assunto(s): Lógica modal Lógica de primeira ordem
• Palavra(s)-Chave do Pesquisador: lógica de primeira ordem | Lógica Modal | RI-logic | Lógica modal

Resumo

O objetivo deste projeto é realizar um estudo introdutório às lógicas modais de primeira ordem, i.e., lógicas de primeira ordem que possuem operadores modais, para que se possa estender a axiomatização das lógicas insensíveis à reflexividade (RI-Logics). Particularmente, serão vistos a completude destes tipos de lógica, suas axiomatizações, seus modelos canônicos e os diferentes tipos de domínios de quantificadores. Ainda, para melhor entender as motivações por trás desses sistemas formais, alguns problemas filosóficos, cujas resoluções podem ser afetadas pelas construções de tais lógicas, serão discutidos, como o problema de Frege, a identidade de indiscerníveis e as consequências de se aceitar uma interpretação informal específica da fórmula de Barcan. (AU)