Publicado em: Anais do III Encontro Interinstitucional de Filosofia, Recife, 2005

Modalidades “de dicto” e “de re” em lógica deôntica

Ângela Cruz

José Eduardo Moura

Tassos Lycurgo

Pesquisadores da Base de Pesquisa

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

da UFRN

Com vistas à obtenção de uma tradução adequada de sentenças, que são ‘verdadeiras’ numa lógica deôntica natural, em fórmulas válidas de uma linguagem formal de lógica deôntica, tem-se investigado as propriedades de um cálculo que represente logicamente as modalidades normativas de “obrigação”, “permissão”, “proibição”, “indiferença”, e “comprometimento” associadas às expressões de quantificação universal e existencial. As principais formas de associação das modalidades deônticas com as de quantificação universal e existencial são aquelas que resultam dos usos das modalidades “de re” (quando a noção modal se aplica a um predicado) e “de dicto” (quando a noção modal se aplica a uma sentença quantificada). Este trabalho tem por objetivo analisar o significado dessas formas de associação e quais delas resultam em teoremas de um cálculo deôntico de predicados proposto.