Formal reconstructions of st. Anselm's ontological argument

Günther Eder

Esther Ramharter

pp. 2795-2825

in: Magdalena Balcerak Jackson (ed), The roles of experience in a priori knowledge, Synthese 192 (9), 2015.

Abstract

In this paper, we discuss formal reconstructions of Anselm’s ontological argument. We first present a number of requirements that any successful reconstruction should meet. We then offer a detailed preparatory study of the basic concepts involved in Anselm’s argument. Next, we present our own reconstructions—one in modal logic and one in classical logic—and compare them with each other and with existing reconstructions from the reviewed literature. Finally, we try to show why and how one can gain a better understanding of Anselm’s argument by using modern formal logic. In particular, we try to explain why formal reconstructions of the argument, despite its apparent simplicity, tend to become quite involved.

Cited authors

Of Canterbury Anselm