Arrow-Type Impossibility for Genuinely Modal Judgments

Resumo Técnico: Impossibilidade do Tipo Arrow para Julgamentos Verdadeiramente Modais

Enunciação do Problema
A agregação de julgamentos investiga como combinar julgamentos individuais sobre proposições logicamente relacionadas em um julgamento coletivo. Resultados clássicos de impossibilidade (por exemplo, List e Pettit, Dietrich e List) demonstram que interconexões lógicas suficientemente fortes entre proposições forçam a ditadura sob axiomas naturais de agregação (Unanimidade, Independência, Neutralidade). No entanto, esses resultados referem-se principalmente à agregação de proposições factuais simples.

Este artigo aborda uma lacuna específica: se a impossibilidade do tipo Arrow persiste quando os objetos de agregação são exigidos para ser julgamentos verdadeiramente modais (envolvendo os operadores de necessidade $\Box$ e possibilidade $\Diamond$) e não proposições factuais disfarçadas. Uma inclusão ingênua de fórmulas modais ao lado de proposicionais reproduziria trivialmente as impossibilidades clássicas. Os autores isolam, em vez disso, um cenário onde cada item agregado deve envolver operadores modais. A questão central é se a estrutura semântica da lógica modal em si — especificamente a geometria dos quadros de Kripke — pode gerar as interconexões lógicas necessárias para forçar a ditadura, mesmo na ausência de interconexões proposicionais explícitas.

Metodologia
Os autores analisam a agregação de julgamentos sobre classes específicas de quadros de Kripke (Quadro 1 e Quadro 2) definidos em grupos cíclicos $\mathbb{Z}/r\mathbb{Z}$. As agendas consistem em fórmulas modais iteradas geradas a partir de uma única variável proposicional $p$ (por exemplo, $\Box^j p$ ou $(\Box\Diamond)^j \Box p$).

A abordagem técnica baseia-se em duas camadas principais:

1. Redução Semântica: Os autores provam um teorema de redução semântica (Teorema 1) para quadros que satisfazem uma condição de $k$-simetria. Este teorema demonstra que certos padrões modais iterados (especificamente $\Box\Diamond\Box\Phi$) podem ser semanticamente colapsados deslocando o ponto de avaliação por uma distância fixa $k$. Isso transforma questões complexas de consistência modal em um problema combinatório finito envolvendo coberturas de conjuntos do domínio da relação de acessibilidade.
2. Critério de Impossibilidade Baseado em Quadros: Com base na redução, os autores definem um "quadro de impossibilidade" como um quadro de Kripke onde a agenda é tanto minimamente conectada (contendo um subconjunto minimamente inconsistente de tamanho $\ge 3$) quanto fortemente conectada por caminhos (permitindo uma cadeia de dependências lógicas entre quaisquer duas fórmulas não negadas). Eles provam que, se um quadro satisfaz essas condições, qualquer regra de agregação que satisfaça Unanimidade e Neutralidade Positiva-Negativa deve ser ditatorial (Teorema 2).

Principais Contribuições e Resultados

1. Teorema de Redução Semântica (Teorema 1): O artigo estabelece que, em quadros cíclicos simétricos, a verdade de uma fórmula modal complexa em um mundo $w$ é equivalente à verdade de uma fórmula mais simples em um mundo deslocado $w+k$. Isso reduz a verificação de consistência modal a um problema de cobertura combinatória no conjunto de mundos acessíveis.
2. Impossibilidade em Cenários Modais Esparsos (Teorema 3): Os autores constroem quadros de impossibilidade específicos onde $r$ e $k$ são coprimos e o conjunto de acessibilidade $A$ satisfaz propriedades específicas de inclusão. Eles provam que, mesmo para agendas geradas por uma única variável proposicional e um único operador modal (por exemplo, $\Box^j p$), a estrutura semântica por si só gera as interconexões lógicas necessárias. Especificamente:
   • Para o Quadro 1 (um quadro cíclico "pontudo"), a agenda $\{\Box^j p, \neg \Box^j p\}_{j \ge 1}$ força a ditadura.
   • Para o Quadro 2 (um quadro puramente cíclico) com $k$-simetria, a agenda $\{(\Box\Diamond)^j \Box p, \neg (\Box\Diamond)^j \Box p\}_{j \ge 0}$ força a ditadura.
   • A prova identifica uma estrutura de "cobertura mínima pontuda" nas translações de conjuntos $A+w$, o que produz conjuntos de julgamentos minimamente inconsistentes e forte conectividade por caminhos via um argumento de coprimalidade.
3. Tratabilidade Algorítmica: Embora os resultados de impossibilidade se mantenham, a mesma redução semântica permite a implementação eficiente de procedimentos de agregação não ditatoriais. Os autores aplicam o procedimento de maioria sequencial de Peleg e Zamir. Ao reduzir a verificação de consistência a um pequeno problema de cobertura combinatória (especificamente verificar se uma translação de conjunto é coberta pela união de outras), eles derivam algoritmos com complexidade de tempo polinomial ($O(r \cdot |A|)$ ou $O(r \cdot k)$) para verificar consistência e construir julgamentos coletivos.

Significado e Alegações
O artigo alega que a impossibilidade do tipo Arrow não se confina a agendas proposicionais rígidas ou à agregação baseada em fatos. Em vez disso, a estrutura semântica da lógica modal em si — especificamente a geometria dos quadros de Kripke subjacentes — pode gerar as interconexões lógicas necessárias para forçar a ditadura. Isso sugere que a semântica modal deve ser vista não meramente como uma linguagem mais rica para agregação, mas como uma fonte direta de obstrução teórica da agregação.

Os autores enfatizam que seus resultados esclarecem o escopo da impossibilidade na escolha social computacional: mesmo em cenários modais altamente esparsos onde os objetos de agregação são estritamente modais, a ditadura pode ser forçada. Por outro lado, a análise estrutural que leva à impossibilidade também fornece a alavancagem algorítmica necessária para implementar procedimentos de agregação eficientes e não ditatoriais que respeitam a consistência, ligando os limites teóricos da agregação à tratabilidade algorítmica por meio de uma redução semântica comum.