Orientador: Marcelo Esteban Coniglio

Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas

Resumo: Nosso objetivo neste trabalho é apresentar uma proposta de solução a paradoxos relacionados à lógica deôntica presentes na literatura, reunidos sob o que é chamado de dilemas deônticos - situações nas quais duas obrigações conflitantes estão presentes num mesmo sistema normativo. Situações...

Resumo: Nosso objetivo neste trabalho é apresentar uma proposta de solução a paradoxos relacionados à lógica deôntica presentes na literatura, reunidos sob o que é chamado de dilemas deônticos - situações nas quais duas obrigações conflitantes estão presentes num mesmo sistema normativo. Situações deste tipo, quando formalizadas (em SDL - standard deontic logic - ou em outras lógicas relacionadas), levam a uma inconsistência. Nossa proposta baseia-se em relações de preferência que geram uma ferramenta de escolha dentre as duas soluções normativas conflitantes, o que evita a inconsistência e permite o pleno cumprimento do sistema. Justificativas filosóficas são fornecidas as ferramentas lógicas, bem como as suas implicações.

Abstract: The main purpouse of this dissertation is the proposal of a solution to some paradoxes related to deontic logic presented in the literature, also known as deontic dilemmas - situations in which two conflicting obligations are present in the same normative system. Such situations, when...

Abstract: The main purpouse of this dissertation is the proposal of a solution to some paradoxes related to deontic logic presented in the literature, also known as deontic dilemmas - situations in which two conflicting obligations are present in the same normative system. Such situations, when formalized (in SDL - standard deontic logic - or in other related logic), lead to inconsistency. Our proposal is based on preference relations that generate a tool of choice between the two conflicting normative solutions, which avoids the inconsistency and allows the full implementation of the system. Philosophical justifications are given for the logical tools as well as for their implications.