ETDs @PUC-Rio
| Título: | COMPREENSÃO DE CONDICIONAIS A PARTIR DA PROXIMIDADE | ||||||||||||||||||||||||||||||||||||
| Autor: |
RICARDO QUEIROZ DE ARAUJO FERNANDES |
||||||||||||||||||||||||||||||||||||
| Colaborador(es): |
EDWARD HERMANN HAEUSLER - Orientador |
||||||||||||||||||||||||||||||||||||
| Catalogação: | 23/JAN/2017 | Língua(s): | INGLÊS - ESTADOS UNIDOS |
||||||||||||||||||||||||||||||||||
| Tipo: | TEXTO | Subtipo: | TESE | ||||||||||||||||||||||||||||||||||
| Notas: |
[pt] Todos os dados constantes dos documentos são de inteira responsabilidade de seus autores. Os dados utilizados nas descrições dos documentos estão em conformidade com os sistemas da administração da PUC-Rio. [en] All data contained in the documents are the sole responsibility of the authors. The data used in the descriptions of the documents are in conformity with the systems of the administration of PUC-Rio. |
||||||||||||||||||||||||||||||||||||
| Referência(s): |
[pt] https://www.maxwell.vrac.puc-rio.br/projetosEspeciais/ETDs/consultas/conteudo.php?strSecao=resultado&nrSeq=28782&idi=1 [en] https://www.maxwell.vrac.puc-rio.br/projetosEspeciais/ETDs/consultas/conteudo.php?strSecao=resultado&nrSeq=28782&idi=2 |
||||||||||||||||||||||||||||||||||||
| DOI: | https://doi.org/10.17771/PUCRio.acad.28782 | ||||||||||||||||||||||||||||||||||||
| Resumo: | |||||||||||||||||||||||||||||||||||||
|
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.
|
|||||||||||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||||||||||