💻 computer science

The Dynamic Turn in Paraconsistency

Este artículo introduce un marco dinámico para la paraconsistencia mediante la definición de lógicas de acción y de anuncio público (AMLFI1 y PALFI1) que extienden los sistemas epistémicos paraconsistentes existentes, permitiendo la formalización de la obtención y resolución de contradicciones provisionales al mismo tiempo que se demuestra su corrección y completitud.

Autores originales: Rafael Ongaratto, Hans van Ditmarsch

Publicado 2026-07-23

📖 7 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Rafael Ongaratto, Hans van Ditmarsch

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 eres un detective intentando resolver un misterio, pero tu libreta tiene un poco de fallos técnicos. A veces, dos testigos diferentes te cuentan cosas opuestas sobre la misma pista. En los viejos tiempos de la lógica, si escuchabas "El sospechoso está en el parque" y "El sospechoso NO está en el parque", toda tu libreta explotaría. El sistema colapsaría, y te verías obligado a concluir que todo es verdad y que nada es verdad, haciendo que tu investigación fuera inútil. Esto se llama el "principio de explosión".

Pero la vida real no es así. Lidiamos con contradicciones todo el tiempo sin perder la cabeza. Simplemente decimos: "Vale, hay un conflicto aquí, averigüemos quién está mintiendo o quién cometió un error".

Aquí es donde entra la paraconsistencia. Es una rama de la lógica diseñada para manejar estas situaciones contradictorias y desordenadas sin que el sistema colapse. Nos permite mantener dos ideas opuestas en la cabeza al mismo tiempo, tratándolas como un fallo temporal en lugar de un desastre total. Además, la lógica dinámica es como añadir un botón de "rebobinar" y "avance rápido" a tu historia de detective. No se limita a mirar una imagen estática del mundo; rastrea cómo cambian tus creencias cuando recibes nueva información, como cuando un testigo cambia su versión o encuentras una nueva pieza de evidencia.

La gran pregunta que aborda este artículo es: ¿Qué sucede cuando combinas estas dos cosas? ¿Cómo construimos un sistema lógico que no solo pueda manejar las contradicciones, sino que también pueda mostrar cómo aparecen, evolucionan y finalmente se resuelven a medida que aprendemos más? Los autores, Rafael Ongaratto y Hans van Ditmarsch, argumentan que necesitamos un "giro dinámico" en la paraconsistencia. Quieren pasar de simplemente observar una imagen estática y contradictoria a crear una película donde podamos ver cómo nace la contradicción y cómo se resuelve.

La gran idea del artículo: La historia de detective "a prueba de fallos"

En este artículo, los autores presentan un nuevo conjunto de herramientas lógicas llamadas AMLFI1 y UMLFI1. Piensa en ellos como un sistema operativo superpotente y a prueba de fallos para un equipo de detectives (o agentes) que intentan resolver un caso juntos.

La configuración: La base de datos con fallos

Imagina una base de datos digital compartida donde diferentes agentes (llamémoslos Anne, Bill y Cath) intercambian información. En el mundo real, las bases de datos a veces se vuelven desordenadas. Tal vez Anne piensa que un archivo es "Azul", pero Bill piensa que es "Rojo". En un sistema lógico normal y estricto, este conflicto rompería toda la base de datos. Pero en el mundo de LFI1 (la lógica base sobre la que están construyendo esto), la base de datos puede manejarlo. Tiene un interruptor especial de "inconsistencia" (un símbolo como •) que dice: "Oye, estos datos son contradictorios, pero no entres en pánico. Aún podemos trabajar con ellos".

Los autores toman esta idea estática y añaden Modelos de Acción. Imagina que son pequeñas "cartas de eventos" que los agentes juegan. Cuando un agente juega una carta, actualiza la base de datos.

AMLFI1 es la primera versión de este sistema. Permite que los agentes jueguen cartas que cambian lo que saben. Por ejemplo, si Cath dice: "Tengo la carta de Tréboles", el sistema actualiza el conocimiento de Anne. Incluso si Cath está mintiendo y en realidad tiene la de Espadas, el sistema no colapsa. Simplemente registra que Anne ahora cree en "Tréboles" mientras que la realidad podría ser "Espadas", creando una contradicción temporal y manejable.
UMLFI1 es la versión mejorada. Añade Cambio Fáctico. Esta es la "varita mágica" que no solo cambia lo que la gente piensa, sino que cambia los hechos mismos. Si Cath estaba mintiendo y luego es descubierta, puede mostrar su carta. El sistema no solo actualiza la creencia de Anne; realmente reescribe la entrada de la base de datos para que coincida con la verdad. La contradicción se resuelve y el sistema vuelve a la normalidad.

El problema del "Mentiroso" y el agente "Bizantino"

El artículo utiliza un juego llamado Coup para explicar por qué esto es genial. En Coup, los jugadores tienen cartas y pueden mentir sobre lo que poseen para ganar. Si mientes, creas una contradicción entre lo que dices y lo que tienes.

Lógica antigua: Si intentas modelar a un mentiroso, el sistema suele romperse porque no puede manejar la mentira sin asumir que el mentiroso está "loco" (sabiendo todo y nada a la vez).
La lógica de este artículo: Los autores demuestran que puedes modelar a un mentiroso perfectamente. El sistema puede decir: "Cath afirma tener Tréboles, pero en realidad tiene Espadas". Mantiene ambas piezas de información en un "estado contradictorio" (marcado como 1/2 o "tal vez/ambos") sin explotar.
El giro: El artículo distingue entre un Mentiroso (alguien que sabe la verdad pero dice lo contrario) y un Agente Bizantino (alguien que simplemente está roto, confundido o funcionando mal). En su sistema, un agente averiado podría creer genuinamente que tiene ambas cartas a la vez. La lógica gestiona este "mal funcionamiento" con elegancia, manteniendo el resto del sistema en marcha mientras el agente averiado es reparado o ignorado.

El mecanismo de "Resolución"

La parte más emocionante del artículo es cómo muestran que las contradicciones se arreglan.

El Conflicto: Anne escucha a Cath decir "Tengo Tréboles", pero luego Cath dice "Tengo Espadas". Anne ahora está confundida. Su base de datos tiene una contradicción.
La Solución: Se desafía a Cath a mostrar su carta. Ella revela que tiene Espadas.
La Actualización: En el sistema UMLFI1, esto no es solo Anne cambiando de opinión. El sistema realiza un "cambio fáctico". Actualiza la realidad de la carta. La contradicción desaparece porque el hecho de "Espadas" sobrescribe la mentira de "Tréboles". El sistema demuestra matemáticamente que este proceso es sólido (nunca conduce a disparates) y completo (puede probar todo lo que es verdad en este sistema).

Lo que demostraron

Los autores no solo supusieron que esto funcionaría; construyeron una prueba matemática rigurosa.

Demostraron que sus nuevas lógicas (AMLFI1 y UMLFI1) son sólidas (sound): Si sigues las reglas, no terminarás con una conclusión errónea.
Demostraron que son completas (complete): Si algo es verdad en el sistema, puedes probarlo usando sus reglas.
Demostraron que son decidibles (decidable): Existe una receta paso a paso (un algoritmo) que puede decirte, en un tiempo finito, si una afirmación específica es verdadera o falsa en este sistema.
También demostraron que su versión de la "Lógica de Anuncio Público" (un tipo específico de actualización donde todos escuchan lo mismo) es matemáticamente equivalente a otra versión reciente, solo que escrita con reglas ligeramente distintas.

Lo que no pretenden hacer

Es importante señalar lo que este artículo no hace. No pretenden haber resuelto el problema de la mentira en todas las interacciones humanas, ni pretenden haber construido una IA funcional que pueda mentir y recuperarse todavía. No han probado esto en una base de datos del mundo real o en un juego de Coup en vivo. Han construido el plano y el motor matemático que dice: "Sí, esta es una forma válida de pensar sobre las contradicciones y las actualizaciones". Dejan el trabajo pesado de aplicar esto a sistemas distribuidos complejos del mundo real (como las enormes bases de datos de internet) como una tarea para futuros investigadores.

La conclusión

En términos sencillos, este artículo nos ofrece una nueva forma de escribir las reglas para un mundo donde las cosas salen mal. Muestra que no tenemos que elegir entre un mundo perfectamente consistente (y, por tanto, frágil) y un mundo caótico. Podemos tener un mundo que acepta las contradicciones como fallos temporales, rastrea cómo ocurren y proporciona un camino lógico para solucionarlas. Es como darle a un detective una libreta que no se rasga cuando escribes dos cosas distintas en la misma página, sino que en su lugar resalta el conflicto y espera a la siguiente pista para resolverlo.

Resumen Técnico: El Giro Dinámico en la Paraconsistencia

Planteamiento del Problema
El artículo aborda una limitación fundamental en el estado actual de la lógica paraconsistente: su naturaleza estática. Si bien las lógicas paraconsistentes (como LFI1) modelan con éxito estados inconsistentes pero no triviales, típicamente ofrecen solo una "imagen estática" de la contradicción. En el enfoque epistémico de la paraconsistencia, las contradicciones suelen verse como "provisionales" —derivadas de limitaciones cognitivas, errores de medición o etapas en el desarrollo de una teoría— y se espera que se resuelvan con el tiempo. Sin embargo, las lógicas paraconsistentes estándar no pueden representar el proceso de cambio de modelo (actualización de información) dentro del propio lenguaje lógico. En su lugar, tales actualizaciones deben describirse en el metalenguaje (por ejemplo, "en el tiempo $t_1$ el modelo es $M_1$ , y tras la acción $k$ , se convierte en $M_2$ "). Los autores argumentan que es necesario un "giro dinámico" para formalizar la obtención y resolución de contradicciones provisionales, de manera similar al "giro dinámico" logrado en la lógica epistémica clásica a través de la Lógica Epistémica Dinámica (DEL).

Metodología
Los autores extienden la lógica paraconsistente trivalente LFI1 (Lógica de la Inconsistencia Formal) con modalidades dinámicas derivadas de la escuela holandesa de las lógicas dinámicas. La metodología consiste en:

Fundamentación Lógica: Utilizar LFI1, que extiende la Lógica de la Paradoja (LP) con un operador de consistencia ( $\circ$ ) y un operador de inconsistencia ( $\bullet$ ). LFI1 es una lógica trivalente (valores: 1, 1/2, 0) donde 1 y 1/2 son designados. Crucialmente, LFI1 posee una "equivalencia fuerte" ( $\equiv$ ) que funciona como una relación de congruencia, una propiedad que carecen otras lógicas multivalentes como LP o K3.
Extensión Dinámica (AMLFI1): Los autores introducen AMLFI1 (Modelo de Acción LFI1), una lógica epistémica dinámica que extiende S5LFI1. Incorpora modelos de acción donde las acciones tienen precondiciones pero no postcondiciones (cambios fácticos). La semántica se define mediante un producto modal restringido de modelos de Kripke y modelos de acción.
Extensión de Cambio Fáctico (UMLFI1): Los autores introducen además UMLFI1 (Modelo de Actualización LFI1), que extiende AMLFI1 permitiendo que las acciones tengan postcondiciones. Esto permite el "cambio óntico" (cambiar el valor de verdad de los hechos atómicos), lo cual es esencial para modelar la resolución de contradicciones.
Axiomatización y Reducción: El núcleo del enfoque técnico consiste en definir axiomas de reducción. A diferencia de las DEL estándar donde los axiomas de reducción son a menudo equivalencias, los autores utilizan equivalencias fuertes (basadas en la congruencia de $\equiv$ ) para reducir fórmulas que contienen modalidades dinámicas a fórmulas dentro del lenguaje epistémico estático (LK). Esta estrategia de reducción se utiliza para probar la completitud.
Análisis Comparativo: El artículo compara la propuesta lógica de anuncio público PALFI1 (Public Announcement LFI1, un caso especial de AMLFI1) con una alternativa de axiomatización recientemente publicada, PALFI1C.

Contribuciones Clave

Formalización de la Paraconsistencia Dinámica: El artículo propone AMLFI1 y UMLFI1, las primeras lógicas epistémicas dinámicas diseñadas específicamente para la lógica paraconsistente trivalente LFI1.
Manejo de Contradicciones Provisionales: Al integrar modelos de acción con precondiciones y postcondiciones, el marco permite la representación formal de agentes que reciben información conflictiva (entrando en un estado de inconsistencia) y posteriormente la resuelven (retornando a la consistencia) mediante cambios fácticos.
Equivalencia de Axiomatizaciones: Los autores demuestran que su lógica de anuncio público (PALFI1), que utiliza una regla de reemplazo de equivalentes (RE) y carece de un axioma de composición, es lógicamente equivalente a la recientemente publicada PALFI1C, que utiliza un axioma de composición pero carece de RE. Prueban la admisibilidad de RE en PALFI1C y del axioma de composición en PALFI1.
Novedad Técnica en la Reducción: Los axiomas de reducción se formulan como equivalencias fuertes en lugar de simples equivalencias. Esta es una adaptación necesaria para el entorno trivalente de LFI1, donde la equivalencia estándar no induce una congruencia.

Resultados
El artículo establece las siguientes propiedades metateóricas para las lógicas introducidas (AMLFI1, PALFI1 y UMLFI1):

Corrección (Soundness): Los axiomas y reglas son correctos con respecto a la semántica de Kripke definida.
Completitud Fuerte: Las lógicas son fuertemente completas con respecto a sus semánticas. Esto se prueba mediante la estrategia de reducción, demostrando que cualquier fórmula en el lenguaje dinámico es demostrablemente equivalente a una fórmula en el lenguaje estático, el cual ya es conocido por ser completo.
Compacidad: Las lógicas satisfacen la propiedad de compacidad.
Decidibilidad: Las lógicas son decidibles, derivado de la decidibilidad de la lógica estática subyacente (S5LFI1) y la naturaleza terminante del procedimiento de reducción.
Relaciones de Subsistema: Las lógicas dinámicas extienden adecuadamente las lógicas epistémicas paraconsistentes estáticas KLFI1, KB4LFI1 y S5LFI1.

Significancia y Reivindicaciones
Los autores afirman que su trabajo proporciona un "giro dinámico" para la paraconsistencia, yendo más allá de los modelos estáticos de la contradicción hacia un marco donde las contradicciones son tratadas como estados transitorios que pueden ser actualizados y resueltos.

Aplicación al Engaño y Comportamiento Bizantino: El artículo aplica estas lógicas al análisis del engaño, los errores y el comportamiento "bizantino" (por ejemplo, en el contexto del juego Coup). Argumentan que la paraconsistencia dinámica ofrece una visión más matizada que la lógica epistémica dinámica clásica, donde mentir a menudo conduce a la "explosión" o la trivialidad. En el marco propuesto, los agentes pueden mantener información contradictoria sin volverse "locos" (triviales), y los cambios fácticos (postcondiciones) permiten la recuperación de tales inconsistencias.
Sistemas Distribuidos: Los autores sugieren que estos resultados son transferibles a la gestión de bases de datos distribuidas, particularmente para el manejo de inconsistencias locales donde diferentes agentes pueden tener visiones conflictivas que son resueltas posteriormente.
Modestia: El artículo enmarca modestamente su contribución como un paso fundacional. Reconoce que modelar completamente la distinción entre el engaño (intencional) y el error (no intencional) o manejar la contracción compleja de creencias (añadiendo flechas de accesibilidad) requiere investigación adicional y codificaciones más complejas, las cuales se dejan para trabajos futuros. Los autores enfatizan que la belleza de su enfoque radica en proporcionar codificaciones "económicas" para las inconsistencias locales en comparación con marcos de revisión de creencias más complejos.