INDICE

Lgica modal...................................................................................................................................3
El trmino modalidad..................................................................................................4
Simbolizacin...........................................................................................................................5
Caractersticas de lgica modal....................................................................................................5
Relaciones de oposicin entre proposiciones modales..............................................................6
Contradiccin...........................................................................................................................6
Contrariedad.............................................................................................................................6
Subcontrariedad......................................................................................................................6
Subalternacion.........................................................................................................................6
Lenguaje de la lgica modal..........................................................................................................6
Sistemas lgicos modales..............................................................................................................7
o

1 (Sistema T).................................................................................................................7

2 (Sistema S4)..............................................................................................................7

3 (Sistema S5)..............................................................................................................7

Familia de la lgica modal.............................................................................................................8

La modalidad epistmica.....................................................................................................8
La modalidad doxatica..........................................................................................................8
La modalidad dentica..........................................................................................................8
La modalidad temporal.........................................................................................................8
Por qu es importante la Lgica Modal?....................................................................................9
Finalidad de lgica modal.............................................................................................................9
Utilidad prctica de la lgica modal..........................................................................................10
Conclusin.....................................................................................................................................11
Ejemplo de aplicacin de lgica modal......................................................................................12
Bibliografa....................................................................................................................................14

LOGICA MODAL

Lgica modal
Hay muchas lgicas modales diferentes, aunque no todas formales.
Aristteles ya habla un poco, pero quien la desarrolla son los
escolsticos (que consideraban la esencia y accidentes de las cosas). En
la poca medieval, las obras importantes de lgica modal son de
Guillermo de Ockham (el de la navaja) y John Duns Scotus. La formaliza
C. I. Lewis, y otros (Saul Kripke, Vaughan Pratt, A. N. Prior) la
complementan.
La lgica modal intenta acercarse ms al pensamiento humano y del
lenguaje natural, y lo hace complementando la lgica de predicados
(una cualquiera) con modalidades que indican las condiciones en las
que es cierta o falsa cada proposicin. Por ejemplo, aade palabras
como puede,podra, quizs, ha

de, posiblemente, necesariamente, a

veces, etc.
Pero esto da muchas complicaciones, ya que el lenguaje natural es muy
ambiguo (y a veces lejano a los conceptos en los que pensamos).
Consideremos estas dos frases:
``Veo unas cuantas nubes. Podra estar lloviendo ah fuera''
``No seas tan optimista; ahora podra estar lloviendo''
En las dos se habla de posibilidad de llover, pero la diferencia est en
que en la primera se habla de una cosa que puede pasar en nuestro
mundo (posibilidad epistmica) mientras que en la segunda, de cmo
las cosas podran haber sido de otra forma en un mundo alternativo al
nuestro (posibilidad metafsica) (pero esto no hace que peligre nuestro
mundo).
En

realidad

la

diferencia

es

entre

posibilidad remota (contexto

alternativo) y posibilidad cercana (contexto actual). En el lenguaje

natural a menudo las confundimos cuando tenemos que hacer
sugerencias, para parecer ms educados ocultando lo que pensamos y
comprobando si la otra persona es capaz de deducirlo (si lo es, es que
Lgica

Pgina 1

LOGICA MODAL

tambin tiene inters). Por eso decimos ``Podramos ir a tomar un caf''

en vez de ``Podemos ir...''. Nosotros alejamos la posibilidad y dejamos
que otro la acerque.
Las interpretaciones de lgica modal normalmente consideran todos los
mundos lgicamente posibles.
Si

una

proposicin

es

cierta

en

todos

los

mundos,

es necesariamente cierta.
Si es cierta en nuestro mundo, pero no en todos, es una
verdad contingente.
Si es cierta en alguno, pero no necesariamente en el nuestro, es
una verdad posible.

El trmino modalidad
Las modalidades se refieren generalmente a contextos. Mediante el uso
de las modalidades, se define un escenario: actual, Paralelo, temporal,
etc. bajo el cual alguna afirmacin tiene un valor de verdad.
Interpretaciones de Lgica Modal tpicamente consideran todos los
mundos lgicamente posibles. Si una afirmacin es cierta bajo todos los
escenarios o mundos, entonces necesariamente es cierta. Si se cumple
en nuestro escenario o mundo, y no en otros, entonces se trata de una
verdad contingente.
Se refiere a la manera en que algo es. La modalidad lgica se puede
entender en sentido restringido (para referirnos a lo que se han
denominado las modalidades proposicionales es decir, a la manera en
que una proposicin es verdad, lo que da lugar a la lgica modal).
Las modalidades (es decir, los distintos modos de ser en relacin con la
verdad) ms comunes son:

Necesariedad.
Innecesariedad.
Contingencia.
Posibilidad.
Imposibilidad

Veamos

algunos

ejemplos

para

precisar

posibilidad logica:
Lgica

Pgina 2

que

entendemos

por

LOGICA MODAL

Pensemos en un perro dormido junto a una piedra.

Cuestiones sobre el perro:
1) Est ladrando?
2) 2 Podra ladrar?

NO (de hecho no lo est haciendo).

SI (es una posibilidad prctica).

Cuestiones sobre la piedra:

1) 1 Est ladrando?
2) 2 Podra ladrar?
Las modalidades

NO (de hecho no lo est haciendo).

NO (es una imposibilidad prctica).

indicadas estn estrechamente relacionadas, de

hecho tomando una cualquiera de ellas, las restantes son reducibles a

esta. Por ejemplo, tomando como primitiva es necesario p:

Es innecesario p: equivale a no es necesario p.

Es contingente p: equivale a no es necesario no-p y no es

necesario p.
Es posible p: equivale a no es necesario no-p.
Es imposible p: equivale a es necesario no-p.

Simbolizacin
Sea la proposicin p:

Caractersticas de lgica modal

Es importante considerar en cuenta las siguientes caractersticas que se
detallaran ms abajo de lgica modal, todo ello para su mejor
entendimiento:
Lgica

Pgina 3

LOGICA MODAL

La lgica modal permite obtener sistemas axiomticos.

La lgica modal no requiere un anlisis semntico.
La lgica modal es completa, consistente y decidible.

Relaciones de oposicin entre

proposiciones modales
Contradiccin
(Ambas no pueden ser simultneamente verdaderas ni tampoco falsas):

Contrariedad
(Ambas no pueden ser simultneamente verdaderas pero si falsas):

Subcontrariedad
(Ambas no pueden ser simultneamente falsas pero s verdaderas):

Subalternacion
(La verdad de la primera implica la de la segunda, pero no viceversa)

Lenguaje de la lgica modal

Consta de:

Un conjunto de variables proposicionales, que se representan

mediante las letras p, q, r,...

Un conjunto de conectivos proposicionales

Lgica

Pgina 4

LOGICA MODAL

Un conjunto de operadores modales:

M
L

Un conjunto de signos auxiliares: (, ), [, ], f, g,...

Sistemas lgicos modales

Son de especial inters los sistemas modales que captan los principios
siguientes:
o 1 (Sistema T)
El ms dbil de todos los sistemas que cumplen con todas las
condiciones que hemos establecido es el sistema T, propuesto por
Robert Feys en 1937.Lo que es necesario, es el caso.
Simblicamente, para cada proposicin p:

o 2 (Sistema S4)

Lo necesario, necesariamente es necesario.

Simblicamente, para cada proposicin p:

o 3 (Sistema S5)
Lo posible, necesariamente es posible.
Simblicamente, para cada proposicin p:

Lgica

Pgina 5

LOGICA MODAL

Familia de la lgica modal

Posteriormente, se aadieron otras modalidades:
La modalidad epistmica
Se refiere a lo que es la certeza dentro de una aseveracin. \Es cierto
que..." o bien \Puede ser cierto que

La modalidad doxatica
Trata con lo que es razonamiento sobre creencias. La modalidad se
captura con un solo operador como: Se cree que ... es cierto".

La modalidad dentica
Est relacionada con el concepto de normas y obligaciones. \Debes
hacer..." y \Puedes hacer..."vendran a ser las interpretaciones de los
operadores bajo esta modalidad.

La modalidad temporal
Tiene que ver con la evaluacin de verdad bajo mundos que estn en
otro tiempo. Normalmente se usan varios pares de operadores bajo esta
modalidad, puesto que se tiene que diferenciar entre el pasado y el
futuro. Siempre ha sido el caso que..." y \Alguna vez se dio que..." son
las interpretaciones de los operadores en tiempo pasado.
Siempre sera el caso que..." y \Alguna vez se dara que..." seran los
equivalentes para el tiempo futuro.

Lgica

Pgina 6

LOGICA MODAL

Por qu es importante la Lgica

Modal?
Algunas aplicaciones importantes de Lgica Modal:
Lgicas denticas: uso en sistemas expertos jurdicos
Lgicas de la demostrabilidad: investigacin de los fundamentos
de las Matemticas.
Lgicas epistmicas dinmicas: desarrollo de una lgica de
protocolos incondicionalmente seguros.

Finalidad de lgica modal

La lgica modal lo que introduce son modos, trminos que van a
modificar al predicado, se dedica a estudiar las posibles relaciones entre
los

diferentes

mundos,

utilizando

conceptos

necesidad.
Lgica

Pgina 7

de

posibilidad

LOGICA MODAL

La finalidad de la lgica modal est basada en tres principios

fundamentales:
Las verdades necesarias son verdades.
Las consecuencias necesarias de verdades

necesarias

son

verdades necesarias.
Las verdades lgicas son verdades necesarias.
Dichos principios enuncian que:

Una proposicin es posible si puede ser verdadera, independiente

de que al final lo sea o no. Una proposicin posible es verdadera

en algn mundo posible. (Posee probabilidad > 0).

Una proposicin imposible es falsa en todos los mundos posibles.

(Posee probabilidad =0).

Una proposicin es necesaria si no es posible que sea falsa. Una
proposicin necesaria es cierta en todos los mundos posibles.

(Posee probabilidad = 1).

Una proposicin es contingente

si

no

es

necesariamente

verdadera, es decir que puede ser verdadera o falsa. Una

proposicin contingente es una proposicin no necesaria.

Un mundo posible debe ser consistente y coherente.
Dada una descripcin de un mundo, una proposicin es posible si
es compatible con lo ya conocido.

Utilidad prctica de la lgica modal

La lgica modal en cuanto a su utilidad refiere que es un instrumento
importante para identificar fragmentos de lgicas de primer y alto
orden, y para trabajos de inferencia o modelaje determinados. Cabe
destacar que se consideran importantes fragmentos con propiedades
metlogicas entre ellas son interpolacin, completitud, y tambin
fragmentos de baja complejidad, con los apropiados poderes expresivos,
con instrumentos de inferencias automticas, con simplicidad de uso y
diseos de algoritmos de decisin sencillas.
Lgica

Pgina 8

LOGICA MODAL

Los trabajos de inferencia o modelaje pueden llegar a ser muy variadas,

desde su uso en lingstica, aplicaciones clsicas en filosofa y
epistemologa hasta los usos ms cercanos a la Ciencia de la
Computacin tales como verificacin formal de hardware y software,
representacin del conocimiento y model checking.
Podemos destacar algunas utilidades que son las siguientes:
a) Es til para la ejecucin de que un programa pueda ser vista como
una

sucesin

de

estados.

b) Para representar condiciones intermedias o finales del programa a

travs de relaciones, etc.
El

sistema

lgico

ms

adecuado

para

usar

lgica

modal

en

programacin es S4, en el que la relacin de accesibilidad es reflexiva y

transitiva.

Conclusin.
Actualmente la visin ms moderna de la lgica modal es que es vista
como herramienta para identificar importantes fragmentos de lgicas de
primer

alto

orden,

para

tareas

de

inferencia

modelaje

determinadas.
Se considera importantes fragmentos normalmente a fragmentos con
buenas propiedades metlogicas como son completitud, interpolacin,
etc. Tambin a fragmentos de baja complejidad, con el apropiado poder
expresivo, con herramientas de inferencia automticas, con simplicidad
de uso y a diseo de algoritmos de decisin sencillos.
En lgica modal la verdad es relativa a mundos posibles una frmula es
verdadera en una interpretacin en un mundo posible de modo que la
consecuencia lgica tambin ser relativa a mundos posibles, un
argumento ser vlido justo cuando, si sus premisas son todas
verdaderas en un mundo posible, su conclusin es verdadera en ese
mundo
Lgica

posible.

Por

otro

lado,

suele

Pgina 9

entenderse

la

necesaria

LOGICA MODAL

preservacin de verdad como preservacin de verdad en toda

interpretacin.

Ejemplo de aplicacin de lgica

modal
Sirve como bases para otras lgicas, tales como:

Lgica Temporal cuya teora es siempre y a veces

Lgica epistmica que defiende conocimiento y creencia
Lgica denticas que apoya en obligacin y oficio

Estas tambin se utilizan para la especificacin de sistemas en tiempo

real y procesamiento de lenguaje natural.
Tiene importantes aplicaciones en programacin puesto a que puede
darse representaciones expresadas mediantes trminos de lgica
modal.
En cuanto a la aplicacin de lgica modal se debe tener claro que:
A las proposiciones que tiene que ser verdaderas las llamamos
necesariamente verdaderas o proposiciones necesarias. A las que tiene
que ser falsas las denominamos proposiciones imposibles. Las dems
sern denominadas proposiciones contingentes. Si una proposicin no
es imposible decimos que es una proposicin posible, que incluyen
todas las proposiciones, las verdaderas y las necesarias, excepto las
imposibles.
El sentido que necesidad adquiere en lgica modal queda explicado
indicando que cuando decimos que una determinada proposicin es
necesaria no queremos significar con ello que de continuar el mundo tal
y como est, no pueda dejar de ser verdadera, sino, ms bien, que no
podra de dejar de ser verdadera, independientemente de cmo estn
Lgica

Pgina 10

LOGICA MODAL

las cosas. De modo semejante podemos decir de imposibilidad,

contingencia y posibilidad. Estas cuatro nociones, son las nociones
modales. La quinta nocin importante es la vinculacin, entendida como
la conversa de la relacin de se sigue lgicamente de.
Ninguno de ellos son funcionales de verdad y no pueden ser
representados por los operadores del CP ya que stos son funcionales
de verdad. As que para obtener la lgica modal tendremos que aadir
nuevos operadores a CP y ampliar nuestros tipos de frmulas.
Introduciremos los smbolos L y M como operadores mondicos y " como
operador didico, y les permite que tomen como argumentos frmulas
cualesquiera. En vista de la interpretacin que se les da les
denominaremos a L el operador de la necesidad y a M el operador de la
posibilidad.
A continuacin se detallan algunos ejemplos de aplicacin de lgica
modal:
Los sistemas que contengan estas equivalencias podran tomar a M
como primitivo e introducir L mediante definicin o viceversa:

Ma = Df. L a (base L) La = Df. M a (base M)

Siempre que p vincula a q es imposible que p sea verdadero sin
que

sea

verdadera

(p " q) " M (p q) (p " q) " M (p q)

Cuando dos proposiciones se implican estrictamente la una a la
otra decimos que cada una de ellas es estrictamente equivalente
a la otra:
(a = b) = Df. [(a " b) (b " a)] (a = b) = Df. L (a " b)

No pueden ser ni tesis ni vlidas las siguientes:

* Lp" p Lp" p
* Lp " (p "p) Lp " (p p)
* Dos axiomas:
* Axioma de necesidad: Lp " p
* Axioma de posibilidad: p " Mp
Cualquier proposicin que tenga la frmula

vlida

simplemente verdadera sino necesariamente verdadera.

Lgica

Pgina 11

no

es

LOGICA MODAL

Todo lo que se sigue lgicamente de una verdad necesaria es

asimismo necesariamente verdadero. As que:

[Lp (p " q)] " Lq L (p " q) " (Lp " Lq)

Cuando una frmula sea tesis de un determinado sistema se dice
que pertenece a, o est contenida en dicho sistema. Si dos
sistemas A y B tienen distintas bases pero contiene las mismas
tesis (exactamente) diremos que son equivalentes. Si todas las
tesis del A son tesis del B, pero algunas de este ltimo no lo son
del anterior, diremos que A es el ms dbil y B el ms fuerte de
los dos sistemas. Si todas las tesis de A son tesis de B diremos
que B contiene a A.

Bibliografa
Pginas web.
Wikipedia. (2011). [Pgina web en lnea]. Consultado el 23 de abril de
2011.
Disponible en: [[http://es.wikipedia.org/wiki/L
%C3%B3gica_modalLgicaModal]]
Epistemowikia (2001). [Pgina Web en lnea]. Consultado el 28 de abril
de 2011.

Lgica

Pgina 12