Lógicas da Inconsistência Deôntica

Esse trabalho expõe brevemente o que são as Lógicas da Inconsistência Formal..Essas lógicas não trivializam na presença de contradições, pois a partir de A e A temos simplesmente que oA, ou seja, A não é consistente, ou não é seguro..De maneira análoga, as Lógicas da Inconsistência Deôntica são lógicas que não trivializam na presença de obrigações conflitantes, como OA e OA. Nesse caso teríamos apenas OoA, ou seja, A é deonticamnte inconsistente, ou deonticamente inseguro..Essa abordagem parece interessante sobretudo na análise de paradoxos deônticos, em que a partir de um conjunto de premissas intuitivamente consistentes, temos OA e O~A. Trataremos como exemplo um único paradoxo, a saber, o Paradoxo de Chisholm.