Topics in modal quantification theory (2015)
- Authors:
- Autor USP: SALVATORE, FELIPE DE SOUZA - FFLCH
- Unidade: FFLCH
- Sigla do Departamento: FLF
- Subjects: LÓGICA MODAL; FILOSOFIA
- Keywords: First-order modal logic; Justification logic; Lógica da justificação; Lógica modal de primeira ordem
- Language: Inglês
- Abstract: 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.
- Imprenta:
- Data da defesa: 21.08.2015
-
ABNT
SALVATORE, Felipe de Souza. Topics in modal quantification theory. 2015. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2015. Disponível em: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-14122015-122734/. Acesso em: 19 abr. 2024. -
APA
Salvatore, F. de S. (2015). Topics in modal quantification theory (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/8/8133/tde-14122015-122734/ -
NLM
Salvatore F de S. Topics in modal quantification theory [Internet]. 2015 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-14122015-122734/ -
Vancouver
Salvatore F de S. Topics in modal quantification theory [Internet]. 2015 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-14122015-122734/
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
