Resumen de La Historia de la Lógica como la Historia de los Argumentos Ontológicos
The ontological arguments are arguments that pretend to proof the existence of God with the use of reason alone. They are considered a priori and for that matter are concerned with logic, if we consider logic is also a priori. In this paper I want to show the parallelisms between the formulation of the ontological arguments and the development of logic by focusing on their mutual in_uences. In the wider section of the article I try to make use of di_erent logic systems for formalising the variety of ontological arguments, for which I have searched a valid proof. In spite of the validity of the arguments, it must be said that this does not imply their cogency because the premises are not entirely justi_ed and we can even _nd the fallacy known as petitio principii. In any case, I would like to show that the formalization of the ontological arguments enables us to deal with many topics in logic such as _rst order logic, higher order logic and modal logic among others.
