Formal Approaches to the Ontological Argument

This paper introduces the special issue on Formal Approaches to the Ontological Argument of the Journal of Applied Logics (College Publications). The issue contains the following articles: Formal Approaches to the Ontological Argument, by Ricardo Sousa Silvestre and Jean-Yves Béziau; A Brief Critical Introduction to the Ontological Argument and its Formalization: Anselm, Gaunilo, Descartes, Leibniz and Kant, by Ricardo Sousa Silvestre; A Mechanically Assisted Examination of Begging the Question in Anselm’s Ontological Argument, by John Rushby; A Tractarian Resolution to the Ontological Argument, by Erik Thomsen; On Kant’s Hidden Ambivalence Toward Existential Generalization in his Critique of the Ontological Argument, by Giovanni Mion; The Totality of Predicates and the Possibility of the Most Real Being, by Srećko Kovač; An Even More Leibnizian Version of Gödel’s Ontological Argument, by Kordula Świętorzecka and Marcin Łyczak; A Case Study On Computational Hermeneutics: E. J. Lowe’s Modal Ontological Argument, by David Fuenmayor.