Exportar registro bibliográfico

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
  • Acesso à fonte
    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      SALVATORE, Felipe de Souza; SILVA, Rodrigo Bacellar da Costa e. Topics in modal quantification theory. 2015.Universidade de São Paulo, São Paulo, 2015. Disponível em: < http://www.teses.usp.br/teses/disponiveis/8/8133/tde-14122015-122734/ >.
    • APA

      Salvatore, F. de S., & Silva, R. B. da C. e. (2015). Topics in modal quantification theory. 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, Silva RB da C e. Topics in modal quantification theory [Internet]. 2015 ;Available from: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-14122015-122734/
    • Vancouver

      Salvatore F de S, Silva RB da C e. Topics in modal quantification theory [Internet]. 2015 ;Available from: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-14122015-122734/


Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2021