Abstract
En este trabajo analizo una dificultad de los sistemas modales, que consiste fundamentalmente en la circularidad definitoria de sus operadores. Al parecer, entre los conceptos de "necesario", "posible", "contingente" o "imposible", no hay uno con mayor fuerza lógica, o suficiente claridad significativa como para definir a los restantes. Sin embargo, sus interrelaciones, operatorias y semánticas, resultan, paradójicamente claras: aunque tomadas singularmente, ninguna de estas nociones posea un sentido univoco, universalmente aceptado, si elegimos a cualquiera de ellas como término primitivo, podemos definir satisfactoriamente a todas las demás.