Classification and deontic explosion for contrary-to-duty obligations

Resumen Técnico: Clasificación y Explosión Deontica para Obligaciones Contrarias al Deber

Autor: Bjørn Kjos-Hanssen
Contexto: Lógica Deontica, Sistemas Axiomáticos de Carmo y Jones (1997-2022).

1. El Problema

El artículo aborda la dificultad de formalizar lógicamente las obligaciones contrarias al deber (Contrary-to-Duty o CTD). Estas son situaciones donde, al violarse una obligación primaria, surge una nueva obligación secundaria (ej. "Debes visitar a tu vecino; si no lo haces, debes llamar para disculparte").
Carmo y Jones han propuesto una serie de sistemas axiomáticos (de 1997 a 2022) para definir la relación de obligación condicional $ob(X, Y)$ (donde $X$ es obligatorio en el contexto $Y$). El problema central es determinar si estos sistemas son consistentes, si sufren de paradojas lógicas (como la "explosión deontica") y si poseen una estructura matemática clasificable.

2. Metodología

El autor emplea un enfoque híbrido que combina:

• Análisis Lógico-Semántico: Revisión exhaustiva de los axiomas 5(a) a 5(g) propuestos por Carmo y Jones. Se utilizan conjuntos de mundos posibles ($W$) y funciones de obligación $ob: P(W) \to P(P(W))$.
• Contraejemplos Intuitivos: Se construyen escenarios narrativos (notas académicas y propuestas de matrimonio) para demostrar anomalías lógicas en los sistemas.
• Modelado Matemático y Clasificación: Se definen modelos canónicos ($canon2$y$canon2,II$) para caracterizar los "modelos mínimos" que satisfacen ciertos axiomas.
• Verificación Formal: Todas las afirmaciones matemáticas han sido verificadas utilizando el asistente de pruebas Lean y se apoyan en análisis computacionales realizados con Maple.

3. Contribuciones Clave

A. Demostración de una "Explosión Deontica Limitada"
El autor identifica una anomalía grave en los sistemas más recientes de Carmo y Jones (específicamente usando los axiomas 5(b), 5(e) y 5(f)).

• El Escenario: Un estudiante tiene calificaciones posibles A, B, C, D, F.
  • Si la nota es A o B, debería ser A.
  • Si la nota es C o D, debería ser C.
• La Deducción: Aplicando los axiomas, se concluye que si la nota es B, C o D, debería ser C.
• La Paradoja: Esto implica que si no se puede obtener la mejor opción (A), cualquier opción "aceptable" (C) se vuelve obligatoria, incluso si existe una opción intermedia mejor (B) que no es la ideal pero tampoco es la "mala". Esto se describe como una forma débil de explosión deontica: ante la imposibilidad del ideal, lo mediocre se vuelve obligatorio.

B. Clasificación Completa de Modelos (Teorema 6)
A pesar de la anomalía anterior, el autor demuestra que el sistema más fuerte (Carmo y Jones 1997, con la versión fuerte del axioma 5(c)) posee una estructura matemática muy rigurosa y clasificable.

• Resultado: Los modelos que satisfacen los axiomas 5(a)-(e) se reducen a tres casos triviales o a una estructura específica:
  1. No hay obligaciones.
  2. Todo conjunto no vacío es obligatorio.
  3. El caso no trivial: Existe un único mundo "prohibido" ($a$). La única obligación es evitar este mundo. Formalmente, $ob(X) = \{Y \mid X \cap Y \neq \emptyset \text{ y } X \setminus \{a\} \subseteq Y\}$.
• Esto significa que, bajo este sistema fuerte, la lógica deontica se reduce esencialmente a la obligación de evitar un único estado indeseable.

C. Caracterización de Modelos Mínimos
Se definen y analizan los modelos mínimos para subsistemas más débiles:

• Teorema 4: El modelo mínimo para el axioma 5(b) con obligaciones CTD básicas es $canon2,II$.
• Teorema 5: El modelo mínimo para los axiomas 5(b), 5(d) y 5(f) es $canon2$.
  Estos modelos ofrecen una caracterización semántica precisa de cómo deben comportarse las obligaciones en contextos restringidos.

4. Resultados Principales

1. Negativo: Los sistemas de Carmo y Jones (especialmente las versiones recientes) sufren de una "explosión deontica" donde la imposibilidad de la mejor opción obliga a aceptar una opción subóptima específica, lo cual contradice la intuición moral (ej. "Si no puedo tener a Alice, debo casarme con Beatrice, aunque prefiera estar soltero").
2. Positivo: El sistema original de 1997 (con la versión fuerte de intersección) es matemáticamente "claseable". Sus modelos no son arbitrarios; están estrictamente determinados por la existencia de un único mundo prohibido.
3. Independencia: Se demuestra (Teorema 7) que los axiomas 5(a)-(e) son independientes entre sí; ninguno es derivable de los otros cuatro.

5. Significado e Implicaciones

• Para la Lógica Deontica: El trabajo pone en duda la viabilidad de sistemas unificados que intenten capturar tanto el razonamiento ideal como el del mundo real sin generar paradojas. Refuerza la visión de críticos como Hage de que reconciliar estas dos intenciones en una sola lógica es extremadamente difícil.
• Para la Matemática: Proporciona un ejemplo raro de clasificación completa en lógica deontica, un campo donde las estructuras suelen ser demasiado complejas para ser clasificadas. La reducción de modelos complejos a la simpleza de "evitar un solo mundo prohibido" es un hallazgo estructural profundo.
• Metodológico: Destaca el valor de utilizar herramientas de verificación formal (Lean) y computación simbólica (Maple) para descubrir paradojas y validar teoremas en lógica modal y deontica.

En conclusión, el artículo ofrece una crítica devastadora a la consistencia intuitiva de los sistemas modernos de Carmo y Jones, pero al mismo tiempo rescata valor matemático al proporcionar una clasificación completa y elegante de sus modelos subyacentes.