La configuración de relaciones modales — como necesidad, posibilidad, contingencia y sus variantes (alética, epistémica, deóntica, etc.) — que gobierna cómo se relacionan proposiciones, estados o entidades a través de formas alternativas en que el mundo podría ser; especifica qué afirmaciones modales están autorizadas y cómo deben realizarse las inferencias modales y las evaluaciones contrafactuales o normativas.

Principio

Las conclusiones modales y las valoraciones contrafactuales son válidas solo en relación con las distinciones modales y las relaciones de accesibilidad estipuladas por la estructura modal empleada; cambiar esas estipulaciones altera qué inferencias modales se mantienen.

Demostración

Escenario ilustrativo → Situación: Un analista utiliza un marco modal que considera ciertas transiciones como imposibles (inaccesibles). Reconocimiento: Un contrafactual que presupone tal transición se evalúa como falso bajo el marco. Acción: El analista excluye ese contrafactual del razonamiento posterior. Consecuencia: Los argumentos que dependían de ese contrafactual dejan de sostener las conclusiones propuestas dentro de la estructura modal elegida.

Aplicación incorrecta

Confundir distintos tipos de modalidad — por ejemplo, tratar la posibilidad epistémica (compatible con la evidencia actual) como si fuera posibilidad metafísica (lo que podría existir en mundos posibles) — conduciendo a errores de categoría en el razonamiento modal.

Consecuencia

Una estructura modal explícita aclara qué contrafactuales, necesidades y permisos son legítimos en el análisis, mejorando la coherencia argumental; no especificar la estructura modal genera ambigüedad, equívoco e inferencias modales inválidas.

Inversión

Cambiar la interpretación modal (p. ej., de alética a deóntica, o de una accesibilidad clásica de mundos posibles a una accesibilidad graduada o sensible al contexto) puede invertir juicios modales y hacer inválidas inferencias antes autorizadas.

Límite

Claramente dentro: una lógica modal o marco explícitamente declarado con modalidades definidas y relaciones de accesibilidad. Caso límite: razonamiento contrafactual informal donde la modalidad es implícita pero restringida por el contexto. Claramente fuera: enunciados probabilísticos sobre frecuencias que no formulan afirmaciones modales.

Tensión semántica

Tensión con la Práctica Epistémica: la estructura modal que mejor captura la modalidad metafísica puede entrar en conflicto con los juicios epistémicos ordinarios sobre lo que es posible, requiriendo una distinción cuidadosa al moverse entre usos descriptivos y normativos o metafísicos de la modalidad.

Síntesis

La estructura modal es la gramática de cómo la realidad puede variar: explicitar esos compromisos modales evita confusiones de categoría y muestra que las afirmaciones modales dependen del aparato interpretativo elegido más que de hechos autoevidentes.