Resumen Técnico: Semántica de Comportamiento de Inferencia para Todas las Conectivas en Cálculos de Secuentes Bidimensionales

1. Planteamiento del Problema

El artículo aborda un desafío central de la Semántica de la Teoría de la Prueba (P-tS): cómo proporcionar explicaciones semánticas invariantes de significado para las conectivas lógicas a través de diferentes sistemas lógicos (por ejemplo, lógicas clásica, intuicionista, lineal y dual-intuicionista). Los enfoques tradicionales, como la Semántica de la Teoría de Modelos (M-tS) y la Semántica de Extensión de Bases (B-eS), a menudo sufren de "globalismo", donde cambiar la lógica requiere cambiar el significado de las conectivas (por ejemplo, el "y" clásico frente al "y" intuicionista). Esto conduce a una situación en la que los desacuerdos lógicos se reducen a meros fallos de comunicación debido a definiciones divergentes, en lugar de desacuerdos sustantivos sobre conceptos compartidos.

El problema específico que aborda este artículo es la falta de una implementación formal y sistemática de la Semántica de Comportamiento de Inferencia (I-bS), un enfoque reciente propuesto por Nagler [Nag26]. Si bien la I-bS ofrece un marco prometedor para aislar el "comportamiento de inferencia mínimo" de una conectiva para definir su significado, anteriormente carecía de una evaluación técnica exhaustiva a través del espacio de todas las posibles reglas de conectivas. El objetivo del artículo es validar la I-bS aplicándola a un conjunto vasto y no estructurado de conectivas candidatas para determinar qué, si es que alguna, posee significados mínimos y distintos, independientes de reglas estructurales específicas (como la debilitación o la contracción).

2. Metodología

El estudio emplea un enfoque riguroso y basado en datos para medir el "significado" de las conectivas basándose en su uso inferencial en un entorno mínimo.

2.1 Objeto de Indagación: Todas las* Conectivas

Los autores definen el alcance de la investigación como todas las conectivas*: pares de reglas operacionales formulables en cálculos de secuentes bidimensionales sujetos a las siguientes restricciones:

• Reglas Operacionales: Deben ser separadas, explícitas y simétricas (Definición 3).
• Restricciones: Como máximo dos secuentes premisa y como máximo dos fórmulas activas por regla.
• Espacio Total: Esto produce exactamente 10.816 pares de reglas sintácticamente únicos (combinaciones de formas de premisa y posiciones de fórmulas activas).

2.2 Entorno de Prueba: Relación de Derivabilidad Mínima

Para aislar el significado de una conectiva de las características estructurales de lógicas específicas, los autores utilizan un cálculo de fondo mínimo que consiste en:

• Identidad ($Id_{pr}$): Restringida únicamente a fórmulas primitivas.
• Corte ($Cut_{cd}$): Una regla de Corte que diferencia contextos.
• Supuestos Estructurales: El cálculo asume Intercambio (multiconjuntos) pero excluye Debilitación y Contracción. Esto representa el "núcleo subestructural" común a muchas lógicas.

2.3 Dispositivo de Medición: Comportamiento de Inferencia

La métrica central es el comportamiento de inferencia, definido como el patrón sintáctico que exhibe una conectiva cuando se prueba su definibilidad dentro del cálculo mínimo.

• Criterios de Definibilidad: Siguiendo a Belnap [Bel62], una conectiva es definible si su adición al cálculo resulta en una extensión conservadora (no genera nuevos teoremas sin la conectiva) y unicidad (la conectiva está determinada de forma única hasta isomorfismo).
• Cláusula Semántica: El "significado" de una conectiva se identifica como su par de reglas operacionales mínimo que produce el perfil de comportamiento de inferencia mínimo (la lista más corta de posiciones de componentes ocupadas por la conectiva y sus fórmulas activas durante una prueba de definibilidad).

2.4 Generación y Análisis de Datos

Los autores filtran sistemáticamente los 10.816 candidatos:

1. Filtro 1 (Formulabilidad): Todos los 10.816 pares de reglas.
2. Filtro 2 (Conservatividad): Probando la eliminación del Corte para los casos positivos y construyendo contraejemplos para los no conservadores. Esto reduce el conjunto a 376 conectivas conservadoras.
3. Filtro 3 (Unicidad): Estableciendo interderivabilidad horizontal y vertical. Esto reduce aún más el conjunto a 150 conectivas unicamente definibles.
4. Análisis de Minimalidad: Entre las 150 conectivas definibles, los autores distinguen entre conectivas "mínimas" y "bloatnectives" (conectivas equivalentes con redundancias sintácticas). Al aplicar criterios de minimalidad de tipo de premisa (menor cardinalidad de secuentes premisa), aíslan las cláusulas semánticas verdaderamente mínimas.

3. Contribuciones Clave y Resultados

3.1 Identificación de 21 Conectivas Mínimamente Significativas

El resultado principal es la identificación de exactamente 21 conectivas mínimamente significativas. Estas corresponden a constantes lógicas familiares y sus conversos/inversos, pero con distinciones precisas entre versiones aditivas (reticulares) y multiplicativas (grupales):

• Nularias: Abajo ($\bot$) y Arriba ($\top$).
• Unarias: Dos formas de negación (Intuicionista $\neg$ y Dual-Intuicionista $\sim$), y una negación inversa "trivial".
• Binarias:
  • Conjunción: Aditiva ($\sqcap$) y Multiplicativa ($\otimes$).
  • Disyunción: Aditiva ($\sqcup$) y Multiplicativa ($\oplus$).
  • Implicación: Derecha Aditiva ($\rightsquigarrow$), Multiplicativa Derecha ($\to$), Izquierda Aditiva y Multiplicativa Izquierda.
  • Conversos e Inversos: Cada una de las anteriores tiene cláusulas semánticas distintas para sus conversos (intercambio de componentes) e inversos.

3.2 Cláusulas Semánticas y Marcos de Trabajo

El artículo proporciona cláusulas semánticas explícitas (pares de reglas mínimos) para cada una de las 21 conectivas. Crucialmente, demuestra que estos significados son independientes de la lógica. Por ejemplo, la cláusula semántica para la conjunción multiplicativa ($\otimes$) es la misma si aparece en la Lógica Lineal, la Lógica Clásica o la Lógica Intuicionista. Las diferencias en cómo se comportan estas conectivas en lógicas completas (por ejemplo, la equivalencia de $\otimes$ y $\sqcap$ en la Lógica Clásica) se atribuyen a recursos estructurales (como Contracción y Debilitación) en lugar de un cambio en el significado central de la conectiva.

3.3 Interrelaciones Semánticas a través de las Lógicas

El estudio mapea la compatibilidad semántica de estas 21 conectivas a través de varias lógicas:

• Lógica Clásica (LK): Confluye las versiones aditivas y multiplicativas de la conjunción, la disyunción e la implicación. También confluye las dos formas de negación.
• Lógica Intuicionista (LJ): Es compatible con las versiones aditivas de la conjunción y la disyunción, y la implicación "derecha", pero solo captura la mitad del significado de la negación clásica (específicamente $\neg_{min}$, excluyendo $\sim_{min}$).
• Lógica Dual-Intuicionista (LDJ): Captura la otra mitad de la negación clásica ($\sim_{min}$) y los duales de las otras conectivas.
• Lógica Lineal (LL): Distingue todas las 21 conectivas, tratándolas como semánticamente distintas.

3.4 Validación de la I-bS

El artículo afirma validar el marco de la Semántica de Comportamiento de Inferencia al demostrar que, cuando se aplica a una búsqueda ciega y exhaustiva de posibles reglas sin sesgo hacia una lógica específica, la teoría converge naturalmente en exactamente las conectivas estándar encontradas en los sistemas lógicos establecidos. El hecho de que el "ruido" (los otros 10.795 pares de reglas) sea filtrado como no definible o no mínimo sirve como una "prueba de control" para la teoría.

4. Significado y Reivindicaciones

El artículo posiciona sus hallazgos como una verificación del marco de la Semántica de Comportamiento de Inferencia. Su importancia radica en:

1. Independencia de la Lógica: Proporciona un método para definir significados de conectivas que son invariantes a través de diferentes lógicas. Cambiar la lógica (por ejemplo, añadir Debilitación) no cambia el significado de la conectiva; solo cambia el contexto estructural en el que opera.
2. Resolución del Cambio de Significado: Ofrece una explicación semántica de por qué las lógicas clásica e intuicionista parecen discrepar. No necesariamente discrepan en el significado de "y" o "o"; más bien, difieren en qué conectivas mínimas permiten interactuar y qué reglas estructurales permiten. Por ejemplo, el "y" clásico es una conflación de dos significados mínimos distintos ($\otimes$ y $\sqcap$), mientras que el "y" intuicionista es estrictamente $\sqcap$.
3. Frugalidad Ontológica: El enfoque no requiere modelos o bases externas, apoyándose únicamente en el núcleo subestructural del sistema de prueba.
4. Exhaustividad: Al cubrir todo el espacio de reglas formulables bajo las restricciones dadas, el artículo afirma haber proporcionado una taxonomía completa de los significados de las conectivas mínimas en cálculos de secuentes bidimensionales.

Los autores mantienen la modestia respecto al alcance, señalando que los resultados son relativos a las restricciones específicas (dos premisas, dos fórmulas activas, cálculo mínimo específico) y que trabajos futuros podrían explorar cálculos multidimensionales, cuantificación o relaciones de derivabilidad mínima alternativas. Sin embargo, dentro de su alcance definido, el artículo afirma que la I-bS logra aislar los significados primitivos de las conectivas lógicas.