Abstract:

El presente artículo pretende dar a conocer algunos intentos recientes de formalización de la metafísica de la participación del ser de santo Tomás de Aquino. En primer lugar, se refutan algunas objeciones frecuentes en torno al uso de la formalización lógica en la filosofía, como si esto supusiera una caída en el univocismo o en un planteamiento de tipo racionalista. A continuación, se explica brevemente la utilización de algunos sistemas de lógica modal para la formalización de la metafísica de la participación del Aquinate. Finalmente, el presente autor aplica estas mismas herramientas para formalizar algunos trascendentales del ente.

Palabras clave:

formalización, lógica modal, analogía, diagramas de Kripke, participación.