Pedro Barboza

Lgica modal
La lgica modal representa situaciones que son regidas por un esquema de modalidad.
Se diferencian de las Lgicas convencionales en el sentido que una modalidad indica
las condiciones en las que se hace cierta o falsa alguna afirmacin.

La lgica modal en contraparte define modalidades, representadas, por ejemplo por
las siguientes palabras: Puede, podra, quizs, ha de, posiblemente, necesariamente, a
veces, probablemente, etc.
Las modalidades se refieren generalmente a contextos. Mediante el uso de las
modalidades, se define un escenario: actual, paralelo, temporal, etc. Bajo el cual una
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 nuestros escenarios o mundo, y no
en otros, entonces se trata de una verdad contingente.
Es decir, el valor de verdad de la afirmacin no depende nicamente de la veracidad de
la afirmacin sino tambin de la modalidad bajo la que se est evaluando.
Existen varias modalidades, las cuales sern nombradas un poco ms adelante en esta
presentacin.
Bajo Lgica Modal formal clsica, existen operadores modales unarios:

o L: Se traduce como necesariamente.
o M: Se traduce como posiblemente.


Adems, se cumple, para alguna afirmacin P, que:
P P
P P
As pues definimos lo que se llaman las modalidades alticas que correspondes a
posiblemente y necesariamente. Originalmente la lgica modal se cre para poder
tratar con estos conceptos.
Posible, si es no necesariamente falsa (independiente de si es epistmicamente
verdadera o falsa).
Necesaria, si es no posiblemente falsa
Pedro Barboza
Contingente, si es posiblemente verdadera y posiblemente falsa.

Lgica Modal
Posteriormente, se aadieron otras modalidades como:
Epistmica
Doxtica
Dentica
Temporal
La gracia es que, los mismos operadores mencionados en una transparencia anterior,
se interpretan de cierto modo particular bajo cada una de las modalidades.
La modalidad epistmica se refiere a lo que es la certeza dentro de la aseveracin. es
cierto que o bien puede ser cierto que son la interpretacin de los operadores en
esta modalidad.
La modalidad doxtica 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.