Título
[pt] COMPREENSÃO DE CONDICIONAIS A PARTIR DA PROXIMIDADE
Título
[en] PROXIMITY-BASED UNDERSTANDING OF CONDITIONALS
Autor
[pt] RICARDO QUEIROZ DE ARAUJO FERNANDES
Vocabulário
[pt] LOGICA
Vocabulário
[pt] LOGICA DEONTICA
Vocabulário
[pt] LOGICA CONTRAFACTUAL
Vocabulário
[pt] CONDICIONAIS
Vocabulário
[pt] DEDUCAO NATURAL
Vocabulário
[en] LOGIC
Vocabulário
[en] NATURAL DEDUCTION
Resumo
[pt] Apresentamos uma lógica para a compreensão de condicionais a partir da proximidade (PUC-Logic) que unifica as lógicas Contrafactual e Deôntica propostas por David Lewis. Propomos também um sistema de dedução natural (PUC-ND) associado a essa nova lógica. Esse sistema de inferência é correto, completo, normalizável e decidível. A completude relativa para as lógicas V e CO é apresentada para dar ênfase à abordagem unificada sobre o trabalho de Lewis. Depois disso, apresentamos uma perspectiva construtivista para mostrar que a abstração contrafactual de Lewis não exige a regra do absurdo clássico.
Resumo
[en] We present a logic for Proximity-based Understanding of Conditionals (PUC-Logic) that unifies the Counterfactual and Deontic logics proposed by David Lewis. We also propose a natural deduction system (PUC-ND) associated to this new logic. This inference system is proven to be sound, complete, normalizing and decidable. The relative completeness for the V and CO logics is shown to emphasize the unified approach over the work of Lewis. We, then, present a constructive approach to counterfactuals to show that the Lewis counterfactual abstraction does not require the classical absurd rule.
Orientador(es)
EDWARD HERMANN HAEUSLER
Banca
RENATO FONTOURA DE GUSMAO CERQUEIRA
Banca
EDWARD HERMANN HAEUSLER
Banca
LUIZ CARLOS PINHEIRO DIAS PEREIRA
Banca
MARIO ROBERTO F BENEVIDES
Banca
RUY JOSE GUERRA BARRETO DE QUEIROZ
Banca
ALEX DE VASCONCELLOS GARCIA
Catalogação
2017-01-23
Apresentação
2012-08-10
Tipo
[pt] TEXTO
Formato
application/pdf
Formato
application/pdf
Formato
application/pdf
Formato
application/pdf
Formato
application/pdf
Formato
application/pdf
Formato
application/pdf
Idioma(s)
INGLÊS
Referência [pt]
https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=28782@1
Referência [en]
https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=28782@2
Referência DOI
https://doi.org/10.17771/PUCRio.acad.28782
Arquivos do conteúdo
CAPA, AGRADECIMENTOS, RESUMO, ABSTRACT, SUMÁRIO, LISTAS, EPÍGRAFE PDF CAPÍTULO 1 PDF CAPÍTULO 2 PDF CAPÍTULO 3 PDF CAPÍTULO 4 PDF CAPÍTULO 5 PDF REFERÊNCIAS BIBLIOGRÁFICAS PDF