[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.
Identifer | oai:union.ndltd.org:puc-rio.br/oai:MAXWELL.puc-rio.br:28782 |
Date | 23 January 2017 |
Creators | RICARDO QUEIROZ DE ARAUJO FERNANDES |
Contributors | EDWARD HERMANN HAEUSLER |
Publisher | MAXWELL |
Source Sets | PUC Rio |
Language | English |
Detected Language | English |
Type | TEXTO |
Page generated in 0.1714 seconds