I will show that these multiple passages reflect
a single logically unified modal argument, a multi-faceted argument that
reflects the beauty of a single gem. Anselm's claim of a single argument
is vindicated by showing that the conclusions of the various subsidiary
arguments serve as the premises of a more comprehensive, unified, and sustained
argument. Many philosophers have misconstrued Anselm's project as one of
conjuring the existence of God from the definition of God as a perfect
being. My view, in contrast, is that Anselm was not trying to "define"
God into existence but rather he was constructing, through the eyes of
faith, a theology of God conceived of as a perfect being. A logically elegant
result of our reconstruction is that the facets of Anselm's argument are
validated by standard modal axioms drawn from contemporary modal logic.
ii The philosophical tradition deriving from Kant focuses on the doctrines of existence and predication in Proslogion II. The modal tradition beginning with Norman Malcolm's [ "Anselm's Ontological Arguments," Philosophical Review, 69 (1960)] observation that Proslogion III contains an argument for God's necessary existence. Robert M. Adams [ "The Logical Structure of Anselm's Arguments," The Philosophical Review, vol. LXXX, no. 1 (Jan.) 1971, pp. 28-54, which is reprinted in Robert M. Adams The Virtue of Faith and Other Essays in Philosophical Theology (New York: Oxford University Press, 1987)] discerned a valid modal argument in Chapter I of Anselm's Reply to Gaunilo, and Alvin Plantinga [The Nature of Necessity (New York: Oxford University Press (1974)] went on to propose his own version of a modal ontological argument which would be validated within (S5). Returning to an earlier tradition, Paul Oppenheimer and Edward Zalta [ "On the Logic of the Ontological Argument," in James Tomberlin , ed., Philosophical Perspectives, 5, Philosophy of Religion (Atascadero, California: Ridgeview (1991), pp. 509-529] in their exposition of Proslogion II claim that the argument turns on the logic of definite descriptions and does not contain any essential modal inferences. They attempt to validate the argument using a free logic in which definite descriptions need not denote. In contrast, the work here tries to map out Anselm's entire meditation as a 'single argument.'