Guises and Perspectives: An Intentional and Hyperintensional Sketch

Resumo Técnico: Disfarces e Perspectivas: Um Esboço Intencional e Hiperintensional

Enunciado do Problema
O artigo aborda os desafios lógicos e metafísicos de modelar a referência intencional, atitudes de se e quasi-indexicalidade (por exemplo, "ele mesmo"), onde os princípios padrão de substituição extensional falham. Busca sintetizar duas tradições históricas: a teoria dos disfarces de Héctor-Neri Castañeda (conjuntos de propriedades apresentados sob perfis conceituais específicos) e a doutrina de Gottfried Wilhelm Leibniz sobre relações internas e contenção de predicados. O problema central é construir um sistema formal que trate as relações não como ligações causais externas, mas como estruturas internas codificadas dentro dos perfis conceituais (disfarces) de agentes e objetos, preservando assim distinções hiperintensionais necessárias para modelar a significação cognitiva, mantendo ao mesmo tempo uma espinha dorsal semântica rigorosa.

Metodologia
O autor desenvolve GL (Lógica dos Disfarces), uma linguagem intensional de muitas-sortos, e sua extensão GL⁺, um sistema de prova estilo Hilbert. A metodologia procede através das seguintes etapas:

1. Sintaxe e Ontologia: A linguagem distingue entre marcas (propriedades), disfarces (conjuntos de marcas), proposições (conjuntos de marcas) e mundos. Introduz um operador intencional binário $\mathcal{I}(g, \phi)$ ("o disfarce $g$ intende a proposição $\phi$") e um operador de relação interna $R(g, h)$.
2. Teoria dos Modelos: A semântica é definida sobre estruturas $\mathcal{M} = \langle \mathcal{P}, G, W, T, \kappa, \mathcal{I} \rangle$.
   • Disfarces são conjuntos de marcas (propriedades).
   • Fechamento ($\kappa$): Um operador de consequência Tarskiano induzido por uma teoria de fundo $T$ modela "conceitos completos" (contenção Leibniziana).
   • Mundos: Conjuntos maximais $T$-consistentes de marcas.
   • Intenção ($\mathcal{I}$): Uma atribuição que associa famílias de proposições intencionadas a cada disfarce.
   • Condições de Verdade: A predicação singular fundamenta-se na contenção ($P \in \kappa(g)$); as relações internas são definidas pela existência de uma proposição intencionada contida no disfarce-alvo.
3. Axiomatização: O sistema inclui axiomas para Verdade de Contenção, Contenção Leibniziana e Conexão Intencional. Crucialmente, incorpora princípios para Alinhamento Intenção-Fechamento (fechamento de consequência, invariância de extensão e comutação) e axiomas relacionais (reflexividade, monotonicidade, transitividade condicional).
4. Análise Metateórica: O artigo esboça provas de correção e completude de modelo canônico. Analisa o comportamento do sistema quanto à hiperintensionalidade, especificamente como lida com falhas de substituição em contextos intencionais.
5. Variantes do Sistema: O autor desenvolve três instâncias específicas (Sistemas A, B e C), variando de um sistema canônico de fechamento-intenção a modelos finitos explícitos e restritos a modelos, para demonstrar decidibilidade e tratabilidade.

Principais Contribuições

• Síntese Formal: O artigo fornece a primeira formalização rigorosa que integra a teoria dos disfarces de Castañeda com a semântica de contenção de Leibniz. Demonstra que verdades relacionais podem ser derivadas da contenção conceitual e da estrutura intencional, em vez de laços externos.
• Semântica Hiperintensional: O sistema modela explicitamente fenômenos hiperintensionais onde disfarces coreferenciais (compartilhando o mesmo conceito completo $\kappa(g) = \kappa(h)$) podem ter conjuntos de intenção distintos ($\mathcal{I}(g) \neq \mathcal{I}(h)$). Isso permite a falha de substituição em contextos intencionais, capturando a significação cognitiva do pensamento de se e dos quasi-indexicais.
• Relações Internas como Perspectivas: O quadro redefine relações como "denominações internas". Uma relação $R(g, h)$ vale se $g$ intende uma proposição que está contida em $h$. Isso alinha-se com a visão Leibniziana de que mônadas representam o universo a partir de seu próprio ponto de vista, sem janelas externas.
• Arquitetura Modal: Possibilidade e necessidade são modeladas via consistência e inclusão através de mundos maximais $T$-fechados, criando efetivamente uma camada de "raciocínio Leibniziano" dentro da lógica dos disfarces.

Resultados

• Correção e Completude: O artigo estabelece a correção por inspeção das cláusulas de modelo e esboça uma prova de completude de modelo canônico. A completude é mostrada como válida para a classe pretendida de modelos que satisfazem os princípios de alinhamento intenção-fechamento (CI1–CI3).
• Decidibilidade: Para fragmentos específicos — particularmente aqueles que usam teorias de Horn ($T$) e conjuntos finitos de modelos ($\Theta$) — o sistema possui a propriedade do modelo finito. O fragmento proposicional é mostrado como decidível (no pior caso PSPACE, frequentemente PTIME via encadeamento para frente).
• Tratamento de Atitudes De Se: O sistema formaliza com sucesso atitudes de se via um operador de autoatribuição ($Self(g, \phi)$), definido como $Int(g, \phi) \land \phi \subseteq g$, recuperando a reflexividade da autorreferência sem postular objetos exóticos.
• Modos de Falha e Reparos: O artigo identifica casos específicos de falha (por exemplo, não-comutação de fechamento e intenção, relações não transitivas) e propõe reparos axiomáticos ou restrições contextuais (por exemplo, distinguir agentes Leibnizianos ideais de variantes cognitivas) para lidar com eles.

Significado e Alegações
O artigo alega oferecer um "quadro formal autocontido" que é tanto "metafisicamente caridoso para Leibniz" quanto "tecnicamente adequado para a lógica contemporânea". Seu significado principal reside em demonstrar que:

1. As relações não são ligações causais externas, mas estruturas internas intencionais codificadas em disfarces (perspectivas).
2. Uma lógica dos disfarces pode preservar distinções intensionais necessárias (hiperintensionalidade) enquanto ancora a verdade na contenção extensional onde seguro.
3. O sonho de Leibniz de um "cálculo de conceitos" encontra uma vida renovada nesta arquitetura, onde inclusão, intenção e necessidade funcionam como partes de um único sistema intencional.

O autor posiciona este trabalho como um avanço metodológico, mostrando que uma lógica dos disfarces pode resolver os enigmas dos indexicais e as atribuições de atitude identificados por Castañeda sem abandonar os fundamentos semânticos rigorosos da lógica de predicados. O artigo não alega resolver todos os problemas da intencionalidade, mas fornece um conjunto específico e formalizável de parâmetros para modelar perspectivas e relações internas.