Publicado em: CRUZ, Â. M. P. ; MOURA, J. E. A. ; MEDEIROS, M. P. N.
; LYCURGO, T. “Aspectos quantificacionais do discurso normativo em lógica
deôntica de 1ª ordem”. In: II Encontro Interinstitucional de Filosofia,
2004, João Pessoa. Resumos, 2004. p. 25-26.
Aspectos quantificacionais do discurso
normativo em
lógica deôntica de 1ª ordem
Ângela Cruz;
José Eduardo Moura;
Maria da Paz Medeiro;
Tassos Lycurgo
O fragmento normativo da linguagem natural se caracteriza principalmente pela utilização de noções normativas tais como ‘obrigação’, ‘permissão’, ‘proibição’, ‘indiferença, e ‘comprometimento’. Em Cruz (1993,1996) são propostas modelagens lógicas de discursos contendo essas noções, fundamentadas em lógicas proposicionais clássica e não-clássicas. Estas investigações têm por objetivo uma tradução adequada de sentenças que são ‘verdadeiras’ numa lógica deôntica natural, em fórmulas válidas da linguagem formal de uma lógica deôntica monádica, na qual os operadores deônticos acima referidos são considerados de forma incondicionada. Estas traduções não se mostram adequadas quando se fundamentam em lógica clássica porque geram alguns paradoxos tais como os de Prior e de Chisholm, além de configurarem o dilema deôntico. Nas traduções fundamentadas em lógica não-clássica, em especial em lógica monádica paraconsistente e relevante, o dilema não se configura, alguns paradoxos são eliminados na lógica deôntica monádica paraconsistente e todos são eliminados na lógica deôntica monádica relevante. Este trabalho objetiva acrescentar, às modelagens já realizadas, os aspectos quantificacionais do discurso, não considerados anteriormente. Pretende-se fazer uma tradução, também adequada, de sentenças que contenham as noções deônticas e as expressões de quantificação universal e existencial. De acordo com as propriedades do discurso com estas características, serão analisadas a configuração formal do dilema deôntico e dos paradoxos de Prior e as possibilidades de eliminação dos mesmos em alguma lógica deôntica de primeira ordem.
Palavras-chave: Discurso normativo; lógica deôntica de 1a ordem; paradoxos; dilema deôntico.