💻 computer science

The Varieties of Ought-Implies-Can and Deontic STIT Logic

Este artículo presenta un marco modular para la lógica STIT deóntica que formaliza, compara y analiza la relación lógica entre diez interpretaciones distintas del principio "deber implica poder", proporcionando además cálculos deductivos completos y un principio de adhesión para determinar qué lecturas comprometen lógicamente a otras.

Autores originales: Kees van Berkel, Tim S. Lyon

Publicado 2026-04-02

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Kees van Berkel, Tim S. Lyon

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina que el mundo de la lógica y la ética es como un gran tablero de ajedrez donde cada pieza es una persona (un agente) y cada movimiento es una decisión que toma.

Este artículo, escrito por Kees van Berkel y Tim Lyon, trata sobre una pregunta filosófica muy famosa: "¿Si algo es tu deber, significa que eres capaz de hacerlo?". A esto los filósofos lo llaman "Ought implies Can" (Lo que se debe, se puede).

Aquí tienes la explicación sencilla, usando analogías de la vida real:

1. El Problema: La Regla del "Deber" vs. La Realidad

Imagina que un juez te dice: "Debes saltar al edificio de enfrente".

Si eres un humano normal, no puedes hacerlo.
La filosofía dice: No tiene sentido decirte que "debes" hacer algo si es imposible para ti.
La regla básica es: Si tienes la obligación, debes tener la capacidad.

Pero, ¿qué significa exactamente "tener capacidad"? ¿Es solo que no es imposible en teoría? ¿Es que tienes los músculos para hacerlo? ¿Es que tienes la oportunidad de intentarlo? ¿O es que puedes elegir no hacerlo?

Los autores dicen que hay 10 formas diferentes de interpretar esta regla. Algunos dicen que basta con que sea "lógicamente posible" (que no contradiga las leyes de la física), mientras que otros dicen que debes tener el "control total" sobre la situación.

2. La Herramienta: El "Lego" de las Decisiones (Lógica STIT)

Para estudiar esto, los autores usan un sistema llamado Lógica STIT (que viene de "Seeing To It That", o "Hacer que suceda").

La analogía: Imagina que el tiempo es un árbol gigante. En cada momento, el árbol se divide en muchas ramas (futuros posibles).
Tú eres un agente que puede elegir en qué rama caminar.
La lógica STIT es como un set de LEGO muy sofisticado. Permite construir modelos exactos de cómo toman decisiones los agentes.

El problema es que el set de LEGO tradicional era un poco rígido y solo permitía una interpretación de la regla "Deber implica Capacidad". Los autores querían modular el set: crear piezas intercambiables para probar las 10 versiones diferentes de la regla.

3. Las 10 Versiones de la Regla (El Menú de Opciones)

Los autores clasificaron las 10 interpretaciones en un "menú". Aquí te explico las más importantes con ejemplos:

Posibilidad Lógica (La más débil): "Debes hacerlo" significa que no es una contradicción. Ejemplo: "Debes respirar". No es imposible, así que vale.
Posibilidad Real (Actual): "Debes hacerlo" significa que puedes hacerlo ahora mismo. Ejemplo: Si estás atado a una silla, no puedes "deber" abrir la ventana, aunque sea lógicamente posible.
Habilidad (Capacidad): "Debes hacerlo" significa que tienes la habilidad física o mental para garantizarlo. Ejemplo: Un arquero debe acertar al blanco; si no tiene la habilidad de apuntar, no debería tener esa obligación.
Violabilidad (Poder fallar): "Debes hacerlo" significa que podrías haber fallado. Ejemplo: Si algo es inevitable (como que el sol salga mañana), no es tu "deber" hacerlo, porque no tienes opción de no hacerlo.
Control Total (La más fuerte): "Debes hacerlo" significa que tienes el poder de hacerlo Y el poder de NO hacerlo. Ejemplo: Solo eres responsable de algo si tienes el control total para elegir hacerlo o no hacerlo.

4. El Experimento: El "Mapa de Carreteras" Lógico

Los autores no solo hablaron de esto; lo construyeron matemáticamente. Crearon un cálculo (una especie de máquina de inferencia) para cada combinación de reglas.

Usaron una técnica llamada cálculo de secuentes etiquetados.

La analogía: Imagina que son mapas de carreteras.
- Cada "regla" (como la de tener control total) es una restricción en el mapa (ej: "aquí no se puede cruzar").
- Los autores probaron qué reglas permiten llegar a qué destinos.
- Descubrieron que si aceptas la regla fuerte (Control Total), automáticamente aceptas las reglas débiles (Habilidad, Posibilidad). Pero si aceptas una regla débil, no necesariamente aceptas la fuerte.

5. El Hallazgo Principal: El "Principio de Adhesión"

El resultado más interesante es lo que llaman el Principio de Adhesión (Endorsement Principle).

La analogía: Imagina que estás comprando un paquete de suscripción.
- Si te suscribes al "Plan Premium" (la versión fuerte de la regla, como el Control Total), automáticamente obtienes el "Plan Básico" (las versiones débiles) gratis.
- Pero si solo tienes el "Plan Básico", no tienes acceso al Premium.

Esto significa que, en el mundo de la lógica de las decisiones, no puedes elegir solo una versión de la regla sin comprometerse con otras. Si dices "Solo creo que el deber implica que es posible hacerlo", ya estás aceptando ciertas limitaciones lógicas que te impiden aceptar otras interpretaciones más complejas.

En Resumen

Este artículo es como un laboratorio de pruebas para la ética.

Tomaron una idea filosófica antigua ("Si debes hacerlo, puedes hacerlo").
La desmenuzaron en 10 piezas diferentes.
Usaron matemáticas avanzadas (lógica STIT) para ver cómo encajan esas piezas.
Descubrieron que algunas piezas son más fuertes que otras y que aceptar una te obliga a aceptar las demás en una jerarquía específica.

¿Por qué importa?
Porque ayuda a los sistemas de Inteligencia Artificial, a los abogados y a los filósofos a entender exactamente qué significa ser "responsable". ¿Es responsable un robot que no puede elegir no cometer un error? ¿Es responsable un humano que está atado? Esta lógica nos da las herramientas precisas para responder esas preguntas.

Aquí presento un resumen técnico detallado del artículo "The Varieties of Ought-implies-Can and Deontic STIT Logic" de Kees van Berkel y Tim Lyon, estructurado según los puntos solicitados.

1. El Problema

El principio filosófico de "Lo que se debe, se puede" (Ought-implies-Can, OiC) es fundamental en la ética y la lógica deóntica, estableciendo que un agente solo puede tener obligaciones sobre acciones que puede realizar. Sin embargo, en la literatura filosófica existen múltiples interpretaciones de este principio (débiles, fuertes, relacionadas con la capacidad, la oportunidad, el control, etc.), y no existe una taxonomía formal clara que relacione lógicamente estas variantes.

El problema central abordado en el artículo es la falta de un marco formal unificado dentro de la lógica STIT (Seeing To It That - "Hacer que suceda") que pueda:

Formalizar y acomodar la diversidad de interpretaciones de OiC.
Determinar las relaciones de dependencia lógica entre estas interpretaciones (es decir, qué versiones implican a otras).
Superar las limitaciones de la lógica deóntica STIT tradicional, que se basa en un enfoque utilitarista y a menudo es demasiado rígida para capturar matices como la "violabilidad" o la "oportunidad" de las obligaciones.

2. Metodología

Los autores emplean una combinación de semántica relacional modular y cálculos de secuentes etiquetados (labelled sequent calculi).

Semántica Modular (Marcos DSnX):
- En lugar de utilizar la semántica tradicional de tiempo ramificado con funciones de elección, adoptan una semántica relacional más flexible.
- Definen un marco base ( $DS_n$ ) con relaciones de equivalencia para los momentos ( $R_2$ ) y las elecciones de los agentes ( $R_{[i]}$ ).
- Introducen cuatro propiedades de marcos adicionales ( $D2, D3, D4, D5$ ) que modifican el comportamiento del operador deóntico ( $\otimes_i$ ). Estas propiedades permiten ajustar la lógica para cumplir con diferentes principios de OiC (por ejemplo, $D3$ confina los mundos ideales a un momento, mientras que $D4$ vincula las obligaciones directamente con las elecciones del agente).
- Se definen operadores deliberativos derivados ( $\otimes^d_i$ y $\otimes^c_i$ ) para capturar obligaciones que pueden ser violadas o controladas por el agente.
Cálculos de Secuentes Etiquetados (G3DSnX):
- Desarrollan sistemas de prueba basados en secuentes etiquetados ( $R \vdash \Gamma$ ), donde las etiquetas representan mundos posibles y las fórmulas relacionales ( $R_{\alpha}xy$ ) codifican la estructura del marco semántico.
- Estos cálculos incorporan explícitamente la información semántica en las reglas de inferencia (por ejemplo, reglas para la independencia de agentes y propiedades de las relaciones de acceso).
- Demuestran que estos cálculos son correctos (sound) y completos respecto a la semántica definida.
Análisis de Dependencia Lógica:
- Utilizan los cálculos para realizar búsquedas de pruebas (proof-search).
- Si una búsqueda falla, extraen contra-modelos que demuestran la independencia de un principio respecto a otro.
- Si una derivación es posible, establecen la subsumción lógica.

3. Contribuciones Clave

Taxonomía de Diez Principios OiC: El artículo identifica, discute y formaliza diez interpretaciones distintas del principio OiC extraídas de la literatura filosófica (desde Aristóteles hasta Vranas). Estas incluyen:
- OiLP: Lo que se debe implica posibilidad lógica.
- OiAP: Lo que se debe implica posibilidad actual.
- OiA: Lo que se debe implica capacidad (habilidad).
- OiV: Lo que se debe implica violabilidad.
- OiR: Lo que se debe implica la capacidad de abstenerse.
- OiO: Lo que se debe implica oportunidad (contingencia).
- OiA+O: Capacidad y oportunidad combinadas.
- OiCtrl: Control total (capacidad de hacer y de no hacer).
- OiNC / OiNA: Versiones normativas ("debería ser posible").
Marco Lógico Unificado: Proporcionan una familia de lógicas deónticas STIT ( $DS_nX$ ) y sus cálculos correspondientes ( $G3DS_nX$ ) que pueden acomodar cualquiera de las diez interpretaciones mediante la adición de propiedades de marcos específicas.
Principio de Endoso (Endorsement Principle): Mediante el análisis de la jerarquía de las lógicas, proponen un principio que describe qué interpretaciones de OiC comprometen lógicamente a un agente a aceptar otras. Por ejemplo, aceptar la versión fuerte de "Capacidad" (OiA) implica necesariamente aceptar las versiones más débiles de "Posibilidad Lógica" (OiLP).
Independencia Lógica: Demuestran formalmente qué principios son independientes entre sí (no se implican mutuamente) mediante la construcción de contra-modelos a partir de búsquedas de prueba fallidas.

4. Resultados Principales

Jerarquía de Lógicas: Se construye un retículo (lattice) de 16 lógicas deónticas STIT basadas en la combinación de las propiedades $D2-D5$ . Se ordenan desde la lógica más débil ( $G3DS_n$ ) hasta la más fuerte ( $G3DS_n\{D2, D3, D4\}$ , que corresponde a la lógica deóntica STIT tradicional).
Localización de los Principios: Cada uno de los diez principios OiC se asocia con la lógica mínima necesaria para que sea un teorema.
- Ejemplo: OiA (Capacidad) es un teorema en $G3DS_n\{D3, D5\}$ .
- Ejemplo: OiCtrl (Control) requiere la lógica más fuerte $G3DS_n\{D3, D5\}$ con la adición de propiedades deliberativas específicas.
Independencia: Se demuestra que principios como OiNA (Capacidad Normativa) son estrictamente independientes de principios como OiA (Capacidad) en ciertos marcos, lo que significa que aceptar uno no obliga lógicamente a aceptar el otro sin las propiedades de marco adecuadas.
Colapso de Distinciones: Se muestra que bajo ciertas condiciones (adición de $D4$ ), la distinción entre "deber ser el caso" ( $\otimes_i$ ) y "deber hacer que suceda" ( $\otimes_i[i]$ ) colapsa, recuperando la interpretación de "dominancia" (dominance ought) propuesta por Horty.

5. Significado e Impacto

Este trabajo es significativo por varias razones:

Resolución de Debates Filosóficos: Ofrece una herramienta formal para clarificar debates históricos sobre el principio OiC, mostrando que muchas disputas surgen de la ambigüedad en la definición de "poder" o "capacidad".
Avance en Lógica deóntica: Es el primer trabajo que proporciona cálculos de secuentes completos y correctos para una amplia gama de lógicas deónticas STIT, superando las limitaciones de los sistemas axiomáticos tradicionales.
Aplicabilidad Computacional: Al utilizar cálculos de secuentes etiquetados, el marco facilita la automatización de la búsqueda de pruebas y la extracción de contra-modelos, lo cual es crucial para la verificación formal de sistemas normativos y de IA.
Fundamento para Futuras Investigaciones: Establece una base sólida para investigar la interacción entre la agencia, el tiempo y la obligación, y sugiere direcciones futuras para la automatización del razonamiento normativo y el análisis de principios deliberativos más complejos.

En resumen, el artículo transforma un concepto filosófico abstracto en una estructura lógica rigurosa, permitiendo una comparación precisa y una clasificación jerárquica de las diferentes formas en que "lo que se debe" se relaciona con "lo que se puede".