[pt] COMPREENSÃO DE CONDICIONAIS A PARTIR DA PROXIMIDADE

Detalhes bibliográficos
Ano de defesa: 2017
Autor(a) principal: RICARDO QUEIROZ DE ARAUJO FERNANDES
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Tese
Tipo de acesso: Acesso aberto
Idioma: eng
Instituição de defesa: MAXWELL
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
[pt] LOGICA
[pt] LOGICA DEONTICA
[pt] LOGICA CONTRAFACTUAL
[pt] CONDICIONAIS
[pt] DEDUCAO NATURAL
[en] LOGIC
[en] NATURAL DEDUCTION
Link de acesso: https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=28782&idi=1
https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=28782&idi=2
http://doi.org/10.17771/PUCRio.acad.28782
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.
id PUC_RIO-1_256a6b86e4a1ba81bf8ef659e02cba44
oai_identifier_str oai:MAXWELL.puc-rio.br:28782
network_acronym_str PUC_RIO-1
network_name_str Repositório Institucional da PUC-RIO (Projeto Maxwell)
repository_id_str
spelling [pt] COMPREENSÃO DE CONDICIONAIS A PARTIR DA PROXIMIDADE [en] PROXIMITY-BASED UNDERSTANDING OF CONDITIONALS [pt] LOGICA[pt] LOGICA DEONTICA[pt] LOGICA CONTRAFACTUAL[pt] CONDICIONAIS[pt] DEDUCAO NATURAL[en] LOGIC[en] NATURAL DEDUCTION[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.[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.MAXWELLEDWARD HERMANN HAEUSLERRICARDO QUEIROZ DE ARAUJO FERNANDES2017-01-23info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesishttps://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=28782&idi=1https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=28782&idi=2http://doi.org/10.17771/PUCRio.acad.28782engreponame:Repositório Institucional da PUC-RIO (Projeto Maxwell)instname:Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)instacron:PUC_RIOinfo:eu-repo/semantics/openAccess2017-09-14T00:00:00Zoai:MAXWELL.puc-rio.br:28782Repositório InstitucionalPRIhttps://www.maxwell.vrac.puc-rio.br/ibict.phpopendoar:5342017-09-14T00:00Repositório Institucional da PUC-RIO (Projeto Maxwell) - Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)false
dc.title.none.fl_str_mv [pt] COMPREENSÃO DE CONDICIONAIS A PARTIR DA PROXIMIDADE
[en] PROXIMITY-BASED UNDERSTANDING OF CONDITIONALS
title [pt] COMPREENSÃO DE CONDICIONAIS A PARTIR DA PROXIMIDADE
spellingShingle [pt] COMPREENSÃO DE CONDICIONAIS A PARTIR DA PROXIMIDADE
RICARDO QUEIROZ DE ARAUJO FERNANDES
[pt] LOGICA
[pt] LOGICA DEONTICA
[pt] LOGICA CONTRAFACTUAL
[pt] CONDICIONAIS
[pt] DEDUCAO NATURAL
[en] LOGIC
[en] NATURAL DEDUCTION
title_short [pt] COMPREENSÃO DE CONDICIONAIS A PARTIR DA PROXIMIDADE
title_full [pt] COMPREENSÃO DE CONDICIONAIS A PARTIR DA PROXIMIDADE
title_fullStr [pt] COMPREENSÃO DE CONDICIONAIS A PARTIR DA PROXIMIDADE
title_full_unstemmed [pt] COMPREENSÃO DE CONDICIONAIS A PARTIR DA PROXIMIDADE
title_sort [pt] COMPREENSÃO DE CONDICIONAIS A PARTIR DA PROXIMIDADE
author RICARDO QUEIROZ DE ARAUJO FERNANDES
author_facet RICARDO QUEIROZ DE ARAUJO FERNANDES
author_role author
dc.contributor.none.fl_str_mv EDWARD HERMANN HAEUSLER
dc.contributor.author.fl_str_mv RICARDO QUEIROZ DE ARAUJO FERNANDES
dc.subject.por.fl_str_mv [pt] LOGICA
[pt] LOGICA DEONTICA
[pt] LOGICA CONTRAFACTUAL
[pt] CONDICIONAIS
[pt] DEDUCAO NATURAL
[en] LOGIC
[en] NATURAL DEDUCTION
topic [pt] LOGICA
[pt] LOGICA DEONTICA
[pt] LOGICA CONTRAFACTUAL
[pt] CONDICIONAIS
[pt] DEDUCAO NATURAL
[en] LOGIC
[en] NATURAL DEDUCTION
description [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.
publishDate 2017
dc.date.none.fl_str_mv 2017-01-23
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=28782&idi=1
https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=28782&idi=2
http://doi.org/10.17771/PUCRio.acad.28782
url https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=28782&idi=1
https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=28782&idi=2
http://doi.org/10.17771/PUCRio.acad.28782
dc.language.iso.fl_str_mv eng
language eng
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv MAXWELL
publisher.none.fl_str_mv MAXWELL
dc.source.none.fl_str_mv reponame:Repositório Institucional da PUC-RIO (Projeto Maxwell)
instname:Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)
instacron:PUC_RIO
instname_str Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)
instacron_str PUC_RIO
institution PUC_RIO
reponame_str Repositório Institucional da PUC-RIO (Projeto Maxwell)
collection Repositório Institucional da PUC-RIO (Projeto Maxwell)
repository.name.fl_str_mv Repositório Institucional da PUC-RIO (Projeto Maxwell) - Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)
repository.mail.fl_str_mv
_version_ 1858645283842293760

Registros relacionados