Guises and Perspectives: An Intentional and Hyperintensional Sketch

Resumen Técnico: Disfraz y Perspectivas: Un Esbozo Intencional e Hiperintensional

Enunciado del Problema
El artículo aborda los desafíos lógicos y metafísicos de modelar la referencia intencional, las actitudes de se y la cuasi-indicialidad (p. ej., "él mismo") donde fallan los principios estándar de sustitución extensional. Busca sintetizar dos tradiciones históricas: la teoría de los disfraces de Héctor-Neri Castañeda (conjuntos de propiedades presentados bajo perfiles conceptuales específicos) y la doctrina de Gottfried Wilhelm Leibniz sobre las relaciones internas y la contención de predicados. El problema central consiste en construir un sistema formal que trate las relaciones no como vínculos causales externos, sino como estructuras internas codificadas dentro de los perfiles conceptuales (disfraces) de los agentes y los objetos, preservando así las distinciones hiperintensionales necesarias para modelar la significación cognitiva, al tiempo que se mantiene un esqueleto semántico riguroso.

Metodología
El autor desarrolla GL (Lógica de Disfraces), un lenguaje intensional de muchos tipos, y su extensión GL⁺, un sistema de demostración al estilo de Hilbert. La metodología procede a través de los siguientes pasos:

1. Sintaxis y Ontología: El lenguaje distingue entre marcas (propiedades), disfraces (conjuntos de marcas), proposiciones (conjuntos de marcas) y mundos. Introduce un operador intencional binario $\mathcal{I}(g, \phi)$ ("el disfraz $g$ intenciona la proposición $\phi$") y un operador de relación interna $R(g, h)$.
2. Teoría de Modelos: La semántica se define sobre estructuras $\mathcal{M} = \langle \mathcal{P}, G, W, T, \kappa, \mathcal{I} \rangle$.
   • Disfraces: Son conjuntos de marcas (propiedades).
   • Clausura ($\kappa$): Un operador de consecuencia tarskiano inducido por una teoría de fondo $T$ modela "conceptos completos" (contención leibniziana).
   • Mundos: Conjuntos maximalmente $T$-consistentes de marcas.
   • Intención ($\mathcal{I}$): Una asignación que asigna familias de proposiciones intencionadas a cada disfraz.
   • Condiciones de Verdad: La predicación singular se fundamenta en la contención ($P \in \kappa(g)$); las relaciones internas se definen por la existencia de una proposición intencionada contenida en el disfraz objetivo.
3. Axiomatización: El sistema incluye axiomas para la Verdad de Contención, la Contención Leibniziana y la Conexión Intencional. Crucialmente, incorpora principios para la Alineación Intención-Clausura (clausura de consecuencia, invariancia extensional y conmutación) y axiomas relacionales (reflexividad, monotonicidad, transitividad condicional).
4. Análisis Metateórico: El artículo esboza pruebas de corrección y completitud de modelo canónico. Analiza el comportamiento del sistema respecto a la hiperintensionalidad, específicamente cómo maneja los fallos de sustitución en contextos intencionales.
5. Variantes del Sistema: El autor desarrolla tres instancias específicas (Sistemas A, B y C) que van desde un sistema canónico de clausura-intención hasta modelos finitos explícitos y restringidos por plantillas, para demostrar la decidibilidad y la manejabilidad.

Contribuciones Clave

• Síntesis Formal: El artículo proporciona la primera formalización rigurosa que integra la teoría de disfraces de Castañeda con la semántica de contención de Leibniz. Demuestra que las verdades relacionales pueden derivarse de la contención conceptual y la estructura intencional en lugar de vínculos externos.
• Semántica Hiperintensional: El sistema modela explícitamente fenómenos hiperintensionales donde disfraces coreferenciales (que comparten el mismo concepto completo $\kappa(g) = \kappa(h)$) pueden tener conjuntos de intención distintos ($\mathcal{I}(g) \neq \mathcal{I}(h)$). Esto permite el fallo de la sustitución en contextos intencionales, capturando la significación cognitiva del pensamiento de se y de los cuasi-indicadores.
• Relaciones Internas como Perspectivas: El marco redefine las relaciones como "denominaciones internas". Una relación $R(g, h)$ se sostiene si $g$ intenciona una proposición que está contenida dentro de $h$. Esto se alinea con la visión leibniziana de que las mónadas representan el universo desde su propio punto de vista sin ventanas externas.
• Arquitectura Modal: La posibilidad y la necesidad se modelan mediante consistencia e inclusión a través de mundos maximalmente $T$-cerrados, creando efectivamente una capa de "raciocinio leibniziano" dentro de la lógica de disfraces.

Resultados

• Corrección y Completitud: El artículo establece la corrección mediante inspección de las cláusulas de modelo y esboza una prueba de completitud de modelo canónico. Se demuestra que la completitud se cumple para la clase intencionada de modelos que satisfacen los principios de alineación intención-clausura (CI1–CI3).
• Decidibilidad: Para fragmentos específicos, particularmente aquellos que utilizan teorías de Horn ($T$) y conjuntos finitos de plantillas ($\Theta$), el sistema posee la propiedad de modelo finito. Se demuestra que el fragmento proposicional es decidible (en el peor de los casos PSPACE, a menudo PTIME mediante encadenamiento hacia adelante).
• Manejo de Actitudes De Se: El sistema formaliza con éxito las actitudes de se mediante un operador de autoascripción ($Self(g, \phi)$), definido como $Int(g, \phi) \land \phi \subseteq g$, recuperando la reflexividad de la autorreferencia sin postular objetos exóticos.
• Modos de Fallo y Reparaciones: El artículo identifica casos específicos de fallo (p. ej., no conmutación de clausura e intención, relaciones no transitivas) y propone reparaciones axiomáticas o restricciones contextuales (p. ej., distinguir entre agentes leibnizianos ideales y variantes cognitivas) para manejarlos.

Significado y Afirmaciones
El artículo afirma ofrecer un "marco formal autocontenido" que es tanto "metafísicamente benévolo con Leibniz" como "técnicamente adecuado para la lógica contemporánea". Su significado principal radica en demostrar que:

1. Las relaciones no son vínculos causales externos, sino estructuras internas intencionales codificadas en disfraces (perspectivas).
2. Una lógica de disfraces puede preservar distinciones intensionales necesarias (hiperintensionalidad) mientras ancla la verdad en la contención extensional donde sea seguro.
3. El sueño de Leibniz de un "cálculo de conceptos" encuentra una vida renovada en esta arquitectura, donde la inclusión, la intención y la necesidad funcionan como partes de un único sistema intencional.

El autor posiciona este trabajo como un avance metodológico, mostrando que una lógica de disfraces puede resolver los acertijos de los indicadores y las ascripciones de actitudes identificados por Castañeda sin abandonar los fundamentos semánticos rigurosos de la lógica de predicados. El artículo no afirma resolver todos los problemas de la intencionalidad, sino que proporciona un conjunto específico y formalizable de parámetros para modelar perspectivas y relaciones internas.