Tópicos em teoria da quantificação modal

Autor(es)

Felipe de Souza Salvatore

• Tipo de documento: Dissertação de Mestrado
• Imprenta: São Paulo.
• Instituição: Universidade de São Paulo (USP). Faculdade de Filosofia, Letras e Ciências Humanas (FFLCH/SBD)
• Data de defesa: 2015-08-21

Membros da banca

Rodrigo Bacellar da Costa e Silva; Marcelo Finger; David Gilbert; Edelcio Gonçalves de Souza

• Orientador: Rodrigo Bacellar da Costa e Silva

Resumo

A lógica modal S5 nos oferece um ferramental técnico para analizar algumas noções filosóficas centrais (por exemplo, necessidade metafísica e certos conceitos epistemológicos como conhecimento e crença). Apesar de ser axiomatizada por princípios simples, esta lógica apresenta algumas propriedades peculiares. Uma das mais notórias é a seguinte: podemos provar o Teorema da Interpolação para a versão proposicional, mas esse mesmo teorema não pode ser provado quando adicionamos quantificadores de primeira ordem a essa lógica. Nesta dissertação vamos estudar a falha dos Teoremas da Definibilidade e da Interpolação para a versão quantificada de S5. Ao mesmo tempo, vamos combinar os resultados da lógica da justificação e investigar a contraparte da versão quantificada de S5 na lógica da justificação (a lógica chamada JT45 de primeira ordem). Desse modo, vamos explorar a relação entre lógica modal e lógica da justificação para ver se a lógica da justificação pode contribuir para a restauração do Teorema da Interpolação. (AU)

• Processo FAPESP: 12/24619-7 - Tópicos em Teoria da Quantificação Modal
• Beneficiário: Felipe de Souza Salvatore
• Modalidade de apoio: Bolsas no Brasil - Mestrado