Abstract

In an earlier article I formalized Anselm of Canterbury's so-called ontological argument, and showed how the argument breaks down over the ambiguity of the two expressions ‘esse in intellectu’ and ‘esse in re’. In the present article, I improve on my earlier formalization, and focus on what proves to be the crucial point of the argument: the phrase ‘quod maius est’.