Reflexiones sobre la lgica modal

Por Rafael Flix Mora Ramirez

Cum Deus calculat, fit mundus
Como Dios calcula, as est hecho el mundo
Gottfried Wilhelm Leibniz
Si Dios no existe...todo est permitido; y si todo est
permitido la vida es imposible
Fedor Dostoievski
En cuanto a la lica, sus siloismos ms bien sirven para
explicar a otros las cosas ya sabidas, !ue para aprender.
Ren Descartes
"a lica muestra la forma lica pero no afirma nada
sobre !u# hay en el mundo.
Ludwi Wittenstein
"e aconse$o %&' !uerido amio,
seuir primero el Curso de "ica.
(ll le peinarn debidamente el espritu,
se lo cal)arn en botas de tortura,
de suerte !ue se deslice con ms tiento
por el sendero del pensar
y no se tuer)a ac y all
y se descarre.
%&'
En realidad, la fbrica de pensamientos
es como la obra maestra del te$edor*
( un olpe de pedal se mueven mil hilos,
suben y ba$an las devanaderas,
corren invisibles los cabos,
y un olpecito solo fraua miles de combinaciones.
(s tambi#n el filsofo aparece
y nos demuestra cmo se debe proceder*
lo primero tiene !ue ser as, lo seundo as,
y de ah se deriva lo tercero y lo cuarto,
y si no existiera lo primero y lo seundo,
no tendramos nunca lo tercero y lo cuarto.
(s lo aprecian los discpulos por do!uier,
pero ninuno ha lleado a ser te$edor.
+uien aspira a conocer y describir alo vivo,
busca ante todo desentra,ar el espritu;
tiene entonces las partes en sus manos
- slo falta, .por desracia/, el la)o espiritual.
!ohann Wolfan von" F Goethe
1. Introduccin a la lgica modal
De acuerdo a Dea#o $%&&'( )')*)'+," la l-ica cl.sica es una l-ica /uramente asert-tica0 1sto 2uiere
decir 2ue
', las /ro/osiciones solo /ueden tener dos valores veritativos" 3
%, las /ro/osiciones son o bien verdaderas a secar" o bien falsas a secas" sin matices0
1sto im/lica 2ue no se admiten valores intermedios 3 2ue tam/oco /uede matizarse la verdad o
falsedad de una /ro/osici-n" a#adiendo" /or e4em/lo" es verdad /ero5 o es falso /ero50 1sto 6ltimo
sinifica 2ue no se ace/tan modalidades de esa verdad o de esa falsedad0 7hora bien" la l-ica 2ue se
ocu/a de esos matices se conoce como 8l-ica modal90
La l-ica modal /uede ser entendida en sentido restrinido 3 en sentido am/lio0 1l sentido restrinido
de la l-ica modal es el sentido cl.sico0 7s:" la l-ica modal se ocu/ar:a solo de las llamadas
8modalidades alticas9 o modalidades de verdad0 1stas son( 8necesario9" 8/osible9" 8im/osible9 3
8continente90 Por ende" la l-ica modal altica estudia las relaciones de inferencia entre enunciados
modificados /or alunos de estas modalidades0 1sta es la l-ica de la 2ue nos ocu/aremos en este
traba4o0
La base de este sistema l-ico consiste en considerar 2ue las /ro/osiciones /ueden no s-lo ser
verdaderas o falsas" sino 2ue son verdaderas o falsas de distintos modos" es decir" con matices0 7s:" una
/ro/osici-n /uede ser verdadera sin m.s" o falsa sin m.s0 Pero tambin /uede ocurrir 2ue la
/ro/osici-n tena 2ue ser verdadera" esto es" 2ue no /ueda ser falsa 3" a la inversa" 2ue sea falsa 3 2ue
no /ueda ser verdadera0 Por e4em/lo(
', 8;-crates conversaba mucho de filosof:a9 es verdadera de un modo continente< mientras 2ue
%, 8;-crates era fil-sofo o no es cierto 2ue era fil-sofo9 es verdadera de un modo necesario0
7n.loamente"
), 8;-crates muri- /or tomar vino9 es falsa /ero /osible< mientras 2ue
=, 8%>)?@9 es falsa /ero im/osible0
'
7s:" entendemos 2ue en la l-ica modal actual la necesidad" /osibilidad" continencia e im/osibilidad
son modalidades0 Los o/eradores modales 2ue se van a introducir a continuaci-n re/resentan estos
conce/tos(

/( / es necesaria
%
)=
1 1stos e4em/los fueron tomados de Ara3en $%&&B( %C&,
2 Por ejemplo: Mi padre biolgico es mayor que yo. Esta proposicin no solo es
verdadera sino necesariamente verdadera pues no puede ocurrir lo contrario a saber
que mi progenitor sea menor que yo. Entonces si una proposicin tiene que ser
verdadera diremos que es necesariamente verdadera porque si algo es necesario
seguro que ocurre. !o es posible que lo necesario no ocurra. "a necesidad es una
modalidad que a#ecta a las proposiciones y puede de$nirse en #uncin de la posibilidad.
En lgica modal:

se lee: es necesario que

%
&

B







'

(
(

)
)






*


*

+
x(x=a)Fa
x(x=a)Fa
+

x(x=a) x(x=a)
x

x
1,

1,