Dissertação
- Autor
- PEDRO ALONSO AMARAL FALCÃO
- Orientador(a)
- RODRIGO BACELLAR DA COSTA E SILVA
- Universidade
- UNIVERSIDADE DE SÃO PAULO — USP
- Programa
- FILOSOFIA
- Grau
- MESTRADO
- Ano
- 2012
2012PEDRO ALONSO AMARAL FALCÃO. ASPECTOS DA TEORIA DE FUNÇÕES MODAIS. 2012. Dissertação (MESTRADO em FILOSOFIA) — UNIVERSIDADE DE SÃO PAULO, SP. Orientador(a): RODRIGO BACELLAR DA COSTA E SILVA.1
Apresentamos alguns aspectos da teoria de funções modais, que é o correlato modal da teoria de funções de verdade. Enquanto as fórmulas da lógica proposicional clássica expressam funções de verdade, as fórmulas da lógica proposicional modal (S5) expressam funções modais. Generalizamos alguns dos teoremas da teoria de funções de verdade para o caso modal; em particular, exibimos provas da completude funcional de alguns conjuntos de funções modais e definimos uma (nova) noção de ‘reduto verofuncional’ de funções modais, bem como a composição de funções modais em termos destes redutos
Palavras-chave: