Lógica Modal
La lógica modal añade operadores de necesidad y posibilidad a la lógica clásica, proporcionando la maquinaria formal detrás del razonamiento sobre lo que debe, podría, debería o será el caso.
Definition
La lógica modal es el estudio de la inferencia que involucra los operadores de necesidad y posibilidad (y sus análogos), interpretados a través de modelos en los que las oraciones se evalúan en relación con mundos posibles conectados por una relación de accesibilidad.
Scope
Esta área abarca los sistemas formales de la lógica modal y su interpretación filosófica. Trata la semántica de mundos posibles (Kripke), la jerarquía estándar de sistemas modales (K, T, S4, S5) y sus axiomas característicos, la extensión de la lógica modal con cuantificadores y su conexión con el esencialismo y la modalidad de re, y la familia de lógicas intensionales relacionadas —temporal, deóntica y epistémica— que comparten el mismo aparato de marco relacional.
Sub-topics
Core questions
- ¿Cómo deben interpretarse los operadores de necesidad y posibilidad, y qué son los mundos posibles?
- ¿Qué axiomas rigen el razonamiento modal correcto y cómo se corresponden con las propiedades de la relación de accesibilidad?
- ¿Cómo interactúa la modalidad con la cuantificación, la identidad y la existencia de objetos a través de los mundos?
- ¿Pueden unificarse las diversas lógicas intensionales —temporal, deóntica, epistémica— bajo un mismo marco?
Key concepts
- necesidad y posibilidad
- mundos posibles
- relación de accesibilidad
- sistemas modales (K, T, S4, S5)
- modalidad de re vs. de dicto
- designación rígida
Key theories
- Semántica de mundos posibles (Kripke)
- Las oraciones modales se evalúan en mundos conectados por una relación de accesibilidad: 'necesariamente A' es verdadera en un mundo si y solo si A es verdadera en cada mundo accesible, y la variación de las propiedades de la relación produce diferentes sistemas modales.
- Realismo modal
- Lewis sostiene que los mundos posibles son universos concretos, mutuamente aislados, tan reales como el mundo actual, proporcionando un fundamentador de verdad reductivo para las afirmaciones modales a costa de una ontología extravagante.
History
C. I. Lewis revivió la lógica modal a principios del siglo XX para capturar la implicación estricta, pero carecía de una semántica clara hasta que Kripke (e independientemente Hintikka y Kanger) proporcionaron modelos relacionales de mundos posibles alrededor de 1959-1963. Esto desencadenó la metafísica de la modalidad, con el realismo modal de Lewis y el actualismo de Plantinga como explicaciones rivales de lo que son los mundos posibles.
Debates
- La ontología de los mundos posibles
- Si los mundos posibles son universos concretos existentes (realismo modal de Lewis) o entidades abstractas como estados de cosas máximos o conjuntos de proposiciones (actualismo), y qué explicación fundamenta mejor la verdad modal.
Key figures
- Saul Kripke
- C. I. Lewis
- Rudolf Carnap
- David Lewis
- Ruth Barcan Marcus
- Alvin Plantinga
Related topics
Seminal works
- kripke1963
- lewis1986plurality
- hughescresswell1996
Frequently asked questions
- ¿Cuál es la diferencia entre la modalidad de re y de dicto?
- Una afirmación modal de dicto atribuye necesidad o posibilidad a una proposición completa ('necesariamente, todos los solteros son no casados'), mientras que una afirmación de re atribuye una propiedad modal a un objeto independientemente de cómo se describa ('este hombre es necesariamente humano'). La distinción es central en los debates sobre el esencialismo.