Una familia de lógicas formales que amplían los cálculos proposicionales o de predicados con operadores modales (como □ para la necesidad y ◇ para la posibilidad) para expresar modos de verdad relativos a puntos de un modelo dotado de una relación de accesibilidad.

Principio

Introducir operadores modales que califican la verdad relacionando puntos de evaluación mediante una semántica relacional (semántica de Kripke): □φ es verdadero en un mundo si y solo si φ es verdadero en todos los mundos accesibles; ◇φ si existe algún mundo accesible donde φ es verdadero.

Demostración

En un marco de Kripke que modela conocimiento, los mundos representan estados epistémicos de agentes y la relación de accesibilidad la indistinguibilidad; □p expresa que la proposición p es conocida en todos los estados indistinguibles, por ejemplo al verificar que todas las creencias compatibles con la evidencia implican p.

Aplicación incorrecta

Tratar los operadores modales como cuantificadores ordinarios sobre individuos (por ejemplo leer □ como un cuantificador universal sobre el dominio), lo que elimina la dependencia de la relación de accesibilidad y anula las inferencias modales.

Consecuencia

Cuando se aplica correctamente, la lógica modal deja explícito cómo depende la verdad de estados o perspectivas alternativos, permitiendo analizar formalmente necesidad, posibilidad, conocimiento, obligación y otras nociones modales dentro de un marco semántico unificado.

Inversión

El reverso es la lógica proposicional o de predicados ordinaria sin operadores modales, donde la verdad es absoluta en una interpretación fija y no hay una noción estructurada de puntos de evaluación alternativos.

Límite

La lógica modal, tal como se define aquí, presupone semántica relacional y no captura por sí sola incertidumbre cuantitativa, duraciones o probabilidades sin extensiones; sistemas modales concretos (K, S4, S5, deóntico, epistémico) imponen axiomas adicionales que cambian las inferencias válidas.

Tensión semántica

Compite con semánticas cuantificadas y con enfoques no relacionales (algebraicos o proof-teóricos); la tensión surge de interpretar □ como necesidad metafísica, certeza epistémica, obligación deóntica o simplemente operador de prueba, cada interpretación exigiendo diferentes restricciones sobre la accesibilidad.

Síntesis

La lógica modal es el mecanismo formal que complementa los cálculos clásicos con operadores interpretados a través de una red de puntos de evaluación alternativos, capturando diversas modalidades (necesidad, posibilidad, conocimiento, obligación) al hacer explícita la estructura de esas alternativas mediante una relación de accesibilidad.