Publicação: CRUZ, Â. M. P. ; MOURA, J. E. A. ; LYCURGO, T. . Modelagem de noções normativas em lógica de predicados deôntica. In: XI Encontro Nacional de Filosofia da ANPOF, 2004, Salvador. Atas do XI Encontro Nacional de Filosofia. Salvador : EDUFBA, 2004. v. 01. p. 57-58.

Modelagem de noções normativas em lógica de predicados deôntica

Ângela Cruz

José Eduardo Moura

Tassos Lycurgo

Pesquisadores da Base de Pesquisa

“Lógica, Conhecimento e Educação”

da UFRN

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. Essas 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. As 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 serem trivializáveis pelo dilema deôntico. Nas traduções fundamentadas em lógica não-clássica, em especial em lógica paraconsistente e relevante monádica, o dilema não leva à trivialização, 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 apresentar uma lógica de predicados deôntica paraconsistente e discutir sua adequação à resolução de paradoxos que envolvem o discurso normativo.