Busca avançada
Ano de início
Entree

Lógica modal de primeira ordem e RI-Logics

Processo: 17/23602-7
Linha de fomento:Bolsas no Brasil - Iniciação Científica
Vigência (Início): 01 de janeiro de 2018
Vigência (Término): 31 de dezembro de 2018
Área do 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

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)

Mapa da distribuição dos acessos desta página
Para ver o sumário de acessos desta página, clique aqui.