Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Filosofia e Ciências Humanas. Programa de Pós-Graduação em Filosofia / Made available in DSpace on 2013-06-25T20:50:46Z (GMT). No. of bitstreams: 1
310362.pdf: 568829 bytes, checksum: b1af401127d820b21dfe73ffbfe145ed (MD5) / Este trabalho propõe uma busca para o desenvolvimento de uma lógica deôntica mais adequada e mais fiel à linguagem ordinária. Nosso ponto central foi a análise e compreensão acerca do que é um dilema moral e o seu correspondente formal. Uma situação é considerada um dilema moral quando um sujeito deve moralmente fazer A e deve moralmente fazer B, mas não pode fazer ambas. Chegamos à conclusão, durante nossas investigações, de que quando dizemos que um sujeito não pode cumprir ambas obrigações, a impossibilidade envolvida em um dilema não é lógica, mas apenas circunstancial. Em outras palavras, as obrigações A e B não são contraditórias, mas conflitantes devido a uma característica contingente da situação. Nossa proposta é a de que dilemas podem ser traduzidos pela fórmula Op Oq (p q). A formalização de dilemas em uma lógica, na maneira como estamos interpretando, envolve operadores deônticos e aléticos. Para que o dilema pudesse ser representado desta maneira, apresentamos um sistema bimodal não normal, o qual chamamos de EMD-S4 e demonstramos teoremas de correção, completude e decidibilidade. / This paper seeks to develop a deontic logic more appropriate and faithful to ordinary language. Our focus was the analysis and understanding of what is a moral dilemma and its formal correspondent. A situation is considered a moral dilemma when a subject should morally do A and should morally do B, but cannot do both. We concluded, during our investigation, that when we say that a subject can not fulfill both obligations, the impossibility involved in a dilemma is not logical, but only circumstantial. In other words, the obligations A and B are not contradictory, but conflict due to a contingent feature of the situation. Our proposal is that dilemmas can be translated by the formula (Op ^ Oq) ^ :^(p ^ q). According to our way, the formalization of dilemmas in logic involves deontic and alethic operators. In order to represent a dilemma in this way, we present a non normal bimodal system, which we called EMD-S4, and prove for it soundness, completeness and decidability theorems.
| Identifer | oai:union.ndltd.org:IBICT/oai:repositorio.ufsc.br:123456789/100608 |
| Date | January 2012 |
| Creators | Amaral, Juliana de Paula Ferraz do |
| Contributors | Universidade Federal de Santa Catarina, Dall'Agnol, Darlei |
| Publisher | Florianópolis |
| Source Sets | IBICT Brazilian ETDs |
| Language | Portuguese |
| Detected Language | Portuguese |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
| Format | 89 p.| il. |
| Source | reponame:Repositório Institucional da UFSC, instname:Universidade Federal de Santa Catarina, instacron:UFSC |
| Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0021 seconds