RESUMO
De acordo com a teoria das funções de verdade, a verdade/falsidade de uma proposição é computável a partir da verdade/falsidade das suas proposições “internas”: para cada proposição (composta) há uma função (a respectiva) entre valores de verdade. Aplicada a proposições modais, origina a semântica dos mundos possíveis e, aplicada a proposições normativas, origina uma semântica que reduz os conceitos normativos aos conceitos modais, a semântica modal. Esta redução fica posta em questão com a existência dos chamados ‘paradoxos da lógica deôntica’. Estes não podem ser vistos como meras anomalias, mas devem ser vistos como indícios da incorreção da semântica modal. Em todos eles, a regra da necessitação, assim como o axioma da distribuição, “não batem certo”. Não obstante, o cumprimento/incumprimento das normas (não a verdade/falsidade das proposições normativas) já é computável a partir da verdade/falsidade das proposições que expressam os estados de coisas devidos.
PALAVRAS-CHAVE:
Paradoxos da Lógica Deôntica; Semântica Modal; Necessidade Normativa; Ambiguidade; Tabelas de Cumprimento.