dc.contributor | Dall'Agnol, Darlei | |
dc.contributor | Universidade Federal de Santa Catarina | |
dc.creator | Amaral, Juliana de Paula Ferraz do | |
dc.date | 2013-06-25T20:50:46Z | |
dc.date | 2013-06-25T20:50:46Z | |
dc.date | 2012 | |
dc.date | 2012 | |
dc.date.accessioned | 2017-04-03T21:44:45Z | |
dc.date.available | 2017-04-03T21:44:45Z | |
dc.identifier | 310362 | |
dc.identifier | http://repositorio.ufsc.br/xmlui/handle/123456789/100608 | |
dc.identifier.uri | http://repositorioslatinoamericanos.uchile.cl/handle/2250/717271 | |
dc.description | Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Filosofia e Ciências Humanas. Programa de Pós-Graduação em Filosofia | |
dc.description | 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. | |
dc.description | 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. | |
dc.format | 89 p.| il. | |
dc.language | por | |
dc.publisher | Florianópolis | |
dc.subject | Filosofia | |
dc.subject | Logica deontica | |
dc.subject | Dilema | |
dc.title | Representação de dilemas morais em lógica deôntica | |
dc.type | Tesis | |