Abstract

En este texto el A. se propone mostrar que es posible emplear algunas técnicas de la lógica modal para reflexionar en torno al problema de la existencia de Dios. En la primera parte se presenta la estructura general de la lógica modal,su simbología y los diversos sistemas que recientemente han sido propuestos. En la segunda parte, el A. sugiere la posibilidad de formular en términos modales la prueba ontológica de San Anselmo. El texto culmina extrayendo algunas consecuencias de esta formulación.