Oppenheimer and Zalta, in a co-Authored paper, argue that the Anselm’s ontological argument can be formalized based on free logic and the concept of conceivability. According to their version, there are only two premises in Anselm’s argument. We will argue that one can extend their formalization by introducing an argument for one of the two premises based on Anselm’s text. We will also show that our formulation is in more accordance with Anselm’s text.
)