La Historia de la Lógica como la Historia de los Argumentos Ontológicos

• Autores: Manuel C. Moreno
• Localización: VII Conference of the Spanish Society for Logic, Methodology and Philosophy of Science: Santiago de Compostela, Spain, 18-20 July 2012 / Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España (aut.), Concepción Martínez Vidal (dir. congr.), José L. Falguera López (dir. congr.), José Miguel Sagüillo Fernández-Vega (dir. congr.), Víctor Martín Verdejo Aparicio (dir. congr.), Martín Pereira Fariña (dir. congr.), 2012, ISBN 978-84-9887-939-1, págs. 16-26
• Idioma: español
• Enlaces
  • Texto Completo Libro
• Resumen

  • 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.