Lógica Modal — Extensión de la lógica proposicional (o de primer orden) que incorpora operadores de modalidad: la necesidad (□; léase “es necesario que”) y la posibilidad (◇; léase “es posible que”). Una proposición es necesariamente verdadera si no puede ser falsa; es posiblemente verdadera si podría serlo. Los dos operadores son interdefinibles: □p ≡ ¬◇¬p (“es necesario que p” equivale a “no es posible que no-p”).
Orígenes: Aristóteles y la Lógica de los Modales: La investigación de las modalidades es tan antigua como la lógica misma. Aristóteles, en De Interpretatione y en los Primeros Analíticos, analizó proposiciones sobre lo que es necesario, posible, imposible y contingente, y construyó silogismos modales — aunque con resultados que generaron siglos de debate interpretativo.
C.I. Lewis y los Sistemas Modernos: La lógica modal moderna surge con Clarence Irving Lewis, quien a partir de 1912 (artículo “Implication and the Algebra of Logic”) desarrolló una crítica a la implicación material de la lógica clásica — según la cual cualquier proposición falsa implica materialmente cualquier proposición, lo que Lewis consideraba paradójico. Propuso la implicación estricta (si p, entonces necesariamente q) y, en las décadas de 1910 y 1920, elaboró una serie de sistemas axiomáticos, publicados en Symbolic Logic (con C.H. Langford, 1932). Los más influyentes son S1, S2, S3, S4 y S5, cada uno con axiomas progresivamente más fuertes. S4 añade: □p → □□p (si algo es necesario, es necesariamente necesario). S5 añade: ◇p → □◇p (si algo es posible, es necesariamente posible).
Semántica de Kripke y Mundos Posibles: El gran avance semántico vino de la mano de Saul Kripke, quien entre 1959 y 1963 (artículos como “A Completeness Theorem in Modal Logic”, 1959, Journal of Symbolic Logic) desarrolló la semántica relacional (o semántica de mundos posibles). Un modelo de Kripke es una terna ⟨W, R, V⟩: W es un conjunto de mundos posibles; R es una relación de accesibilidad entre mundos (w₁Rw₂ significa “w₂ es accesible desde w₁”); V es una función de valoración que asigna, para cada variable proposicional, el conjunto de mundos en que es verdadera. □p es verdadero en w si p es verdadero en todos los mundos accesibles desde w; ◇p es verdadero en w si p es verdadero en algún mundo accesible desde w. Distintas propiedades de la relación de accesibilidad (reflexividad, transitividad, simetría, euclidianidad) corresponden a distintos sistemas modales: S4 corresponde a relaciones reflexivas y transitivas; S5 a relaciones de equivalencia (reflexivas, simétricas y transitivas).
Aplicaciones de la Lógica Modal:
Metafísica Modal: David Lewis (en On the Plurality of Worlds, 1986) defendió el realismo modal — los mundos posibles son entidades concretas tan reales como el mundo actual. Alvin Plantinga propuso un realismo modal “moderado” (mundos posibles como estados de cosas máximamente inclusivos). Kripke, en Naming and Necessity (1972/1980), utilizó los mundos posibles para la teoría de las descripciones, la identidad necesaria y las esencias.
Lógica Epistémica: Los operadores modales se reinterpretan como “sabe que” (K) y “cree que” (B). Un agente sabe que p si p es verdadero en todos los mundos que considera epistemicamente posibles. Hintikka (Knowledge and Belief, 1962) sistematizó esta aproximación.
Lógica Deóntica: Los operadores modales se reinterpretan como “es obligatorio que” (O) y “está permitido que” (P). Von Wright formuló la lógica deóntica en 1951.
Lógica Temporal: Los operadores modales se reinterpretan como “siempre” (□) y “en algún momento” (◇), con variantes para el pasado y el futuro. Prior desarrolló la lógica del tiempo (tense logic) desde los años 1950.
← Glosario