Arrow-Type Impossibility for Genuinely Modal Judgments

Resumen Técnico: Imposibilidad de Tipo Arrow para Juicios Modalmente Genuinos

Enunciado del Problema
La agregación de juicios investiga cómo combinar juicios individuales sobre proposiciones lógicamente relacionadas en un juicio colectivo. Los resultados clásicos de imposibilidad (por ejemplo, List y Pettit, Dietrich y List) demuestran que interconexiones lógicas suficientemente fuertes entre proposiciones fuerzan la dictadura bajo axiomas de agregación naturales (Unanimidad, Independencia, Neutralidad). Sin embargo, estos resultados conciernen principalmente a la agregación de proposiciones factuales simples.

Este artículo aborda una brecha específica: si la imposibilidad de tipo Arrow persiste cuando los objetos de agregación deben ser juicios modalmente genuinos (que involucran los operadores de necesidad $\Box$ y posibilidad $\Diamond$) en lugar de proposiciones factuales disfrazadas. Una inclusión ingenua de fórmulas modales junto con las proposicionales reproduciría trivialmente las imposibilidades clásicas. Los autores, en cambio, aíslan un escenario donde cada elemento agregado debe involucrar operadores modales. La pregunta central es si la estructura semántica de la lógica modal en sí misma —específicamente la geometría de los marcos de Kripke— puede generar las interconexiones lógicas necesarias para forzar la dictadura, incluso en ausencia de interconexiones proposicionales explícitas.

Metodología
Los autores analizan la agregación de juicios sobre clases específicas de marcos de Kripke (Marco 1 y Marco 2) definidos sobre grupos cíclicos $\mathbb{Z}/r\mathbb{Z}$. Las agendas consisten en fórmulas modales iteradas generadas a partir de una única variable proposicional $p$ (por ejemplo, $\Box^j p$ o $(\Box\Diamond)^j \Box p$).

El enfoque técnico se basa en dos capas principales:

1. Reducción Semántica: Los autores prueban un teorema de reducción semántica (Teorema 1) para marcos que satisfacen una condición de $k$-simetría. Este teorema demuestra que ciertos patrones modales iterados (específicamente $\Box\Diamond\Box\Phi$) pueden colapsarse semánticamente desplazando el punto de evaluación por una distancia fija $k$. Esto transforma preguntas complejas de consistencia modal en un problema combinatorio finito que involucra cubrimientos de conjuntos del dominio de la relación de accesibilidad.
2. Criterio de Imposibilidad Basado en Marcos: Basándose en la reducción, los autores definen un "marco de imposibilidad" como un marco de Kripke donde la agenda es tanto mínimamente conectada (conteniendo un subconjunto mínimamente inconsistente de tamaño $\ge 3$) como fuertemente conexa por caminos (permitiendo una cadena de dependencias lógicas entre cualquier par de fórmulas no negadas). Prueban que si un marco satisface estas condiciones, cualquier regla de agregación que satisfaga la Unanimidad y la Neutralidad Positivo-Negativa debe ser dictatorial (Teorema 2).

Contribuciones y Resultados Clave

1. Teorema de Reducción Semántica (Teorema 1): El artículo establece que en marcos cíclicos simétricos, la verdad de una fórmula modal compleja en un mundo $w$ es equivalente a la verdad de una fórmula más simple en un mundo desplazado $w+k$. Esto reduce la verificación de consistencia modal a un problema de cubrimiento combinatorio sobre el conjunto de mundos accesibles.
2. Imposibilidad en Escenarios Modales Escasos (Teorema 3): Los autores construyen marcos de imposibilidad específicos donde $r$ y $k$ son coprimos y el conjunto de accesibilidad $A$ satisface propiedades de inclusión específicas. Prueban que incluso para agendas generadas por una única variable proposicional y un único operador modal (por ejemplo, $\Box^j p$), la estructura semántica por sí sola genera las interconexiones lógicas necesarias. Específicamente:
   • Para el Marco 1 (un marco cíclico "punteado"), la agenda $\{\Box^j p, \neg \Box^j p\}_{j \ge 1}$ fuerza la dictadura.
   • Para el Marco 2 (un marco puramente cíclico) con $k$-simetría, la agenda $\{(\Box\Diamond)^j \Box p, \neg (\Box\Diamond)^j \Box p\}_{j \ge 0}$ fuerza la dictadura.
   • La prueba identifica una estructura de "cubrimiento mínimo punteado" en los traslados del conjunto $A+w$, lo que produce conjuntos de juicios mínimamente inconsistentes y una fuerte conectividad por caminos mediante un argumento de coprimalidad.
3. Tractabilidad Algorítmica: Si bien se mantienen los resultados de imposibilidad, la misma reducción semántica permite la implementación eficiente de procedimientos de agregación no dictatoriales. Los autores aplican el procedimiento de mayoría secuencial de Peleg y Zamir. Al reducir la verificación de consistencia a un pequeño problema de cubrimiento combinatorio (específicamente, verificar si un traslado del conjunto está cubierto por la unión de otros), derivan algoritmos con complejidad de tiempo polinomial ($O(r \cdot |A|)$ u $O(r \cdot k)$) para verificar la consistencia y construir juicios colectivos.

Significado y Afirmaciones
El artículo afirma que la imposibilidad de tipo Arrow no está confinada a agendas proposicionales rígidas o a agregación basada en hechos. Por el contrario, la estructura semántica de la lógica modal en sí misma —específicamente la geometría de los marcos de Kripke subyacentes— puede generar las interconexiones lógicas requeridas para forzar la dictadura. Esto sugiere que la semántica modal debe considerarse no meramente como un lenguaje más rico para la agregación, sino como una fuente directa de obstrucción teórica de la agregación.

Los autores enfatizan que sus resultados aclaran el alcance de la imposibilidad en la elección social computacional: incluso en escenarios modales altamente escasos donde los objetos de agregación son estrictamente modales, se puede forzar la dictadura. Por el contrario, el análisis estructural que conduce a la imposibilidad también proporciona la palanca algorítmica necesaria para implementar procedimientos de agregación eficientes y no dictatoriales que respeten la consistencia, vinculando los límites teóricos de la agregación con la tractabilidad algorítmica a través de una reducción semántica común.