En mi Trabajo Fin de Máster pretendo hacer un estudio de los argumentos ontológicos clásicos desde la lógica moderna. Para ello comienzo estudiando la prueba originaria de San Anselmo para proseguir luego con los argumentos de Descartes, Spinoza y Leibniz.

La finalidad principal del trabajo ha sido tratar de ofrecer una traducción de dichos argumentos a un lenguaje formal para poder hacer un análisis más riguroso de los mismos. En algunos casos he intentado dar más de una formalización del mismo argumento para enriquecer la discusión desde otros ángulos.
Las formalizaciones que he tratado de presentar han pretendido ser lo más cercanas al texto original y han buscado dar con un argumento válido, al menos formalmente, aunque pueda ser acusado de petición de principio. La validez de las pruebas no implica, sin embargo, su solidez, debido a que no siempre las premisas están plenamente justificadas.

En muchos casos los argumentos que presento contienen algunos axiomas añadidos que no se encuentran explícitamente en el texto de los autores debido a que hay algunas premisas que éstos han introducido “de rondón” en las demostraciones. Aun con estos añadidos, para dar cuenta de que la formalización se fundamenta en la literalidad del texto, cito algunos fragmentos de obras de los autores en la lengua original en la que fueron escritas (principalmente en latín), que acompaño de una traducción propia. Una vez introducido el texto y, tras un breve comentario, procedo a la formalización del argumento o argumentos que puedan hallarse en su seno. Tras la formalización continúa un estudio de la misma para apreciar si nos da la posibilidad de construir un argumento formalmente válido o no. Y con una breve conclusión finaliza el análisis del argumento de cada autor.

Además del tratamiento formal de las demostraciones, mi trabajo se completa con la exposición y análisis crítico de algunas de las críticas que han recibido a lo largo de la historia. De este modo, se tratan temas relacionados con el predicado de existencia, las descripciones definidas, la falacia de petición de principio y el colapso modal.