Lógica modal

De Wikipedia, la enciclopedia libre

La lógica modal, dentro de la lógica, se ocupa de proposiciones afectadas por modalidades de tipo "posiblemente", "necesariamente", "de manera imposible". La lógica modal es intencional, esto es, el valor de verdad de una proposición compleja afectada por una modalidad de las mencionadas anteriormente no puede determinarse a partir del valor de verdad de sus proposiciones elementales. La lógica modal formal representa las modalidades a través de operadores modales proposicionales. Los significados de los operadores modales dependen del tipo de lógica modal: en lógica modal alética dichos operadores representan la necesidad y la posibilidad. Una proposición es posible si puede ser verdadera, independientemente de que, a fin de cuentas, lo sea o no. Una proposición es necesaria si no es posible que sea falsa. Una proposición es contingente si no es necesariamente verdadera, es decir, si es posiblemente verdadera y posiblemente falsa.

Tabla de contenidos

1 Historia
2 Lenguaje y Lógica
- 2.1 Lenguaje
- 2.2 Consecuencia Lógica y Deducción
3 Véase también

[editar] Historia

La Lógica Modal es tan antigua como la Lógica de Aristóteles y tuvo gran desarrollo durante la Edad Media. La Lógica Modal contemporánea surge a principios del siglo XX como una reacción a la Lógica Clásica que maduró en las obras de Gottlob Frege (Conceptografía) por un lado, y Russell y Withehead (Principia Mathematica) por el otro. Los patrones de razonamiento válidos (aquellos que indican una relación de consecuencia lógica entre un conjunto de enunciados –premisas– y otro enunciado –conclusión– en un argumento) están en parte determinados por cuáles sean las constantes lógicas. En la Lógica Clásica los siguientes patrones de razonamiento son válidos ('→', y '~' se leen, respectivamente, 'Si... entonces' y 'no'; ' $\models$ ' expresa la relación de consecuencia lógica):

1) q $\models$ (p → q)

2) ~p $\models$ (p → q)

3) ((p → q) y (r → s)) $\models$ ((p → s) o (p → q))

4) ((p y q) → r) $\models$ ((p → r) o (q → r))

5) ~(p → q) $\models$ p

Estos patrones de razonamiento dan lugar a argumentos 'raros' si entendemos que el condicional '→' que aparece en ellos pretende recoger el significado del condicional del lenguaje natural (el castellano en el caso presente). Por ejemplo, los siguientes argumentos serían válidos:

4*) Si hoy es lunes entonces mañana es martes y si hoy es miércoles entonces mañana es jueves. Por lo tanto, o bien, si hoy es lunes entonces mañana es jueves, o bien, si hoy es martes entonces mañana es miércoles.

5*) No es el caso que si Dios existe entonces castigará a los buenos. Por lo tanto, Dios existe.

El primer argumento parece ser un contraejemplo a la noción de consecuencia lógica de acuerdo con la cual, necesariamente, si las premisas son verdaderas, la conclusión es verdadera. Efectivamente, parece que 4* tiene premisas verdaderas y conclusión falsa. En el caso de 5* uno no diría que tiene premisas verdaderas y conclusión falsa, pero como mínimo parece extraño que podamos probar la existencia de Dios de un modo tan sencillo a partir de una premisa tan plausible (no parece que haya una relación de consecuencia lógica entre la premisa y la conclusión!).

En 1912C. I. Lewis publica ‘Conditionals and the Algebral of Logic’, justo después de Principia Mathematica. En 1918 publica A Survey of Symbolic Logic en donde propone un nuevo condicional más adecuado para recoger el significado del 'Si ... entonces' del lenguaje natural (Lewis lo llama implicación estricta –el nombre de implicación en lugar de condicional es un mal hábito adquirido de Russell que Quine empleará para afirmar que la lógica modal fue 'concebida en pecado'). El nuevo condicional requiere, para ser verdadero, una relación más fuerte entre el antecedente y el consecuente que el condicional clásico. Lewis define su condicional estricto en términos del condicional clásico más la noción de necesidad ( $\Box$ ):

'p condicional estricto q' ssi $\Box$ (p → q)

De 1918 a 1932 Lewis prepara la 2ª edición del Survey. Durante este período surgen multitud de trabajos sobre el tema. Becker desvía la atención del análisis de las conectivas tipo 'condicional estricto' a las propias nociones modales: son éstas las que requieren clarificación. Existen, al menos, tres factores que hicieron que la lógica modal tuviera 'mala prensa' en la primera mitad del siglo XX. En primer lugar, la interpretación 'clásica' de la consecuencia lógica eliminaba las nociones modales en favor de una visión formalista. En segundo lugar, a diferencia del caso de la lógica clásica (que fue axiomatizada de un modo completo por Frege), las nociones modales dieron lugar a distintos sistemas axiomáticos. En tercer lugar, la lógica modal se desarrolló sin un análisis semántico. A esto se suman las críticas de Quine que comienzan en los años treinta. El trabajo de Saul Kripke en los años sesenta (1963: ‘Semantical Analysis of Modal Logic, I: Normal Propositional Calculi’, 1965: ‘Semantical Analysis of Modal Logic, II: Non-Normal Modal Propositional Calculi’, 1965: ‘Semantical Analysis of Intuitionistic Logic I’) fue decisivo para el desarrollo del estudio de la lógica modal. Kripke aportó la herramienta básica para el análisis semántico de la lógic a modal: la 'semántica de mundos posibles'. La semántica de mundos posibles es una herramienta para el análisis de una colección importante de expresiones: modales, temporales, doxásticas, epistémicas, morales entre otras. Además la semántica modal permite interpretar una gran variedad de lógicas no-clásicas como el intuicionismo.

[editar] Lenguaje y Lógica

[editar] Lenguaje

El lenguaje de la lógica (proposicional) modal puede verse como una extensión del lenguaje (proposicional) clásico.

[editar] Vocabulario

Al vocabulario clásico se le añaden dos operadores monádicos sobre oraciones ' $\Box$ ' (informalmente: 'es necesario que') y ' $\Diamond$ ' (informalmente: 'es posible que'). En realidad sólo es necesario tomar uno como primitivo ya que son interdefinibles (En particular, se dice que son 'duales': $\Box$ p ssi ~ $\Diamond$ ~p).

[editar] Gramática

La gramática nos indica qué secuencias de signos del vocabulario son susceptibles de tener 'significado' (a estas las llamamos fórmulas bien formadas, abreviado fbf). La gramática es igual a la clásica, añadiendo una regla para los operadores modales:

R1: Si α es una letra de oración aislada, α es una fbf. R2: Si α es una fbf, Ma es una fbf. R3: Si α y β son fbf, (αΔβ) es una fbf. R4: Cualquier expresión construida de otro modo no es fbf.

(α y β son metavariables para hablar de secuencias de signos; M una metavariable para operadores monádicos (negación y modales) y Δ una metavariable para operadores diádicos).

El conjunto de fbf así descrito es unívocamente legible, de modo que podremos definir las condiciones de verdad de los operadores a través de definiciones inductivas sobre este conjunto. Las fórmulas de nuestro lenguaje tendrán este aspecto:

$\Diamond$ (p → $\Box$ q)

~( $\Diamond$ p $\land$ ~p)

$\Box$ (p $\lor$ ~p)

(A menudo se conviene en omitir los paréntesis externos, si los hay)

[editar] Semántica

En el lenguaje proposicional clásico una interpretación para una fórmula α consiste en una asignación de valores de verdad (consistente y completa) para todas las variables proposicionales que aparecen en α. En el lenguaje modal las asignaciones de valores de verdad son relativas a 'mundos posibles'. Una interpretación para el lenguaje modal es una tripla (un conjunto ordenado de tres elementos) <W, R, ν>, en el que W es un conjunto de objetos, R una relación en W y ν una función que asigna valores de verdad a pares 'p, w' en los que p es cualquier variable proposicional y w cualquier objeto en W.

Intuitivamente, los objetos en W son mundos posibles. R es una relación de accesibilidad entre mundos posibles, es decir, objetos de W.

Intuitivamente, R expresa una posibilidad relativa. En principio, no todo lo que es posible en un mundo es posible en otro mundo. Supongamos tres situaciones: w0, w1 y w2. w0 es la situación actual, en la que el ministro Sr. x ha participado en un acto de corrupción (que necesariamente había de ser descubierto) y ha quedado destituido del cargo. w1 es una situación anterior en la que el Sr. x se estaba pensando el participar en el acto de corrupción y w2 es una situación exactamente igual a la actual excepto en que el Sr. x no ha participado en el acto de corrupción y no ha sido destituido. Hay un sentido del término 'posible' en el que el enunciado 'Es posible que el Sr. x no sea destituido' es verdadero en w1 pero no en w0. De modo que w2 es un mundo posible relativo a w1, pero no relativo a w0. Expresamos esta posibilidad relativa diciendo que w1Rw2 (w2 es accesible desde w1), pero no w0Rw2.

ν es una función que asigna valores de verdad a pares 'p, w' en los que p es cualquier variable proposicional y w cualquier objeto en W; es decir, para cada variable proposicional p y para cada mundo posible w, ν asigna a p un único valor de verdad en ese mundo posible. Expresaremos esto diciendo que para cada w en W y cada variable proposicional p, νw(p) = V o νw(p) = F.

Los mundos posibles no juegan ningún papel sustancial en la definición de los operadores lógicos no-modales, salvo que las condiciones de verdad se definen relativamente a mundos posibles:

νw(~α) = V si νw(α) = F; F en cualquier otro caso.

νw(α $\land$ β) = V si νw(α) = V y νw(β) = V; F en cualquier otro caso.

En palabras: ~α es verdadero en un mundo posible w cuando α es falso en ese mundo posible y verdadero en caso contrario. (α $\land$ β) es verdadero en un mundo posible w cuando ambos son verdaderos en ese mundo posible y falso en caso contrario. El resto de operadores clásicos se define de modo análogo.

Los mundos posibles juegan un papel en las condiciones de verdad de los operadores modales:

νw( $\Box$ α) = V si para todo mundo posible w* tal que wRw* νw*(α) = V; F en cualquier otro caso. νw( $\Diamond$ α) = V si hay algún mundo posible w* tal que wRw* y νw*(α) = V; F en cualquier otro caso.

En palabras: $\Box$ α es verdadero en un mundo posible w cuando para todo mundo accesible desde w, α toma el valor verdadero y falso en caso contrario. $\Diamond$ α es verdadero en un mundo posible w cuando hay al menos un mundo posible accesible desde w en el que a es verdadero.

Hay un detalle importante acerca de las condiciones de verdad de los operadores modales que puede no resultar obvio. Si desde un mundo posible w no se puede acceder a ningún otro mundo posible, entonces todas las fórmulas de la forma $\Box$ α son verdaderas en w mientras que las de la forma $\Diamond$ α son todas falsas en w. Las condiciones de verdad de ' $\Box$ ' no requieren la existencia de un mundo posible, ya que 'todo mundo posible w* tal que wRw* νw*(a) = V' es equivalente a 'no hay ningún mundo posible tal que wRw* y ν(a) = F', es decir, todo lo que se requiere para que $\Box$ α sea verdadero en w es que no haya un mundo accesible desde w en el que α sea F. Por otro lado las condiciones de verdad de ' $\Diamond$ ' requieren la existencia de un mundo posible; es decir, para que $\Diamond$ α sea V en w, debe haber un mundo accesible desde w en el que α es V. Si desde w no se accede a ningún mundo, $\Diamond$ α será falso en w.

[editar] Consecuencia Lógica y Deducción

Dentro de los lenguajes lógicos podemos distinguir dos tipos de relaciones de consecuencia entre conjuntos de oraciones y oraciones, la consecuencia lógica y la deducibilidad. La relación de consecuencia lógica es una relación semántica en el sentido de que es una relación entre un conjunto de oraciones en interpretaciones y una oración en esas interpretaciones. La relación de deducibilidad es una relación sintáctica porque queda caracterizada por un conjunto de reglas (un sistema deductivo) que atienden solamente a la forma de las oraciones. Se entiende habitualmente que la relación de consecuencia lógica es más básica (aunque esto está sujeto a cierto debate) y que el objetivo de un sistema deductivo es caracterizar en términos puramente sintácticos la relación de consecuencia lógica. Un sistema deductivo caracteriza de un modo satisfactorio la consecuencia lógica cuando nos permite deducir sólo consecuencias lógicas (se dice entonces que el sistema es consistente o correcto, en inglés sound) y todas las consecuencias lógicas (se dice que es completo, en inglés complete).

En lógica clásica hay una sola relación de consecuencia lógica y distintos sistemas deductivos para caracterizarla (sistemas axiomáticos, tableaux, deducción natural, sistemas de Gentzen, entre otros). Esto no es así en lógica moda. En lógica modal hay distintos sistemas modales que caracterizan distintas relaciones de consecuencia lógica. En este sentido más que de Lógica modal debería hablarse de Lógicas modales. En primer lugar introduciremos una definición general de consecuencia lógica. En segundo lugar el sistema modal básico llamado K (en honor a Kripke). Después indicaremos cómo modificar los sistemas modales y cuáles son sus correspondientes relaciones de consecuencia lógica.

[editar] Consecuencia Lógica

La consecuencia lógica está ligada a la noción de verdad; que un argumento es válido quiere decir que preserva necesariamente la verdad. En lógica modal la verdad es relativa a mundos posibles (un fórmula es verdadera en una interpretación en un mundo posible) de modo que la consecuencia lógica también será relativa a mundos posibles: un argumento será válido justo cuando, si sus premisas son todas verdaderas en un mundo posible, su conclusión es verdadera en ese mundo posible. Por otro lado, suele entenderse la necesaria preservación de verdad como preservación de verdad en toda interpretación. Por tanto, un argumento es válido en nuestro lenguaje modal cuando preserva la verdad en todos los mundos posibles en toda interpretación:

Definición: Γ $\models$ α si y sólo para toda interpretación <W, R, ν> y todo mundo posible w en W: si νw(γ) = V para todo en Γ, entonces νw(α) = V.

[editar] Deducción

Un sistema deductivo es un conjunto de reglas que nos permite establecer afirmaciones de consecuencia entre un conjunto de oraciones y una oración atendiendo solamente a su forma. Cuando α es una consecuencia deductiva de Γ en un sistema deductivo S se suele escribir 'Γ $\vdash$ α en S'. El tipo de sistemas deductivos tradicionales en lógica modal son los sistemas axiomáticos. Un sistema axiomático es un conjunto de enunciados del lenguaje (o formas de enunciados si contienen metavariables) y un conjunto de reglas de inferencia. Una consecuencia deductiva de un sistema axiomático es, o bien un axioma, o bien un enunciado que puede obtenerse a partir de los axiomas y las reglas de inferencia. El sistema axiomático básico para la lógica modal tiene este aspecto:

Axiomas:

(PC): Si α es una fórmula clásicamente válida, entonces α es un axioma

(K) $\Box$ (α → β) → ( $\Box$ α → $\Box$ β)

Reglas:

(MP) Si (α → β) y α son deducibles, también lo es β.

(N) Si α es deducible, $\Box$ α también es deducible.

Los axiomas son 'formas de axiomas', porque expresiones como α y β no son parte de nuestro vocabulario y no son, por tanto, enunciados de nuestro lenguaje. Estos axiomas indican qué enunciados de nuestro lenguaje son considerados axiomas. (PC) tiene más bien la forma de una regla para obtener axiomas; indica que enunciados como (p $\lor$ ~p) son axiomas de nuestro sistema.

La regla (MP) se conoce como Modus Ponens y la regla (N) como Necessitation. La relación de deducibilidad en K (es decir, todo aquello que es deducible en K), queda de este modo definida por los axiomas y las reglas.

Como comentamos al inicio de esta sección, la deducibilidad en los distintos sistemas modales caracteriza diversas relaciones de consecuencia lógica. El sistema modal K es considerado básico porque la deducción en K caracteriza (es consistente y completo respecto a) la consecuencia lógica en todas las interpretaciones (normales). Por tanto:

Γ $\vdash$ α en K ssi Γ $\models$ α para toda interpretación <W, R, ν>

[editar] Variedad de sistemas modales

El modo 'natural' de obtener nuevos sistemas modales es añadiendo a la lista de axiomas nuevos enunciados que no estén en la lista ni sean deducibles de la lista con ayuda de las reglas de inferencia. Veremos en primer lugar que varios sistemas modales se pueden obtener a partir de K con este procedimiento. Veremos también la relación de consecuencia lógica que caracteriza la deducibilidad en cada uno de estos sistemas modales. Sin embargo, algunos de los sistemas propuestos por Lewis para el condicional estricto son más débiles que K. En particular, en ellos falla la regla de Necesitación. La estrategia semántica para el fallo de esta regla consiste en la introducción de mundos no-normales; esto se verá en segundo lugar.

[editar] Axiomas y Restricciones en R

Un buen número de sistemas modales se obtienen simplemente añadiendo axiomas a la lista de axiomas en K. Por ejemplo, el sistema T, se obtiene añadiendo a K el axioma:

(T) $\Box$ α → α

La relación de consecuencia lógica caracterizada por la deducibilidad en T (respecto a la cual T es consistente y completo) es la consecuencia lógica en la clase de interpretaciones en las que la relación de accesibilidad es reflexiva. Es decir, la clase de todas las interpretaciones <W, R, ν> en las que R es reflexiva (todo mundo w en W es accesible desde sí mismo: wRw). Por tanto, la adición del axioma T a K da lugar a un sistema que es completo y consistente respecto a todas las interpretaciones en que R es reflexiva:

Γ $\vdash$ α en T ssi Γ $\models$ α para toda interpretación <W, R, ν> en la que R es reflexiva

Otros sistemas modales se obtienen a través de la adición de axiomas y sus respectivas consecuencias lógicas a través de la adición de restricciones sobre R. Algunos de los axiomas más conocidos con sus respectivas restricciones sobre R:

D: $\Box$ α → $\Diamond$ α $\Rightarrow$ R es serial (para todo w en W hay un w* en W tal que wRw*)

4: $\Box$ α → $\Box\Box$ α $\Rightarrow$ R es transitiva (para todo w, w* y w** en W si wRw* y w*Rw** entonces wRw**)

B: α → $\Box\Diamond$ α $\Rightarrow$ R es simétrica (para todo w y w* en W si wRw* entonces w*Rw)

5: $\Box$ α → $\Box\Diamond$ α $\Rightarrow$ R es euclídea (para todo w, w* y w** en W si wRw* y wRw** entonces w*Rw**)

La adición de uno o varios axiomas de esta a lista a K da lugar a algunos de los sistemas modales más conocidos:

Sistema D: K + D

Sistema T: K + T

Sistema S4: K + T + 4

Sistema B: K + T + B

Sistema S5: K + T + 5

(Esta lista no pretende ser exhaustiva. Hay más axiomas modales y más combinaciones posibles!)

Atendiendo a los axiomas podemos ver cuál es la relación de consecuencia que caracterizan. Por ejemplo, S4 es consistente y completo respecto a las interpretaciones en que R es reflexiva y transitiva., S5 respecto a las interpretaciones en que R es reflexiva y euclídea (= relación de equivalencia). El método axiomático tiene ciertas ventajas. Por ejemplo, se puede ver fácilmente cuál es la relación entre sistemas modales. Se dice que un sistema modal B es una extensión de otro sistema modal A, cuando todas las deducciones que se pueden realizar en A se pueden realizar en B. Se dice que B es una extensión propia de A cuando B es una extensión de A y A no es una extensión de B (es decir, hay deducciones en B que no hay en A). El método axiomático tiene la ventaja de mostrar de un modo claro algunas relaciones entre sistemas modales. Por ejemplo, es evidente que como el sistema T se obtiene añadiendo un axioma a K, T es una extensión de K. Para ver que T es una extensión propia de K, sólo tenemos que comprobar que el axioma T no es deducible K.

Existen otros métodos a este propósito como los tableaux o tablas analíticas. El método axiomático tiene la desventaja de que resulta difícil para el no-iniciado establecer afirmaciones de deducción mientras que las tablas analíticas aportan un procedimiento algorítmico con el que resulta muy sencillo construir las pruebas. Por otra parte, las pruebas de completud y consistencia con las tablas analíticas son extremadamente sencillas en comparación con las pruebas que emplean sistemas axiomáticos. Priest 2001 es una buena introducción a las lógicas modales (entre otras lógicas no clásicas) que emplea las tablas analíticas.

[editar] Mundos No-Normales

Uno o más wikipedistas están trabajando actualmente en extender este artículo.

Es posible que, a causa de ello, haya lagunas de contenido o deficiencias de formato. Por favor, antes de realizar correcciones mayores o reescrituras, contacta con ellos en su página de usuario o la página de discusión del artículo para poder coordinar la redacción.

[editar] Véase también

Lógica temporal

Obtenido de "http://es.wikipedia.org../../../l/%C3%B3/g/L%C3%B3gica_modal.html"

Categorías: Wikipedia:Artículos en desarrollo | Lógica