Representanção de Dilemas Morais em Lógica Deôntica

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 acercad oque é um dilema moral e 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 ambos. 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 repreentando desta maneira, apresentamos um sistema bimodal não normal, o qual chamamos de EMD-S4 e demonstramos teoremas de correção, completude e decidibilidade.