Breve reseña histórica acerca de la lógica modal, desde Aristóteles hasta la semántica de mundos posibles. Francisco J. Salguero Lamillar salguero@us.es El término "modalidad" significa la forma o modo en que algo es. En el contex- to lógico hace referencia a la forma de ser un enunciado, dicho así, en un sentido amplio. Pero lo que en última instancia viene a significar la modalidad en lógica es que la evaluación e interpretación de los enunciados modales ha de realizarse no sólo en función de su acción descriptiva de la realidad, en tanto que se adecuen a ella, sino también en función de una especie de autorreferencia que se da por el hecho de que los operadores modales indican -de un modo que habrá de ser determinado- la relación que el enunciado modalizado, esto es, el enunciado que cae bajo el alcance de un operador modal, mantiene con otros enunciados de la teoría. La precedente definición de modalidad es, hasta cierto punto, confusa, proba- blemente porque, al exponerla tal cual, se hayan dado por supuestos muchos de los problemas de índole filosófica que se encuentran involucrados desde antiguo en el estudio de los modos. Sin embargo, sirve ahora porque de ella se siguen dos aspectos importantes para entender la naturaleza lógica de las modalidades, a sa- ber: que los enunciados modales no son enunciados puramente referenciales, ya que no se limitan a describir una realidad sino que al mismo tiempo dicen desde una perspectiva lógica cómo es esa descripción, 1 y que una semántica para la ló- gica de los enunciados modales exige establecer relaciones de dependencia entre el valor de la función de verdad correspondiente a cada enunciado y el valor de 1 Esta definición de la modalidad parece que dejara a un lado las modalidades llamadas de re para tener en cuenta sólo las modalidades de dicto. En efecto, algo de esto hay si se puede, como así parece, reducir las modalidades de re a las de dicto. 1