🔢 mathematics

Classification and deontic explosion for contrary-to-duty obligations

Este artigo examina os sistemas axiomáticos de obrigações condicionais de Carmo e Jones, demonstrando uma forma limitada de explosão deontica em seu sistema mais recente e oferecendo uma classificação surpreendente dos modelos satisfatórios de sua versão de 1997 com base em um único mundo possível proibido.

Autores originais: Bjørn Kjos-Hanssen

Publicado 2026-04-21

📖 5 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Bjørn Kjos-Hanssen

Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

Imagine que você está tentando criar um "manual de instruções" para a moralidade e o dever. Esse manual deve dizer o que é certo fazer em diferentes situações, especialmente quando as coisas dão errado. É como um GPS ético: "Se você quer ir para a casa da sua mãe, você deve dirigir. Mas, se o carro quebrou, você deve pegar um táxi."

O artigo de Bjørn Kjos-Hanssen é como um detetive que pega esse manual (criado por dois especialistas, Carmo e Jones) e descobre duas coisas surpreendentes: uma falha perigosa no sistema e uma beleza matemática escondida nele.

Aqui está a explicação, passo a passo, usando analogias do dia a dia:

1. O Problema: A "Explosão" do Dever (O Paradoxo da Nota C)

O autor começa mostrando um erro estranho no sistema mais recente de Carmo e Jones. Ele usa o exemplo de um aluno, o James, fazendo uma prova.

A Situação Ideal: O James quer tirar A (ótimo). Se ele não tirar A, ele quer tirar B (bom). Se não tirar B, ele quer tirar C (suficiente).
A Regra do Sistema: O sistema diz que, se você está no contexto de "tirar A ou B", você deve tirar A. E se está no contexto de "tirar C ou D", você deve tirar C.
A Falha (A Explosão): O sistema mistura essas regras de uma forma que cria um paradoxo.
- Imagine que o James não tirou A. Ele está no mundo onde as opções são B, C ou D.
- Devido a uma regra matemática estranha do sistema (chamada de "axioma 5e"), o sistema conclui que, como ele não pode ter o A, ele é obrigado a tirar um C.
- O Absurdo: Isso significa que, se o James não conseguir a nota perfeita (A) nem a boa (B), o sistema diz que ele deve se contentar com a nota medíocre (C). É como se, ao não conseguir o casamento perfeito, você fosse obrigado a casar com alguém que você só "aguenta", mesmo que pudesse ter algo melhor.

O autor chama isso de "explosão deontica" (uma explosão de obrigações). É como se o sistema dissesse: "Já que você não pode ter o melhor, qualquer coisa que não seja o pior é obrigatória", o que soa muito estranho para a nossa intuição humana.

2. A Analogia do Casamento (A Perspectiva Literária)

Para tornar isso mais claro, o autor troca as notas escolares por casamentos:

A: Casar com Alice (seu amor verdadeiro).
B: Casar com Beatrice (uma irmã que você também gosta).
C: Ficar solteiro (ok, mas não ideal).
D: Casar com Deirdre (alguém que você odeia).

O sistema de Carmo e Jones, ao tentar lidar com o fato de que você não pode ter Alice, acaba dizendo que, se você não pode ter Alice, você é obrigado a ficar solteiro (C), mesmo que você pudesse ter Beatrice (B). É como a letra de uma música dos Bee Gees: "Se eu não posso ter você, eu não quero ninguém". O sistema ignora as opções intermediárias e cria uma obrigação estranha.

3. A Surpresa: A Beleza Matemática (O "Mundo Proibido")

Apesar de ter encontrado esse erro, o autor não desistiu. Ele olhou mais fundo e descobriu que, se usarmos a versão mais forte e antiga do sistema (de 1997), a matemática se torna incrivelmente elegante.

Ele conseguiu classificar todos os modelos possíveis desse sistema. E o resultado é fascinante:

Imagine um universo de possibilidades.
O sistema diz que, para funcionar perfeitamente, existe apenas um único mundo "ruim" (um mundo proibido, digamos, onde você comete um crime grave).
A única obrigação real em todo o universo é: "Evite esse único mundo ruim."
Tudo o que não é esse mundo ruim é aceitável.

É como se o sistema dissesse: "Não importa o que você faça, desde que você não vá para o 'Inferno'. Se você não for para o Inferno, qualquer caminho é válido." Isso transforma um sistema complexo de regras morais em uma estrutura simples e limpa: Evite o único mundo proibido.

4. Conclusão: Por que isso importa?

O autor nos ensina duas lições:

Cuidado com as regras: Quando tentamos criar regras lógicas para a moralidade, elas podem ter falhas silenciosas que levam a conclusões absurdas (como obrigar alguém a tirar uma nota C).
A matemática é bonita: Mesmo com falhas, a estrutura por trás dessas regras tem uma simetria matemática surpreendente. O autor até usou computadores (como um "juiz digital") para verificar que suas descobertas estão corretas.

Em resumo: O artigo é uma jornada que começa mostrando como um "manual de ética" pode falhar e nos levar a conclusões estranhas, mas termina revelando que, no fundo, a lógica desse sistema é tão simples quanto "evite o único lugar onde tudo dá errado". É uma mistura de crítica filosófica com a elegância da matemática pura.

1. Problema e Contexto

O artigo aborda os desafios persistentes na lógica deôntica, especificamente no tratamento de obrigações contrárias ao dever (Contrary-to-Duty - CTD). Essas situações ocorrem quando uma obrigação primária é violada, gerando uma nova obrigação secundária (ex: "Você deve não matar; se você matar, deve matar rapidamente").

O foco do trabalho são os sistemas axiomáticos propostos por Carmo e Jones entre 1997 e 2022 para modelar obrigações condicionais. O autor investiga se esses sistemas, que visam capturar intuições morais complexas, são matematicamente consistentes e se possuem estruturas de modelos bem definidas. O problema central é a descoberta de uma anomalia (uma forma de "explosão deôntica") no sistema mais recente e a busca por uma classificação completa dos modelos para o sistema mais forte.

2. Metodologia

O autor utiliza uma abordagem híbrida que combina:

Análise Lógica Formal: Revisão e aplicação dos axiomas 5(a) a 5(g) definidos por Carmo e Jones sobre uma função de obrigação $ob: P(W) \to P(P(W))$ , onde $W$ é um conjunto finito de mundos possíveis.
Contraexemplos Semânticos: Construção de cenários concretos (notas de exames e casamentos) para demonstrar falhas intuitivas nos axiomas.
Classificação de Modelos: Uso de teoria de conjuntos e lógica matemática para caracterizar exaustivamente os modelos que satisfazem os axiomas.
Verificação Computacional: Todos os resultados matemáticos foram verificados utilizando o assistente de prova Lean, e a descoberta da anomalia foi auxiliada por scripts no sistema de matemática computacional Maple.

3. Principais Contribuições e Resultados

A. A Anomalia: Explosão Deôntica Limitada

O autor demonstra que o sistema mais recente de Carmo e Jones (2022), ao combinar os axiomas 5(b), 5(e) e 5(f), leva a uma conclusão paradoxal, denominada "explosão deôntica".

O Cenário: Um aluno (James) pode tirar as notas A, B, C, D ou F (em ordem decrescente).
- Intuição 1: Se a nota for A ou B, deveria ser A.
- Intuição 2: Se a nota for C ou D, deveria ser C.
A Dedução:
1. Pelos axiomas, se a nota for A ou B, deveria ser A ou C.
2. Se a nota for C ou D, deveria ser A ou C.
3. Pelo axioma 5(f), se a nota for A, B, C ou D, deveria ser A ou C.
4. Pelo axioma 5(e), se "A ou C" é obrigatório no contexto {A, B, C, D}, deve permanecer obrigatório em subcontextos onde ainda é possível, como {B, C, D}.
5. Pelo axioma 5(b), no contexto {B, C, D}, se "A ou C" é obrigatório e A é impossível, então C deve ser obrigatório.
O Paradoxo: Mesmo que o aluno tenha tirado uma B (uma nota superior a C), a lógica dita que ele deveria ter tirado uma C. Isso inverte a hierarquia de preferências, tornando uma nota inferior obrigatória quando a superior está indisponível, o que o autor chama de "paradoxo do cavalheiro C".

B. Classificação de Modelos (Resultado Positivo)

Apesar da anomalia, o autor fornece um resultado positivo significativo para o sistema mais forte (baseado nos axiomas 5(a)–5(e) com a versão forte do axioma 5(c)).

Teorema de Classificação (Teorema 6): O autor prova que os modelos que satisfazem o sistema completo de Carmo e Jones (1997) são extremamente restritos. Existem apenas três tipos de modelos não triviais:
1. O modelo onde nada é obrigatório.
2. O modelo onde qualquer conjunto que contenha o contexto é obrigatório.
3. O modelo do "Mundo Proibido": Existe exatamente um mundo possível "ruim" ( $a$ ). A única obrigação é evitar esse mundo. Formalmente, para qualquer contexto $X$ , o conjunto de obrigações é $\{Y \mid X \cap Y \neq \emptyset \text{ e } X \setminus \{a\} \subseteq Y\}$ .
Interpretação: Isso significa que, sob a lógica estrita de Carmo e Jones, a estrutura de obrigações é essencialmente binária: ou não há obrigações, ou a única obrigação é evitar um único estado de coisas indesejável.

C. Modelos Mínimos e Versões Fracas

O artigo também caracteriza os modelos mínimos (sob inclusão) para subsistemas mais fracos:

Para o axioma 5(b) com obrigações CTD básicas, o modelo mínimo é caracterizado por uma estrutura específica ($canon2,II$).
Para o sistema com axiomas 5(b), 5(d) e 5(f, o modelo mínimo é caracterizado por outra estrutura ($canon2$).
O autor destaca que essas estruturas representam abordagens alternativas para CTDs discutidas na literatura (chamadas de abordagens I e II).

4. Significado e Implicações

Crítica à Consistência: O trabalho fornece um contraexemplo forte à adequação intuitiva do sistema de Carmo e Jones (2022), mostrando que ele permite inferências que violam a hierarquia de preferências (explosão deôntica).
Valor Matemático: Apesar das falhas intuitivas, o sistema possui uma estrutura matemática profunda e elegante. A classificação completa dos modelos (Teorema 6) é um resultado raro em lógica deôntica, onde geralmente se espera complexidade infinita ou não classificável.
Independência Axiomática: O autor demonstra que os axiomas 5(a) a 5(e) são independentes entre si, reforçando a necessidade de escolhas cuidadosas ao construir sistemas de lógica deôntica.
Direções Futuras: O artigo sugere que o foco futuro deve ser explorar subsistemas que evitem a explosão deôntica (talvez usando a versão fraca do axioma 5(c)) e verificar se esses subsistemas também admitem classificações de modelos.

Em resumo, o artigo equilibra uma crítica severa às intuições morais capturadas pelo sistema de Carmo e Jones com uma celebração da sua riqueza estrutural matemática, oferecendo a primeira classificação completa de seus modelos.