skip to main content
Idioma:
Tipo de recurso Mostra resultados com: Mostra resultados com: Índice

Topics in modal quantification theory

Salvatore, Felipe De Souza

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Faculdade de Filosofia, Letras e Ciências Humanas 2015-08-21

Acesso online. A biblioteca também possui exemplares impressos.

  • Título:
    Topics in modal quantification theory
  • Autor: Salvatore, Felipe De Souza
  • Orientador: Silva, Rodrigo Bacellar da Costa e
  • Assuntos: Interpolação; Lógica; Lógica Da Justificação; Lógica Modal De Primeira Ordem; First-Order Modal Logic; Interpolation; Justification Logic; Logic
  • Notas: Dissertação (Mestrado)
  • Descrição: The modal logic S5 gives us a simple technical tool to analyze some main notions from philosophy (e.g. metaphysical necessity and epistemological concepts such as knowledge and belief). Although S5 can be axiomatized by some simple rules, this logic shows some puzzling properties. For example, an interpolation result holds for the propositional version, but this same result fails when we add first-order quantifiers to this logic. In this dissertation, we study the failure of the Definability and Interpolation Theorems for first-order S5. At the same time, we combine the results of justification logic and we investigate the quantified justification counterpart of S5 (first-order JT45). In this way we explore the relationship between justification logic and modal logic to see if justification logic can contribute to the literature concerning the restoration of the Interpolation Theorem.
  • DOI: 10.11606/D.8.2015.tde-14122015-122734
  • Editor: Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Faculdade de Filosofia, Letras e Ciências Humanas
  • Data de criação/publicação: 2015-08-21
  • Formato: Adobe PDF
  • Idioma: Inglês
Links
Voltar para lista de resultados

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.